Commits · 3943ee912d5f89267314a01dcae23b29730112dc · LARA / inox

Apr 01, 2016
- Fix codegen to use unique names for lambdas · 3943ee91
  Manos Koukoutos authored 9 years ago
  
  3943ee91
Mar 28, 2016
- ADT Invariants in program transformations · e6f9e4b4
  Nicolas Voirol authored 9 years ago
  
  e6f9e4b4
Mar 17, 2016
- Apply 2016 licence · 975bce69
  Manos Koukoutos authored 9 years ago
  
  975bce69
Feb 15, 2016
- Renamed Henkin to Partial (makes more sense) · 4ddead34
  Nicolas Voirol authored 9 years ago
  
  4ddead34
- Finished up satisfiability with quantifiers · d359ba78
  Nicolas Voirol authored 9 years ago
  
  d359ba78
- Moar quantifier fixes · 63376f70
  Nicolas Voirol authored 9 years ago
  
  63376f70
- Finishing up optimized quantification · 1ae235ce
  Nicolas Voirol authored 9 years ago
  
  1ae235ce
- Constructing total models for quantifiers · b0227b0e
  Nicolas Voirol authored 9 years ago
  
  b0227b0e
- Always pass monitors, improve them · 0924c50c
  Etienne Kneuss authored 9 years ago
  
  0924c50c
Jan 20, 2016
- Support for string literals in compilation unit (enumeration solver) · 8f677152
  Mikaël Mayer authored 9 years ago
  8f677152
Nov 25, 2015
- 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
- Transitive quantifiers and lambda axioms · 3a11a76d
  Nicolas Voirol authored 9 years ago
  
  3a11a76d
Nov 17, 2015
- Refactor Evaluators. Introduce NDEvaluator · 27d034eb
  Manos Koukoutos authored 9 years ago
  27d034eb
Oct 22, 2015
- Adding Evaluation and code generation for strings. · 84e8cc8f
  Mikaël Mayer authored 9 years ago
  
  84e8cc8f
Oct 09, 2015
- FiniteMap is implemented with a Map · f997139f
  Manos Koukoutos authored 9 years ago
  
  f997139f
Oct 08, 2015
- Support FiniteArray in CodeGen · f9aa132c
  Manos Koukoutos authored 9 years ago
  f9aa132c
Sep 29, 2015
- (a) Adding support for inferring invariants in Leon. · 9d37d6ad
  Ravi Madhavan authored 10 years ago
  9d37d6ad
Sep 18, 2015
- Fixed lambda extractor for codegen · bbd4a460
  Nicolas Voirol authored 9 years ago
  
  bbd4a460
- Fixes and rebase for quantifiers · 352a48f8
  Nicolas Voirol authored 9 years ago
  
  352a48f8
- Evaluating foralls and lots of fixes · 89f7731a
  Nicolas Voirol authored 9 years ago
  
  89f7731a
Sep 01, 2015
- Make sure to handle all literals in valueToJVM · f9b0ce4e
  Manos Koukoutos authored 9 years ago
  
  f9b0ce4e
Aug 31, 2015
- Make a common class for UniqueCounter's, rename exprToJVM and jvmToExpr · d6ea932c
  Manos Koukoutos authored 9 years ago
  
  d6ea932c
- Improve Identifier API, and "undefined" errors · 859cfa88
  Manos Koukoutos authored 9 years ago
  859cfa88
Aug 20, 2015
- Fix CharType issue in CodeGen, abstract a little · e331d752
  Manos Koukoutos authored 9 years ago
  
  e331d752
- Improvements · 80bf5d49
  Manos Koukoutos authored 9 years ago
  
  80bf5d49
Aug 03, 2015
- Refactor tests · a7025236
  Etienne Kneuss authored 9 years ago
  a7025236
Jul 21, 2015
- fix scaladoc warnings · d1793283
  Regis Blanc authored 9 years ago
  
  d1793283
Jul 17, 2015
- support for real in evaluators · 8628425b
  Regis Blanc authored 9 years ago
  
  8628425b
Jul 09, 2015
- Improve/fix/use consistently features related to deep type hierarchies · e45a3e18
  Manos Koukoutos authored 9 years ago
  
  e45a3e18
- More support for inheritance · d02ded7e
  Manos Koukoutos authored 9 years ago
  d02ded7e
Jun 24, 2015
- Remove owner, pass program · 1b76c91a
  Etienne Kneuss authored 10 years ago
  1b76c91a
Jun 17, 2015
- Simplify/clean up extractors · a8cdb84c
  Manos Koukoutos authored 9 years ago
  
  a8cdb84c
Jun 10, 2015
- Simplifications/corrections · 5d53aecb
  Manos Koukoutos authored 10 years ago
  
  5d53aecb
May 29, 2015
- Fixed code gen evaluator for lambdas · ff4fd365
  Nicolas Voirol authored 10 years ago
  
  ff4fd365
May 27, 2015
- Maps/Sets have explicit types, remove Empty/NonemptySet/Map · 73ca139b
  Etienne Kneuss authored 10 years ago
  
  73ca139b
May 06, 2015
- Allow functions returning Unit in codegen evaluator · 82e318bf
  Etienne Kneuss authored 10 years ago
  
  82e318bf
Apr 24, 2015
- Handle chars in codegen as well · 6f71aaec
  Etienne Kneuss authored 10 years ago
  
  6f71aaec
Apr 16, 2015
- Update copyright notices · 4c5796bc
  Manos Koukoutos authored 10 years ago
  
  4c5796bc
Apr 15, 2015
- Introduce GrammarDataGen for using faster evaluators · b55e4e05
  Etienne Kneuss authored 10 years ago
  b55e4e05