Commits · 5d53aecb031f45657cb34ab78f3c1060f73a984d · LARA / inox · GitLab

Snippets Groups Projects

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
Aug 20, 2014
- Pass runtime monitor around, fix problems · afdc41af
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  afdc41af
- Code Generation for Fields · 45e6a8e6
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  45e6a8e6
Mar 14, 2014
- Fix header (2013 -> 2014). Add script to do so. · 26ca0be2
  Etienne Kneuss authored 11 years ago
  
  26ca0be2
Mar 03, 2014
- Stabilize datagen, fix interrupts & parallel, fix array boxing · a541166c
  Etienne Kneuss authored 11 years ago
  
  a541166c
Feb 17, 2014
- Introduce support for methods and multiple objects/fields · 9c7e02b5
  Etienne Kneuss authored 11 years ago
  9c7e02b5
Feb 04, 2014
- Implement generics for functions and ADTs · 1708d239
  Etienne Kneuss authored 11 years ago
  1708d239
Dec 16, 2013
- Support Choose in evaluation, range positions, tracing. · e02cd510
  Etienne Kneuss authored 11 years ago
  e02cd510
Oct 25, 2013
- Bring back runtime monitors, do not compile them in unless needed · 20c13c96
  Etienne Kneuss authored 11 years ago
  
  20c13c96
Sep 12, 2013
- Refactor Solvers · f374e736
  Etienne Kneuss authored 11 years ago
  f374e736
Aug 15, 2013
- Use VanuatooDataGen: instrumenting/filtering data gen · 8edcbd66
  Etienne Kneuss authored 11 years ago
  8edcbd66
Jul 11, 2013
- Upgrade Leon to Scala 2.10.x · c521d3bd
  Etienne Kneuss authored 12 years ago
  c521d3bd
Jun 03, 2013
- Apply BSD 2 clauses license · 3cb6d843
  Etienne Kneuss authored 12 years ago
  
  3cb6d843
Jan 14, 2013
- CEGIS: Implement enumerate&test given known valid inputs · 7687b797
  Etienne Kneuss authored 12 years ago
  7687b797
Jan 11, 2013
- Fixed ClassLoader issue and type errors in evaluation. · 198a5489
  Philippe Suter authored 12 years ago
  198a5489