Commits · c6ed682f6fa19cf92ca35e882a0e23810ceb3bd0 · LARA / inox · GitLab

Snippets Groups Projects

Jan 04, 2013
- 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
Oct 30, 2012
- Always rely on CaseClassPattern, not InstanceOfPattern · cc87ca9e
  Etienne Kneuss authored 12 years ago
  
  cc87ca9e
- Always produce binders, and populate them with loads of women · 1705478d
  Etienne Kneuss authored 12 years ago
  
  1705478d
- Extract sys.error into purescala trees · 105e2905
  Etienne Kneuss authored 12 years ago
  
  105e2905
- Tentative pattern matching reconstruction · a072ad2b
  Etienne Kneuss authored 12 years ago
  
  a072ad2b
Oct 29, 2012
- Decompose Ifs to simplify the pattern reconstruction · 791bec23
  Etienne Kneuss authored 12 years ago
  
  791bec23
Oct 26, 2012
- Refactoring · 196b39f5
  Philippe Suter authored 12 years ago
  
  196b39f5
- Decompose into cases · a9d92801
  Etienne Kneuss authored 12 years ago
  
  a9d92801
- simplePreTransform/simplePostTransform · b59ab8d9
  Etienne Kneuss authored 12 years ago
  
  b59ab8d9
- Z3 now invoked to simplify synthesized code. · 69e2247a
  Philippe Suter authored 12 years ago
  
  69e2247a
- Define simpleTransform when no Context is needed, used by toCNF and toDNF · d5b1af81
  Etienne Kneuss authored 12 years ago
  
  d5b1af81
- Move TopLevel* to Extractors · ee3a8924
  Etienne Kneuss authored 12 years ago
  
  ee3a8924
- Define choose as an extractable · 2b27915b
  Etienne Kneuss authored 12 years ago
  
  2b27915b
- Seamless extensions of Trees via extractors and extractables · 3a1820d7
  Etienne Kneuss authored 12 years ago
  
  3a1820d7
- Some generic transformers · e74bfd79
  Etienne Kneuss authored 12 years ago
  
  e74bfd79
- Blub · 4eec8374
  Etienne Kneuss authored 12 years ago
  
  4eec8374
Oct 24, 2012
- Decoupling of trees and tree operations · 9154d71e
  Etienne Kneuss authored 12 years ago
  
  9154d71e