Commits · ab612ddc886b98cf54c69e31825fbe6224fc3531 · LARA / inox · GitLab

Snippets Groups Projects

Jan 09, 2013
- Allow "&" along with "**" (Which is deprecated by Scala) · ab612ddc
  Etienne Kneuss authored 12 years ago
  
  ab612ddc
Dec 14, 2012
- Implement Literal Maps along with Tuple2 shorthands · 41576426
  Etienne Kneuss authored 12 years ago
  41576426
Oct 30, 2012
- Extract leon.Utils.error[T] calls correctly · e95b7dc4
  Etienne Kneuss authored 12 years ago
  
  e95b7dc4
- Extract sys.error into purescala trees · 105e2905
  Etienne Kneuss authored 12 years ago
  
  105e2905
Oct 26, 2012
- Substitute Choose code with solutions · 73377ace
  Etienne Kneuss authored 12 years ago
  
  73377ace
Oct 19, 2012
- Implement Choose here and there, not complete yet but should be mostly functional · 300576df
  Etienne Kneuss authored 12 years ago
  
  300576df
May 16, 2012
- parse and handle waypoints · 1634a6aa
  Régis Blanc authored 13 years ago
  
  1634a6aa
May 11, 2012
- remove debug println · 2fd22ba0
  Régis Blanc authored 13 years ago
  
  2fd22ba0
- reject all sort of program using array in non-supported way, and add a clone array method · bb7ef2b3
  Régis Blanc authored 13 years ago
  
  bb7ef2b3
May 10, 2012
- add functional update on arrays · 2d955609
  Régis Blanc authored 13 years ago
  
  2d955609
- well... the functional Abs proves validity · 1e6772ca
  Régis Blanc authored 13 years ago
  
  1e6772ca
May 04, 2012
- array length operation · f1ef5047
  Régis Blanc authored 13 years ago
  
  f1ef5047
May 03, 2012
- extracting array from scala parser · e46bb9b6
  Régis Blanc authored 13 years ago
  
  e46bb9b6
Apr 10, 2012
- integrating epsilon construct in the syntax · 1018f32e
  Régis Blanc authored 13 years ago
  
  1018f32e
Mar 27, 2012
- Extracting loop invariant · b47356fe
  Régis Blanc authored 13 years ago
  
  b47356fe
Mar 25, 2012
- imperative transformation working with if then else and assignment · 78c4285c
  Régis Blanc authored 13 years ago
  
  78c4285c
- adapt code extractor to blocks everywhere · d71517d6
  Régis Blanc authored 13 years ago
  
  d71517d6
Mar 24, 2012
- moving tuples extractors to the expression extractors · c7cae595
  Régis Blanc authored 13 years ago
  
  c7cae595
Mar 23, 2012
- Function closure: adding all used vars in the argument declaration of each nested function · e8cb4262
  Régis Blanc authored 13 years ago
  
  e8cb4262
Mar 22, 2012
- nested def are correctly extracted · cfc07840
  Régis Blanc authored 13 years ago
  
  cfc07840
- extract fundef, some bugs still · 15272e4e
  Régis Blanc authored 13 years ago
  
  15272e4e
- extracting isInstanceOf from scala code. Only works for instanceOf CaseClass · d928fe54
  Régis Blanc authored 13 years ago
  
  d928fe54
- support for tuple up to dimension 5 · 41624802
  Régis Blanc authored 13 years ago
  
  41624802
Mar 21, 2012
- code extraction complete · 1b1592a8
  Régis Blanc authored 13 years ago
  
  1b1592a8
Mar 19, 2012
- Extracting while and var from scala · 7a0af0ec
  Régis Blanc authored 13 years ago
  
  7a0af0ec
Mar 06, 2012
- added Mod operator and a nice example with isEven test · 4c6737ee
  Régis Blanc authored 13 years ago
  
  4c6737ee
Mar 05, 2012
- overdue refactoring (funcheck=>leon and single package) · c84f2062
  Philippe Suter authored 13 years ago
  
  c84f2062
- Migrated to xsbt (aka sbt 0.11). · 648f7381
  Philippe Suter authored 13 years ago
  
  648f7381
Jun 07, 2011
- remove unused apply extractor · c56a2b5e
  Ali Sinan Köksal authored 13 years ago
  
  c56a2b5e
Jun 01, 2011
- temporary version with functions represented as uninterpreted z3 · 15731440
  Ali Sinan Köksal authored 14 years ago
  15731440
May 26, 2011
- Now works with Scala 2.9.0.1. Serialization has been made simpler too. · 118f9730
  Philippe Suter authored 14 years ago
  
  118f9730
May 23, 2011
- bugfix for constant array creation · 76e4ef71
  Ali Sinan Köksal authored 14 years ago
  
  76e4ef71
- adding Map support to FunCheck (no conversion back yet from Z3 models) · 01526685
  Ali Sinan Köksal authored 14 years ago
  
  01526685
May 05, 2011
- extraction of typed expressions in funcheck · 1367da7d
  Ali Sinan Köksal authored 14 years ago
  
  1367da7d
Apr 22, 2011
- better extraction of sets (no more import statement required) and stub for option types and more · 6bd9fbbc
  Philippe Suter authored 14 years ago
  
  6bd9fbbc
Apr 11, 2011
- Revert classes in 'funcheck' package to how they were before the CP... · 37a4180a
  Ali Sinan Köksal authored 14 years ago
  37a4180a
Apr 04, 2011
- Skipping non pure instructions when extracting code; taking into account the... · 85db2ca0
  Ali Sinan Köksal authored 14 years ago
  85db2ca0
Mar 24, 2011
- rename ancestor plugin class · cf6f42f2
  Ali Sinan Köksal authored 14 years ago
  
  cf6f42f2
- Extractors has an AbstractPlugin · ec92b4cc
  Ali Sinan Köksal authored 14 years ago
  
  ec92b4cc
Oct 26, 2010
- No commit message · 50a8dda1
  Philippe Suter authored 14 years ago
  50a8dda1