Commits · 511da31baf97d2fa48fe9b2b48b81ef871e8706e · LARA / inox · GitLab

Snippets Groups Projects

Jul 30, 2014
- well well well · 511da31b
  Etienne Kneuss authored 10 years ago
  
  511da31b
Jul 29, 2014
- Fix the Travis Build for Scala 2.11 · de1416e8
  Etienne Kneuss authored 10 years ago
  
  de1416e8
- Build Leon for Scala 2.11 · b0df8f40
  Etienne Kneuss authored 10 years ago
  
  b0df8f40
Jun 05, 2014
- Proper handling of ASCII tables · b754c03a
  Etienne Kneuss authored 10 years ago
  
  b754c03a
- Proper ordering for positions · eec62576
  Etienne Kneuss authored 10 years ago
  
  eec62576
- Fix annotation for Oracle · 0303b636
  Etienne Kneuss authored 10 years ago
  
  0303b636
May 30, 2014
- Add List.take and List.drop, unproven, for convenience in benchmarks · 8e235082
  Etienne Kneuss authored 10 years ago
  
  8e235082
May 21, 2014
- Update z3 which would hold on certain ADT definitions · 25fabf5c
  Etienne Kneuss authored 10 years ago
  25fabf5c
- Fix withOracle and holes semantics, do not treat them as special trees · f4a67a10
  Etienne Kneuss authored 11 years ago
  
  f4a67a10
May 06, 2014
- doh · b6e08003
  Etienne Kneuss authored 10 years ago
  
  b6e08003
- 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