Commits · 3c9ce1ca9c7788e711b23e9a5cb5173c359c20ab · LARA / inox · GitLab

Snippets Groups Projects

Jun 03, 2013
- Update README.md · 3c9ce1ca
  Etienne Kneuss authored 11 years ago
  3c9ce1ca
- Update README.md · ce2836d8
  Etienne Kneuss authored 11 years ago
  ce2836d8
- Apply BSD 2 clauses license · 3cb6d843
  Etienne Kneuss authored 11 years ago
  
  3cb6d843
- Introduces a phase to protect exact type of vars · f697e53d
  Régis Blanc authored 12 years ago
  f697e53d
May 30, 2013
- Fix condition for ADTSplit including/excluding cases. · 2ff04384
  Etienne Kneuss authored 11 years ago
  
  2ff04384
May 21, 2013
- Implement solver support for FiniteArray · fa078828
  Etienne Kneuss authored 11 years ago
  
  fa078828
- Fix an ugly, sneaky bug that prevented substitutions · fef81288
  Etienne Kneuss authored 11 years ago
  
  fef81288
May 06, 2013
- Update version of scalaz3 · 43f195bb
  Etienne Kneuss authored 12 years ago
  
  43f195bb
Apr 23, 2013
- Restore positions of Chooses trated within ImperativeCodeElimination · 74c2cfef
  Etienne Kneuss authored 12 years ago
  
  74c2cfef
- Web interface moved to epfl-lara/leon-web · 2bac2209
  Etienne Kneuss authored 12 years ago
  
  2bac2209
- Markdown rules · a7497d3e
  Régis Blanc authored 12 years ago
  a7497d3e
- Fix choose with imperative phase · 6f808f72
  Régis Blanc authored 12 years ago
  6f808f72
- Testcases for Scala workshop 2013 · c02f8491
  Régis Blanc authored 12 years ago
  c02f8491
- Improve the structure of the pretty-printer, allowing it to be extended · 102b65e9
  Etienne Kneuss authored 12 years ago
  
  102b65e9
- Decouple the validation, group VCs per functions · 56678650
  Etienne Kneuss authored 12 years ago
  56678650
- Fix crash from IntegerInequalities due to non-linear formulas · e8532c5b
  Etienne Kneuss authored 12 years ago
  
  e8532c5b
Apr 16, 2013
- Introduces purely functional array benchmarks · ae34a9ea
  Régis Blanc authored 12 years ago
  ae34a9ea
Apr 12, 2013
- Remove debug output, fix&improve testing suite · 1212624e
  Etienne Kneuss authored 12 years ago
  
  1212624e
- Add synthesis suite, which tests synthesis application trees · 26b57933
  Etienne Kneuss authored 12 years ago
  
  26b57933
- Filter non-det program whenever the tests exclude most paths · faa81999
  Etienne Kneuss authored 12 years ago
  faa81999
- Check whether pc to ADTInduction is inductive before propagating it · fa9db943
  Etienne Kneuss authored 12 years ago
  
  fa9db943
- Fix pc being propagated to ADTSplit's sub problems · 1724c1a6
  Etienne Kneuss authored 12 years ago
  
  1724c1a6
- Fix PC being ignored by Synthesizer · 76305bb8
  Etienne Kneuss authored 12 years ago
  
  76305bb8
- Implement untrusted solutions, that are then validated · 1900e8dd
  Etienne Kneuss authored 12 years ago
  
  1900e8dd
- Implement ADTLongInduction and DetupleInput rules · 43a4e1a6
  Etienne Kneuss authored 12 years ago
  
  43a4e1a6
- ADTDual and Unification become normalizing rules · 035e8bb5
  Etienne Kneuss authored 12 years ago
  
  035e8bb5
- Compile functions with their pre/post conditions · 84bca4ab
  Etienne Kneuss authored 12 years ago
  
  84bca4ab
- Safer transitiveCall*, implement isInductive check · c44ceafc
  Etienne Kneuss authored 12 years ago
  
  c44ceafc
- Improved, cached, datagen · b53f5489
  Etienne Kneuss authored 12 years ago
  
  b53f5489
- Implement --manual search mode · 8b8addf3
  Etienne Kneuss authored 12 years ago
  
  8b8addf3
- Add various synthesis benchmarks · ea4edf23
  Etienne Kneuss authored 12 years ago
  
  ea4edf23
Apr 03, 2013
- Completes Justify testcase · 1178be3d
  Régis Blanc authored 12 years ago
  1178be3d
Mar 26, 2013
- Support for LetTuple in Fairz3 · f8ef4879
  Etienne Kneuss authored 12 years ago
  
  f8ef4879
- Introducing term enumeration. · 8dee703b
  Philippe Suter authored 12 years ago
  8dee703b
Mar 25, 2013
- Correct handling of choose in verification. · 63477d6c
  Etienne Kneuss authored 12 years ago
  63477d6c
- MarkDown README · 992458e7
  Ivan Kuraj authored 12 years ago
  
  992458e7
Mar 20, 2013
- Disambiguate evaluation Errors/Failures · bbb050ee
  Etienne Kneuss authored 12 years ago
  
  bbb050ee
Mar 11, 2013
- Add array support in simplestValue, fix for certain array models · 0c62931b
  Etienne Kneuss authored 12 years ago
  0c62931b
Mar 09, 2013
- Compute transitive callgraph differently · de2d1b5c
  Etienne Kneuss authored 12 years ago
  
  de2d1b5c
Mar 08, 2013
- Implement support for "case object" · 496c4fa7
  Etienne Kneuss authored 12 years ago
  
  496c4fa7