Commits · 040064dbc89048e03a8f392c5dad129ac2a0d5d1 · LARA / inox · GitLab

Snippets Groups Projects

Feb 12, 2015
- Add match-like "passes" notation to denote IO-tests · 040064db
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  040064db
- Introduce RepairHole · 471e7135
  Etienne Kneuss authored 10 years ago
  471e7135
- Added higher-order function support to Leon · 2667b969
  Nicolas Voirol authored 10 years ago
  
  2667b969
Jan 09, 2015
- Fix extraction of List literal types · ca793066
  Etienne Kneuss authored 10 years ago
  
  ca793066
Oct 29, 2014
- Literal patterns · 8b5a1abd
  Manos Koukoutos authored 10 years ago
  
  8b5a1abd
Oct 27, 2014
- List literals · fa6e5ee1
  Etienne Kneuss authored 10 years ago
  
  fa6e5ee1
Oct 24, 2014
- Treat <empty> package · fcd94c47
  Manos Koukoutos authored 10 years ago
  
  fcd94c47
Oct 08, 2014
- Strings support, fix printing of method calls · 2ab66e88
  Etienne Kneuss authored 10 years ago
  2ab66e88
Sep 26, 2014
- Use searchByFullName during CodeExtraction · 57235a80
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  57235a80
- Support for standalone objects · 1f5c5acd
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  1f5c5acd
- Print units in separate files · daeb0818
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  daeb0818
- Introduce imports and packages. Introduce DefOps · 35ebae82
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  35ebae82
- Systematic treatment of Identifier/Definition owners · b5be930e
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  b5be930e
- 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
Aug 21, 2014
- Scalac extractors cleanup · d96e9759
  Etienne Kneuss authored 10 years ago
  
  d96e9759
Aug 20, 2014
- Field Extraction & handling · 0889f2f7
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  0889f2f7
- Pretty printing fixes/improvements · b82deb1e
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  b82deb1e
- Extract all standalone defs into one module · f40b49c7
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  f40b49c7
- Various code extraction corrections · 6a7e5e6f
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  6a7e5e6f
Aug 18, 2014
- Add ??? as function-scope holes, convert them to oracles · d5eb3cc7
  Etienne Kneuss authored 10 years ago
  
  d5eb3cc7
Aug 07, 2014
- Extract tests from specification: passes(in,out)(Map(1 -> 2)) · 895a1962
  Etienne Kneuss authored 10 years ago
  
  895a1962
Jul 29, 2014
- Build Leon for Scala 2.11 · b0df8f40
  Etienne Kneuss authored 10 years ago
  
  b0df8f40
May 21, 2014
- Fix withOracle and holes semantics, do not treat them as special trees · f4a67a10
  Etienne Kneuss authored 11 years ago
  
  f4a67a10
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 21, 2014
- Fix positions of holes and resulting chooses · 37bcf2bd
  Etienne Kneuss authored 11 years ago
  
  37bcf2bd
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 05, 2014
- Correctly extract methods from single case-classes · 27fc635d
  Etienne Kneuss authored 11 years ago
  
  27fc635d
Mar 03, 2014
- Stabilize datagen, fix interrupts & parallel, fix array boxing · a541166c
  Etienne Kneuss authored 11 years ago
  
  a541166c
Feb 28, 2014
- Implement the Leon library. Support classes and methods. · 027c0d4c
  Etienne Kneuss authored 11 years ago
  027c0d4c
Feb 18, 2014
- Fix handling of fields of case-classes v.s. method calls · 70b011d7
  Etienne Kneuss authored 11 years ago
  
  70b011d7
- Include classdef in method call, to extract method return types · ba449924
  Etienne Kneuss authored 11 years ago
  
  ba449924
Feb 17, 2014
- Introduce support for methods and multiple objects/fields · 9c7e02b5
  Etienne Kneuss authored 11 years ago
  9c7e02b5
Feb 05, 2014
- Improve printer, improve TypedFunDef, fix variablesOf · 2cf7b6be
  Etienne Kneuss authored 11 years ago
  
  2cf7b6be
Feb 04, 2014
- Implement generics for functions and ADTs · 1708d239
  Etienne Kneuss authored 11 years ago
  1708d239
Jan 10, 2014
- Clean TreeOps API · baba33f8
  Etienne Kneuss authored 11 years ago
  baba33f8
Dec 16, 2013
- Support Choose in evaluation, range positions, tracing. · e02cd510
  Etienne Kneuss authored 11 years ago
  e02cd510
Dec 03, 2013
- Improve FileInterface, flatten functions with immediate simple LetDefs · 980a4fc4
  Etienne Kneuss authored 11 years ago
  
  980a4fc4