Commits · b9548a321dc57e48837db565cea11efe169a794b · LARA / inox

Aug 15, 2013
- Improve Leon's parallel search · b9548a32
  Etienne Kneuss authored 11 years ago
  b9548a32
- 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 11 years ago
  c521d3bd
Jun 03, 2013
- Apply BSD 2 clauses license · 3cb6d843
  Etienne Kneuss authored 11 years ago
  
  3cb6d843
Apr 12, 2013
- Safer transitiveCall*, implement isInductive check · c44ceafc
  Etienne Kneuss authored 12 years ago
  
  c44ceafc
Mar 25, 2013
- Correct handling of choose in verification. · 63477d6c
  Etienne Kneuss authored 12 years ago
  63477d6c
Mar 11, 2013
- Add array support in simplestValue, fix for certain array models · 0c62931b
  Etienne Kneuss authored 12 years ago
  0c62931b
Mar 08, 2013
- Remove hack · 86f0b269
  Etienne Kneuss authored 12 years ago
  
  86f0b269
Feb 13, 2013
- Various improvements necessary for the web-interface · f48ff213
  Etienne Kneuss authored 12 years ago
  f48ff213
Jan 25, 2013
- We have too many different kinds of simplifications to keep TreeOps.simplify · 4360b3e3
  Etienne Kneuss authored 12 years ago
  
  4360b3e3
Jan 14, 2013
- Decompose out variables that match a single case-class · 9746ba52
  Etienne Kneuss authored 12 years ago
  9746ba52
Jan 11, 2013
- Propagate expected types to onSuccess · e4a278b4
  Etienne Kneuss authored 12 years ago
  e4a278b4
Jan 09, 2013
- Fix simplifyPath for Or() · 6308a2d3
  Etienne Kneuss authored 12 years ago
  
  6308a2d3
Jan 08, 2013
- Accelerate CEGIS by disabling features we thought would help · 087889d5
  Etienne Kneuss authored 12 years ago
  087889d5
Jan 04, 2013
- Simplification of 1-uples and 0-uples. · ba41c6b2
  Philippe Suter authored 12 years ago
  ba41c6b2
- Simplify preconditions when possible · 94e82a7b
  Etienne Kneuss authored 12 years ago
  
  94e82a7b
- Simplifications for LetTuple. · c6ed682f
  Philippe Suter authored 12 years ago
  c6ed682f
Jan 03, 2013
- Implement the inner case-split heuristic, extend case-split to Ors with more than two elements · 86573651
  Etienne Kneuss authored 12 years ago
  86573651
Dec 15, 2012
- Remove EmptySet, EmptyMap and SingletonMap · 65b1b6af
  Régis Blanc authored 12 years ago
  65b1b6af
Dec 13, 2012
- remove usage of FunctionType and AnonymousFunction · 1721a865
  Régis Blanc authored 12 years ago
  
  1721a865
Dec 11, 2012
- move LetDef to xlang and ScalaPrinter do not use xlang · 00c00c92
  Régis Blanc authored 12 years ago
  
  00c00c92
- moving everything to xlang package · bd81ca07
  Régis Blanc authored 12 years ago
  
  bd81ca07
Nov 29, 2012
- tests for new simplify · 7aa6c4c4
  Régis Blanc authored 12 years ago
  
  7aa6c4c4
- new simplification using expansion and grouping · 5e222f54
  Régis Blanc authored 12 years ago
  
  5e222f54
Nov 22, 2012
- some highly specialized optimization · 8416ebee
  Régis Blanc authored 12 years ago
  
  8416ebee
- simplify more term · 14db5363
  Régis Blanc authored 12 years ago
  
  14db5363
Nov 21, 2012
- spot a bug in simplifyArithmetic, add a test · 9f7dc493
  Régis Blanc authored 12 years ago
  
  9f7dc493
Nov 20, 2012
- start to move and refactor some stuff · ae5727e2
  Régis Blanc authored 12 years ago
  
  ae5727e2
Nov 16, 2012
- Simplification operations in TreeOps are now immune to solver crashes. · 657224fa
  Philippe Suter authored 12 years ago
  
  657224fa
Nov 13, 2012
- Do not decompose in case there is no hope for pattern matching reconstruction · 1ae8d9ec
  Etienne Kneuss authored 12 years ago
  
  1ae8d9ec
Nov 09, 2012
- Generic collection mechanism · 051a5db1
  Etienne Kneuss authored 12 years ago
  
  051a5db1
Nov 05, 2012
- fix some comments · 276e845e
  Régis Blanc authored 12 years ago
  
  276e845e
Nov 02, 2012
- Simplify generic transform, silence reporters · 039486a1
  Etienne Kneuss authored 12 years ago
  
  039486a1
Nov 01, 2012
- Return an expression, not a formula · 5f18731b
  Etienne Kneuss authored 12 years ago
  
  5f18731b
- Optimistic Ground Rule with CE guided refinement · e16ab22c
  Etienne Kneuss authored 12 years ago
  
  e16ab22c
- Score solution programatically, not by hand. Allow arbitrary scrutinees (to check) · 70f68bc7
  Etienne Kneuss authored 12 years ago
  
  70f68bc7
Oct 31, 2012
- handling LetTuple in simplifyPaths · aaac8c2f
  Philippe Suter authored 12 years ago
  
  aaac8c2f
- With Let. Still no LetTuple. · e69809e2
  Philippe Suter authored 12 years ago
  
  e69809e2
- path-aware simplifications (untested for now) · 213c1248
  Philippe Suter authored 12 years ago
  
  213c1248
- Remove unused binders · cabb2c2a
  Etienne Kneuss authored 12 years ago
  
  cabb2c2a