Open Hub
Black Duck Open Hub

 Settings |  Report Duplicate

1
I Use This!
Inactive

Commits : Listings

Analyzed about 9 hours ago. based on code collected about 14 hours ago.
Apr 18, 2023 — Apr 18, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Separate equalities setting local vars that we want to discard. Separate equalities setting vars to a constant that we want to keep. Separate equalities setting local vars that we want to keep.
Matko Botincan
More... about 13 years ago
Added more syntactic hacks (see commit 67d487 to jstar vfc branch).
Matko Botincan
More... about 13 years ago
Improved handling of constants.
Matko Botincan
More... about 13 years ago
Fiddling to support numeric constants better.
Matko Botincan
More... about 13 years ago
Added syntactic abstraction for double buffering loop variables.
Matko Botincan
More... over 13 years ago
Fiddling..
Matko Botincan
More... over 13 years ago
Added heuristics for removing unnecessary inequalities from formulae.
Matko Botincan
More... over 13 years ago
Debug output fix.
Matko Botincan
More... over 13 years ago
More fiddling with join. Added syntactic forgetting (existential quantification) on those terms that have changed only modulo constant. (needed for some vfc test cases)
Matko Botincan
More... over 13 years ago
Added minimization of environment in join and meet.
Matko Botincan
More... over 13 years ago
Fixed bug with environment. Improved debug info.
Matko Botincan
More... over 13 years ago
Refactored to conform to the new abstract interpretation plugin interface. Added support for join and meet.
Matko Botincan
More... over 13 years ago
Added preprocessing of numerical formulae (better splitting of what to abstract) and a simple constant propagation.
Matko Botincan
More... over 13 years ago
Added conversion of abstract values to conjunction of linear constraints and translation of linear constraints back to Psyntax formulae.
Matko Botincan
More... over 13 years ago
Fiddling with abstraction. Converting back from abstract value to constraints needs to be done less verbosely.
Matko Botincan
More... over 13 years ago
Added first unit test.
Matko Botincan
More... over 13 years ago
Fixed translation of Apron tree expressions/constraints back to Psyntax terms/formulae. Added support for P_PPreds with direct arguments (not via tuple). Fixed debug output and makefile. Added local formatter buffer.
Matko Botincan
More... over 13 years ago
Changed the license to LGPL (since won't be using PPL. Added dependency on jStar utils (Config.ml) to be able to access command line switches. Put in the code written so far.
Matko Botincan
More... over 13 years ago
Added makefiles for automating the build process. Dependencies on JSTAR and APRON (and its dependencies) are configured through Makefile.config. The license is GPL for now (due to static linking with APRON w/ PPL).
Matko Botincan
More... over 13 years ago
Initial commit.
Matko Botincan
More... over 13 years ago