Commits

Author Commit Message Labels Comments Date
jinala
Some changes to allow high level library functions - not yet complete.
Branches
rec
jinala
Track parent depth holes
Branches
rec
timxzl
fix bug in LoopInvariantAssertionHoisting: Asserts with variant path conditions can't be hoisted out. add new feature: --debug-check-back-input script checks the backend input file with script. add two tests: miniTestb734 tests whether hoisting works for assertion that can be hoisted. miniTestb735 tests whether hoisting bypasses assertion that cannot be hoisted.
timxzl
bugfix: EliminateReturns forgot to call super.visitParameter resulting in empty symtab and throwing exception.
jinala
Redundant
Branches
rec
jinala
Command line arg to disable optimization
Branches
rec
jinala
Merge
Branches
rec
jinala
Fix to GUC.
Branches
rec
jinala
Small fix to ===
Branches
rec
jinala
Small fix.
Branches
rec
jinala
More on automating harness.
Branches
rec
asolar
Distinguish between return code 1 which indicates unsat and return code 2 which indicates that it didn't find a solution but maybe there is one.
jinala
Some fixes to use generics.
Branches
rec
Jinseong Jeon
--slv-randdegrees: fixed yet multiple randdegrees
jinala
Test files.
Branches
rec
jinala
Merge
Branches
rec
jinala
Reordering of passes in order to use generics.
Branches
rec
jinala
Automating harness
Branches
rec
jinala
Fixed a bug with GUCs
Branches
rec
jinala
Small fix
Branches
rec
jinala
Merge
Branches
rec
jinala
More fixes.
Branches
rec
jinala
Some fixes to ADTs and tuples.
Branches
rec
asolar
Fixed another bug with generics
asolar
Improved unification for generics. Also added some miniTests .
asolar
Fixed bug with generics. Still incomplete.
jinala
small fixes
Branches
rec
jinala
Fixes to command line args
Branches
rec
jinala
Some command line args
Branches
rec
jinala
More fixes to createHarness
Branches
rec
  1. Prev
  2. Next