Commits · 605a8155234654cc6976efb48e1f080df52aedcc · LARA / inox

Mar 17, 2016
- Apply 2016 licence · 975bce69
  Manos Koukoutos authored 9 years ago
  
  975bce69
Sep 22, 2015
- Ravi's example shows a nice way to verify sortedness of search trees · 2c0436d5
  Viktor Kuncak authored 9 years ago
  
  2c0436d5
Aug 19, 2015
- Added List.fill to the library. Script to run regressions · 0bed9344
  Viktor Kuncak authored 9 years ago
  
  0bed9344
Jun 25, 2015
- Fixed scala scripts to work from scripts directory · 8873684b
  Viktor Kuncak authored 9 years ago
  
  8873684b
Jun 24, 2015
- Move scripts to scripts, update .gitignore · ee615239
  Manos Koukoutos authored 9 years ago
  
  ee615239
Apr 16, 2015
- Update copyright notices · 4c5796bc
  Manos Koukoutos authored 10 years ago
  
  4c5796bc
Oct 20, 2014
- Add script for testing solvers · 2540be11
  Etienne Kneuss authored 10 years ago
  
  2540be11
Apr 11, 2014

All-seeing synthesis with Oracles, library reorganisation · 8f2438cc

Etienne Kneuss authored 11 years ago

- NormalizationRule becomes priorities, so that we can have multiple
  distinct layers

- Use the @library annotation, move synthesis stuff to synthesis,
  Oracles.

- Make sure tests use PreprocessingPhase and import synthesis when
  adequate

- Extract proper package objects fix patternRecons and simplifiers

- Reorganize library:
  - leon.{choose,???} -> leon.lang.synthesis
  - leon.{waypoint,epsilon} -> leon.lang.xlang

8f2438cc

Mar 14, 2014
- Fix header (2013 -> 2014). Add script to do so. · 26ca0be2
  Etienne Kneuss authored 11 years ago
  
  26ca0be2