Activity for aspmt
-
Michael Bartholomew committed [7b02eb]
Adding tightness checking (on a constant name b...
-
Yi W. committed [4931dd]
Corrected the wrong for-loop statement in sort_...
-
Michael Bartholomew committed [e7acc9]
Added limited support for user-defined sorts as...
-
Yi committed [9959df]
Facts related to object declarations eliminated...
-
Yi committed [1e9033]
Eliminated true_a generated during variable eli...
-
aspmt released /Aspmt2smt Examples/bucket.out
-
-
Mike committed [f18f86]
Updated aspmt2smt script help text
-
Mike committed [a7da09]
Corrected grammar concerning negative numbers i...
-
Mike committed [e11a27]
Added aribitrary arithmetic expressions to numb...
-
Mike committed [21e5e1]
Added support for constant replacement for sing...
-
Mike committed [ecda0a]
Added version option to run script and compiler
-
Mike committed [f4f34e]
Added some nicer help menu / options
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Michael Bartholomew committed [01f049]
Small changes to post-processor
-
Mike committed [6b1409]
Fixed an issue with value variable elimination....
-
Michael Bartholomew committed [0ec459]
Adding new tests.
-
Michael Bartholomew committed [828a4e]
Fixed further negative number bugs.
-
Michael Bartholomew committed [f41f50]
Fixed typo
-
Michael Bartholomew committed [e14d98]
Fixed a small bug with negative numbers
-
Mike committed [0c6833]
Fixed a minor bug with the int[] sort. Also rem...
-
Mike committed [2cd2ef]
Finished refactoring completion.cpp with new co...
-
Michael Bartholomew committed [811318]
Finished refactoring parser.y
-
Michael Bartholomew committed [a424af]
Further refactoring with new parser types const...
-
Michael Bartholomew committed [ba8182]
Continuing with the parser types refactoring
-
Michael Bartholomew committed [8734ac]
Refactoring to add more complete constructors
-
Mike committed [793e50]
Starting to do constructor refactoring (set fie...
-
Mike committed [add867]
Added support for ":-" which comes from gringo ...
-
Mike committed [cff195]
Cleaned up car example in light of changes to t...
-
Mike committed [69a02d]
Added real / integer bound to z3 description. M...
-
Mike committed [77751a]
Added more support for cli constant substitutio...
-
Mike committed [a0d7ea]
Small change to postprocessing
-
Mike committed [06e18b]
Added quick and dirty post-processing for easy ...
-
Mike committed [90a5a9]
Added z3 option to display floating point resul...
-
Mike committed [d9786c]
Added support for -c delcarations
-
Mike committed [8f9aaa]
Fixed bug with processing lte / gte in second p...
-
Mike committed [ff01c5]
Fixed major bug with value variable computation...
-
Mike committed [f3d63e]
Added / modified examples
-
Mike committed [de04d2]
Modified run script, added reals to the amt exa...
-
Mike committed [5cd400]
Modified run script
-
Mike committed [8a1490]
First runnable version; full translation to z3 ...
-
Mike committed [1421b8]
Added sort contents table and populated it.
-
Mike committed [53b642]
Added support for isat translation. Fixed some ...
-
Mike committed [82e58b]
New build script, fixed a warning
-
Mike committed [9d9774]
Finished initial z3 translation. Still need to ...
-
Mike committed [596290]
Added initial code for z3 (not functional yet).
-
Mike committed [78028e]
Fixed some completion / variable elimination bu...
-
Mike committed [ea14a6]
Added more support for choice rules; had to do ...
-
Mike committed [a83236]
Added some support for choice atoms in completi...
-
Mike committed [e1d460]
Added support for constraints in SMT, persisted...
-
Mike committed [86b9ec]
Small bug fix, not completely fixed.
-
Mike committed [b3d363]
Setting up the pass through of declaration sect...
-
Mike committed [7b3363]
Finished the other direction of value variable ...
-
Mike committed [4f151b]
Sort of finished one direction of value variabl...
-
Mike committed [ccddba]
Added initial code for value variable eliminati...
-
Mike committed [d94155]
Modified completion code to work with almost gr...
-
Mike committed [fceda8]
Removed typo
-
Mike committed [bf29f0]
Reworked the completion code to work in the new...
-
Mike committed [0c894c]
Added full support for value variable grounding...
-
Mike committed [1f1754]
Changed the gringo workaround to use quoted str...
-
Mike committed [8e6bf0]
Finished the other side of gringo's grounding--...
-
Mike committed [1bda24]
Added second compiler pass for SMT mode; not fi...
-
Mike committed [aafb55]
Modified the code to avoid value variable elimi...
-
Mike committed [cd5c76]
Finished adding support for variable renaming t...
-
Mike committed [d85e23]
Added starting support for value variable renam...
-
Mike committed [9b05bd]
Value variable replaced by constant for gringo ...
