Commits · ba41c6b20ab2f0015b7f70b45e1aef75a4d3816f · LARA / inox

Jan 04, 2013
- Simplification of 1-uples and 0-uples. · ba41c6b2
  Philippe Suter authored 12 years ago
  ba41c6b2
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
- no xlang Trees in Extractor · 20bac1c3
  Régis Blanc authored 12 years ago
  
  20bac1c3
- moving everything to xlang package · bd81ca07
  Régis Blanc authored 12 years ago
  
  bd81ca07
Nov 26, 2012
- Cleaned up many old/useless options. · 70971eeb
  Philippe Suter authored 12 years ago
  
  70971eeb
Nov 14, 2012
- Starting ADTInduction · 46fabd14
  Etienne Kneuss authored 12 years ago
  
  46fabd14
Nov 13, 2012
- Generate and print pre-post conditions · 9de7b357
  Etienne Kneuss authored 12 years ago
  
  9de7b357
Nov 02, 2012
- Implement timeouts, trim search horizon based on solution so far · 244f18b6
  Etienne Kneuss authored 12 years ago
  
  244f18b6
Nov 01, 2012
- Score solution programatically, not by hand. Allow arbitrary scrutinees (to check) · 70f68bc7
  Etienne Kneuss authored 12 years ago
  
  70f68bc7
Oct 30, 2012
- Nasty Nary extractor for MatchExpr · 6ca663fe
  Etienne Kneuss authored 12 years ago
  
  6ca663fe
Oct 26, 2012
- Move TopLevel* to Extractors · ee3a8924
  Etienne Kneuss authored 12 years ago
  
  ee3a8924
- LetTuple definition in the extractor · a82ae42f
  Etienne Kneuss authored 12 years ago
  
  a82ae42f
- Seamless extensions of Trees via extractors and extractables · 3a1820d7
  Etienne Kneuss authored 12 years ago
  
  3a1820d7
Oct 24, 2012
- Some more lumberjacking · cac39df0
  Etienne Kneuss authored 12 years ago
  
  cac39df0