Commits · d9a82908388f1fe3dfc61c273c060f99d44e5dfe · LARA / inox · GitLab

Snippets Groups Projects

Sep 12, 2014
- Evaluate Pattern matching, matchToITE no longer necessary · d9a82908
  Etienne Kneuss authored 10 years ago
  d9a82908
Sep 03, 2014
- TEGIS or test-only CEGIS, using bonsai for tree generation · 6e4b54da
  Etienne Kneuss authored 10 years ago
  
  6e4b54da
May 05, 2014
- New Ensuring/Require/Assert trees · 8403fa94
  Etienne Kneuss authored 11 years ago
  8403fa94
Apr 11, 2014
- All-seeing synthesis with Oracles, library reorganisation · 8f2438cc
  Etienne Kneuss authored 11 years ago
  8f2438cc
Mar 20, 2014
- Improve types, support ???[T] as all-seeing choose · da408410
  Etienne Kneuss authored 11 years ago
  da408410
Mar 14, 2014
- Fix header (2013 -> 2014). Add script to do so. · 26ca0be2
  Etienne Kneuss authored 11 years ago
  
  26ca0be2
Mar 04, 2014
- RecursiveEvaluator only considers calls as steps · 737e6c74
  Etienne Kneuss authored 11 years ago
  
  737e6c74
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 10, 2014
- Improve debugging for trees. asString now preferred over toString. · 1be039de
  Etienne Kneuss authored 11 years ago
  
  1be039de
Feb 04, 2014
- Implement generics for functions and ADTs · 1708d239
  Etienne Kneuss authored 11 years ago
  1708d239
Jan 31, 2014
- remove the need for innerXXX methods · a3cab185
  Régis Blanc authored 11 years ago
  a3cab185
Dec 16, 2013
- Support Choose in evaluation, range positions, tracing. · e02cd510
  Etienne Kneuss authored 11 years ago
  e02cd510