Commits · 76cd5058c75c84d0f875c400ae11cdcecdcd3bf4 · LARA / inox

Nov 04, 2015
- Refactor ChooseInfo to account for all types of synthesis problems · 76cd5058
  Manos Koukoutos authored 9 years ago
  76cd5058
Oct 19, 2015
- convertHoles -> convert · e8e87ca8
  Manos Koukoutos authored 9 years ago
  
  e8e87ca8
Oct 16, 2015
- Squash synthesis conversion phases · 346748f5
  Manos Koukoutos authored 9 years ago
  
  346748f5
Oct 15, 2015
- Catch exceptions thrown in assertCnstr · d39332d2
  Etienne Kneuss authored 9 years ago
  
  d39332d2
Oct 09, 2015
- Support for calling @extern functions · f12376b2
  Etienne Kneuss authored 9 years ago
  
  f12376b2
- FiniteMap is implemented with a Map · f997139f
  Manos Koukoutos authored 9 years ago
  
  f997139f
Sep 29, 2015
- (a) Adding support for inferring invariants in Leon. · 9d37d6ad
  Ravi Madhavan authored 10 years ago
  9d37d6ad
Sep 18, 2015
- Fixes and rebase for quantifiers · 352a48f8
  Nicolas Voirol authored 9 years ago
  
  352a48f8
- Evaluating foralls and lots of fixes · 89f7731a
  Nicolas Voirol authored 9 years ago
  
  89f7731a
- Forwarded to current master · c373f216
  Nicolas Voirol authored 9 years ago
  
  c373f216
- Reverted evaluation of quantifiers · f448b5d8
  Nicolas Voirol authored 9 years ago
  
  f448b5d8
Sep 08, 2015
- Fix MethodLifting and improvements · 849de6aa
  Manos Koukoutos authored 9 years ago
  849de6aa
Sep 03, 2015
- MapGet -> MapApply · 800df59d
  Manos Koukoutos authored 9 years ago
  
  800df59d
Aug 20, 2015
- Improvements · 80bf5d49
  Manos Koukoutos authored 9 years ago
  
  80bf5d49
Aug 12, 2015
- Implement asInstanceOf · 9e63efe6
  Etienne Kneuss authored 9 years ago
  
  9e63efe6
Aug 11, 2015
- Remove toString, rely on asString instead when printing stuff · 33777002
  Etienne Kneuss authored 9 years ago
  
  33777002
Aug 06, 2015
- Implement solver pools · fbf2bea6
  Etienne Kneuss authored 9 years ago
  fbf2bea6
Jul 17, 2015
- extensive testing of real evaluators · 396625e0
  Regis Blanc authored 9 years ago
  
  396625e0
- support for real in evaluators · 8628425b
  Regis Blanc authored 9 years ago
  
  8628425b
Jul 14, 2015
- Introducing UnapplyPattern, plus improvements · 74aba11f
  Manos Koukoutos authored 9 years ago
  74aba11f
Jul 09, 2015
- Fixes · 78bdbf74
  Manos Koukoutos authored 9 years ago
  
  78bdbf74
- More support for inheritance · d02ded7e
  Manos Koukoutos authored 9 years ago
  d02ded7e
- Small changes · ac68a436
  Manos Koukoutos authored 9 years ago
  
  ac68a436
Jul 02, 2015
- Fix the fix · 054f9180
  Etienne Kneuss authored 9 years ago
  
  054f9180
Jul 01, 2015
- Fix bug in RecursiveEvaluator · 7fdd8e8b
  Manos Koukoutos authored 9 years ago
  
  7fdd8e8b
Jun 30, 2015
- Remove Choose having mutable, optional implementation · e89165c6
  Etienne Kneuss authored 9 years ago
  
  e89165c6
- New CEGIS with bounded-sized grammar, Bs as global variables · 389761e5
  Etienne Kneuss authored 10 years ago
  389761e5
Jun 25, 2015
- Enrich TypedFunDef/Lambda API a little · 97d98a80
  Manos Koukoutos authored 10 years ago
  
  97d98a80
- Simplifications · d03bb32b
  Manos Koukoutos authored 10 years ago
  
  d03bb32b
Jun 17, 2015
- Simplify/clean up extractors · a8cdb84c
  Manos Koukoutos authored 10 years ago
  
  a8cdb84c
Jun 10, 2015
- Introducing GroundSolver · 8d899398
  Manos Koukoutos authored 10 years ago
  
  8d899398
- Simplifications/corrections · 5d53aecb
  Manos Koukoutos authored 10 years ago
  
  5d53aecb
Jun 01, 2015
- Introduce Modulo as mod operator on BigInt · 08113e8d
  Regis Blanc authored 10 years ago
  08113e8d
May 29, 2015
- Implement char comparison (<,<=,>,>=) · e8e1b598
  Etienne Kneuss authored 10 years ago
  
  e8e1b598
May 27, 2015
- Maps/Sets have explicit types, remove Empty/NonemptySet/Map · 73ca139b
  Etienne Kneuss authored 10 years ago
  
  73ca139b
May 13, 2015
- Explicitly shutdown() solver factories when they are no longer used · 55da0652
  Etienne Kneuss authored 10 years ago
  55da0652
May 06, 2015
- Remove traces of Gives · 7a12c40b
  Manos Koukoutos authored 10 years ago
  
  7a12c40b
Apr 27, 2015
- Remove Gives Expression · 40b591a0
  Manos Koukoutos authored 10 years ago
  
  40b591a0
- Simplifications · aa85fc4a
  Manos Koukoutos authored 10 years ago
  
  aa85fc4a
Apr 24, 2015
- Add EvaluationPhase to try out evaluation, fix evaluation of CharLiteral · 654c221a
  Etienne Kneuss authored 10 years ago
  
  654c221a