Commits · 902b1adbc9a52d9eaab1b84bda690fb78294b0dd · LARA / inox · GitLab

Snippets Groups Projects

May 06, 2014
- Fix printing bugs, add synthesis->print tests · 902b1adb
  Etienne Kneuss authored 10 years ago
  
  902b1adb
May 05, 2014
- Rework pretty-printers with interpolation magic · fdefc033
  Etienne Kneuss authored 11 years ago
  
  fdefc033
- New Ensuring/Require/Assert trees · 8403fa94
  Etienne Kneuss authored 10 years ago
  8403fa94
Apr 25, 2014
- Add BinarySearchTree with isSorted and buggyMerge · fddd97ca
  Etienne Kneuss authored 11 years ago
  
  fddd97ca
- Fix bugs related to LetTuples not being handled · 45f15e7e
  Etienne Kneuss authored 11 years ago
  
  45f15e7e
Apr 11, 2014
- Making sure all errors are kept · 21b80c8b
  Etienne Kneuss authored 11 years ago
  
  21b80c8b
- Actually add the files · 3cee85d7
  Etienne Kneuss authored 11 years ago
  
  3cee85d7
- Refactor tests to make them more stable · 860b9fc1
  Etienne Kneuss authored 11 years ago
  
  860b9fc1
- Improve test reporting in case of fatal errors · a3018698
  Etienne Kneuss authored 11 years ago
  
  a3018698
- Corrected some issues with termination proving. · 006758d0
  Nicolas Voirol authored 11 years ago
  
  006758d0
- All-seeing synthesis with Oracles, library reorganisation · 8f2438cc
  Etienne Kneuss authored 11 years ago
  8f2438cc
Apr 09, 2014
- Refactor reporters, allow positions which will get printed with lines · 7fe407ef
  Etienne Kneuss authored 11 years ago
  
  7fe407ef
- Make sure the current directory is not within the class path · 6206cbbf
  Etienne Kneuss authored 11 years ago
  
  6206cbbf
Apr 08, 2014
- Make vanuatoo more resilient to non-patternable Exprs · ce7276db
  Etienne Kneuss authored 11 years ago
  
  ce7276db
Apr 07, 2014
- Move condition abduction to a feature branch · ff8c29a4
  Etienne Kneuss authored 11 years ago
  
  ff8c29a4
Mar 25, 2014
- Indirection for inlining to prevent duplicate clauses being issued to Z3 · f2245cc1
  Etienne Kneuss authored 11 years ago
  
  f2245cc1
Mar 21, 2014
- Fix positions of holes and resulting chooses · 37bcf2bd
  Etienne Kneuss authored 11 years ago
  
  37bcf2bd
- Disambiguate for direct use within Play · 46c7bbab
  Etienne Kneuss authored 11 years ago
  
  46c7bbab
Mar 20, 2014
- Add rule for splitting ifs in predicates · 42c3cf2c
  Etienne Kneuss authored 11 years ago
  
  42c3cf2c
- Improve types, support ???[T] as all-seeing choose · da408410
  Etienne Kneuss authored 11 years ago
  da408410
Mar 17, 2014
- Allow testing specifying options, add test for enum solver · 0684038e
  Etienne Kneuss authored 11 years ago
  
  0684038e
- EnumerationSolver/Portfolio extends Incremental+Assumption · 340cd1bc
  Etienne Kneuss authored 11 years ago
  340cd1bc
- Fix Equality of Implies. Disambiguate other's hashCode a bit. · 288ce349
  Etienne Kneuss authored 11 years ago
  
  288ce349
Mar 14, 2014
- Add Travis badge · dddc291d
  Etienne Kneuss authored 11 years ago
  
  dddc291d
- Fix header (2013 -> 2014). Add script to do so. · 26ca0be2
  Etienne Kneuss authored 11 years ago
  
  26ca0be2
- Fix case-study · 95428726
  Etienne Kneuss authored 11 years ago
  
  95428726
Mar 13, 2014
- Print TypedFunDef, add 2 case studies · da00c47d
  Etienne Kneuss authored 11 years ago
  
  da00c47d
- Make sure we target Array.update only with ExUpdate · 8ac05b91
  Etienne Kneuss authored 11 years ago
  
  8ac05b91
Mar 11, 2014
- Added test for postTraversal. · e47a1a65
  Lomig Mégard authored 11 years ago
  
  e47a1a65
- Fixed postTraversal in TreeOps. · c747c7dd
  Lomig Mégard authored 11 years ago
  
  c747c7dd
Mar 05, 2014
- Correctly extract methods from single case-classes · 27fc635d
  Etienne Kneuss authored 11 years ago
  
  27fc635d
- Handle Choose and LetTuple correctly in instantiateType · f15d214d
  Etienne Kneuss authored 11 years ago
  
  f15d214d
Mar 04, 2014
- RecursiveEvaluator only considers calls as steps · 737e6c74
  Etienne Kneuss authored 11 years ago
  
  737e6c74
Mar 03, 2014
- Stabilize datagen, fix interrupts & parallel, fix array boxing · a541166c
  Etienne Kneuss authored 11 years ago
  
  a541166c
- Update SBT version · 3cf38464
  Etienne Kneuss authored 11 years ago
  
  3cf38464
- Release Leon 2.3 · e171bb3f
  Etienne Kneuss authored 11 years ago
  
  e171bb3f
Feb 28, 2014
- Implement the Leon library. Support classes and methods. · 027c0d4c
  Etienne Kneuss authored 11 years ago
  027c0d4c
- EnumeratingSolver / PortfolioSolver · aab7b7f3
  Etienne Kneuss authored 11 years ago
  aab7b7f3
Feb 24, 2014
- Collectors with paths should recurse beyond first match · 89810c50
  Etienne Kneuss authored 11 years ago
  
  89810c50
- Prevent IntegerEquation from generating empty sub-problems · 3d469259
  Etienne Kneuss authored 11 years ago
  
  3d469259