Commits · e02cd5102b2a09e1ef7c16d42d7028b3ad677b16 · LARA / inox · GitLab

Snippets Groups Projects

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
Dec 02, 2013
- Rework positions, introduce RangePositions · 480e8a3d
  Etienne Kneuss authored 11 years ago
  
  480e8a3d
Nov 15, 2013
- Add/Fix support for (a: Type) patterns · 3ff98050
  Etienne Kneuss authored 11 years ago
  
  3ff98050
- Rework Match <-> i.t.e w/ aggressive flattening. Test transformations. · 6ff085d1
  Etienne Kneuss authored 11 years ago
  
  6ff085d1
Nov 13, 2013
- Basic flattening for pattern match reconstruction · 5e6413e5
  Etienne Kneuss authored 11 years ago
  
  5e6413e5
Oct 23, 2013
- Improve simplification of simple let-tuples, remove MBQI warnings · f454f3fa
  Etienne Kneuss authored 11 years ago
  
  f454f3fa
Oct 01, 2013
- Re-introduce type hierarchy for solvers, simplify factories · b86116f0
  Etienne Kneuss authored 11 years ago
  b86116f0
Sep 12, 2013
- Refactor Solvers · f374e736
  Etienne Kneuss authored 11 years ago
  f374e736
Aug 27, 2013
- Remove ResultVariable, postcondition are explicitly bound · f24aafcc
  Etienne Kneuss authored 11 years ago
  
  f24aafcc
Aug 26, 2013
- Promote LetDef to purescala · 1c831e12
  Etienne Kneuss authored 11 years ago
  
  1c831e12
- Reshape options, add debug sections, simplify reporters · 51f3e6a4
  Etienne Kneuss authored 11 years ago
  51f3e6a4
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