Commits · 8f67715239c208585a2b75f28799d6f2f7b054f2 · LARA / inox

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
Mar 26, 2015
- Fix numerous style issues · c48a0caa
  Manos Koukoutos authored 10 years ago
  
  c48a0caa
Mar 18, 2015
- The name changes you all wanted but were afraid to ask · 73fd0741
  Manos Koukoutos authored 10 years ago
  
  73fd0741
- Fix a bunch of style/actual issues · 827a6535
  Manos Koukoutos authored 10 years ago
  
  827a6535
Mar 06, 2015
- Make tuple manipulation more robust · de4f7d74
  Manos Koukoutos authored 10 years ago
  
  de4f7d74
- Fix inconsistent handling of valDef.id.getType and valDef.tpe · da159f9e
  Manos Koukoutos authored 10 years ago
  
  da159f9e
- Eliminate rewriteTuples. Use constructors/extractors. · 33774767
  Manos Koukoutos authored 10 years ago
  33774767
Feb 24, 2015
- Eliminate MutableTyped from Expr's. Improve how respective Expr's are handled. · 83e59c6f
  Manos Koukoutos authored 10 years ago
  83e59c6f
Feb 20, 2015
- implement BigInt code generation · a083e335
  Regis Blanc authored 10 years ago
  
  a083e335
Feb 17, 2015
- Int becomes bitvector · 2bb7a742
  Regis Blanc authored 10 years ago
  2bb7a742