Commits · 352a48f83b1660fa936dc1586afcd6f98bad0edf · LARA / inox

Sep 18, 2015
- 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 9 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
Feb 16, 2015
- Some consistency changes in Trees · 56a937c3
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  56a937c3
Feb 13, 2015
- Refactor FiniteArray to an implicit representation · 373c4aba
  Regis Blanc authored 10 years ago
  373c4aba
Feb 12, 2015
- Make sure Generic values get updated according to expected type in some cases · 5f0ee7d5
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  5f0ee7d5
- New CEGIS · 9fa9d916
  Etienne Kneuss authored 10 years ago
  
  9fa9d916
- Improve situation with types · ad933d96
  Etienne Kneuss authored 10 years ago
  
  ad933d96
- Deprecate patternMatchReconstruction, minimize use of matchToIfThenElse · 0727d73a
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  0727d73a
- Added higher-order function support to Leon · 2667b969
  Nicolas Voirol authored 10 years ago
  
  2667b969
Sep 26, 2014
- Introduce compilation units · 99bc23a9
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  99bc23a9
Sep 18, 2014
- FiniteSets should hold Sets, otherwise {1,2} != {2,1} · 42999911
  Etienne Kneuss authored 10 years ago
  
  42999911
Sep 03, 2014
- TEGIS or test-only CEGIS, using bonsai for tree generation · 6e4b54da
  Etienne Kneuss authored 10 years ago
  
  6e4b54da