Commits · ac306f8f4c7c1f6a75b05143dc9ecef91bdce4f1 · LARA / inox

Nov 25, 2015
- Refactor Evaluators. Introduce NDEvaluator trait and StreamEvaluator · ac306f8f
  Manos Koukoutos authored 9 years ago
  ac306f8f
Oct 08, 2015
- Support FiniteArray in CodeGen · f9aa132c
  Manos Koukoutos authored 9 years ago
  f9aa132c
Sep 18, 2015
- Evaluating foralls and lots of fixes · 89f7731a
  Nicolas Voirol authored 9 years ago
  
  89f7731a
Apr 16, 2015
- Update copyright notices · 4c5796bc
  Manos Koukoutos authored 10 years ago
  
  4c5796bc
Mar 18, 2015
- The name changes you all wanted but were afraid to ask · 73fd0741
  Manos Koukoutos authored 10 years ago
  
  73fd0741
Sep 03, 2014
- TEGIS or test-only CEGIS, using bonsai for tree generation · 6e4b54da
  Etienne Kneuss authored 10 years ago
  
  6e4b54da
Mar 14, 2014
- Fix header (2013 -> 2014). Add script to do so. · 26ca0be2
  Etienne Kneuss authored 11 years ago
  
  26ca0be2
Jun 03, 2013
- Apply BSD 2 clauses license · 3cb6d843
  Etienne Kneuss authored 12 years ago
  
  3cb6d843
Mar 20, 2013
- Disambiguate evaluation Errors/Failures · bbb050ee
  Etienne Kneuss authored 12 years ago
  
  bbb050ee
Dec 17, 2012
- Generalization of Evaluators, and CodeGenEvaluator. · d1592f32
  Philippe Suter authored 12 years ago
  d1592f32