Commits · 622632dfb0af78036ee51ade4405699935f0077e · LARA / inox · GitLab

Snippets Groups Projects

May 01, 2016
- synchronized evaluator invariant cache & small fix in codegen · 622632df
  Nicolas Voirol authored 9 years ago
  
  622632df
- 1. Broader equivalence classes for lambdas · a73533f1
  Nicolas Voirol authored 9 years ago
  a73533f1
- Now deterministic eval by default check if the model is ground, else evaluate it. · b4a11d0a
  Mikaël Mayer authored 9 years ago
  
  b4a11d0a
- Corrected typo in Focus.scala · fea65b24
  Mikaël Mayer authored 9 years ago
  fea65b24
- Factorized env function. · 605a8155
  Mikaël Mayer authored 9 years ago
  
  605a8155
- Removed the recursive evaluation of a value in the model. · 99eae9fa
  Mikaël Mayer authored 9 years ago
  99eae9fa
Mar 17, 2016
- Apply 2016 licence · 975bce69
  Manos Koukoutos authored 9 years ago
  
  975bce69
Feb 15, 2016
- Constructing total models for quantifiers · b0227b0e
  Nicolas Voirol authored 9 years ago
  
  b0227b0e
Nov 25, 2015
- Use StreamEvaluator in repair · fd33cc09
  Manos Koukoutos authored 9 years ago
  fd33cc09
- Refactor Evaluators. Introduce NDEvaluator trait and StreamEvaluator · ac306f8f
  Manos Koukoutos authored 9 years ago
  ac306f8f
Nov 23, 2015
- Efficient procedure for transitive dependencies in quantifiers · 6285db89
  Nicolas Voirol authored 9 years ago
  
  6285db89
Nov 18, 2015
- Evaluator improvements · de8b1242
  Manos Koukoutos authored 9 years ago
  de8b1242
Nov 17, 2015
- Refactor Evaluators. Introduce NDEvaluator · 27d034eb
  Manos Koukoutos authored 9 years ago
  27d034eb
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 11 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