Commits · ce61a86d03e3506a75f07808225e0faed89683d0 · LARA / inox

Jan 20, 2016
- Corrected abstract evaluator to partially evaluate the scrutinee. · ce61a86d
  Mikaël Mayer authored 9 years ago
  ce61a86d
Jan 19, 2016
- Simplified StringTracingEvaluator.scala, · d1d1114d
  Mikaël Mayer authored 9 years ago
  d1d1114d
Jan 11, 2016
- Hot fix: EvalError instead of FatalError · 936ce9ba
  Mikaël Mayer authored 9 years ago
  
  936ce9ba
Jan 08, 2016
- Moved ProgramSets to sub-package · 10ae6952
  Mikaël Mayer authored 9 years ago
  10ae6952
Jan 06, 2016
- Added string escape · dcc22b09
  Mikaël Mayer authored 9 years ago
  
  dcc22b09
Dec 10, 2015
- Fix bugs in Evaluators, add tests · 950381a5
  Manos Koukoutos authored 9 years ago
  
  950381a5
Nov 25, 2015
- Use StreamEvaluator in repair · fd33cc09
  Manos Koukoutos authored 9 years ago
  fd33cc09
- Refactor Evaluators. Introduce NDEvaluator trait and StreamEvaluator · ac306f8f
  Manos Koukoutos authored 9 years ago
  ac306f8f
Nov 23, 2015
- Fixed many bugs in the evaluator. · d9b937d6
  Mikaël Mayer authored 9 years ago
  d9b937d6
- Efficient procedure for transitive dependencies in quantifiers · 6285db89
  Nicolas Voirol authored 9 years ago
  
  6285db89
- Transitive quantifiers and lambda axioms · 3a11a76d
  Nicolas Voirol authored 9 years ago
  
  3a11a76d
- First working version of string synthesis, works on simple data types. · fc58e80a
  Mikaël Mayer authored 9 years ago
  
  fc58e80a
Nov 20, 2015
- String Tracing evaluator (invomplete!) · 79eb9ef7
  Manos Koukoutos authored 9 years ago
  
  79eb9ef7
Nov 17, 2015
- Refactor Evaluators. Introduce NDEvaluator · 27d034eb
  Manos Koukoutos authored 9 years ago
  27d034eb
Nov 06, 2015
- Set cardinality is a bigint, and we map it to CVC4's card · 7b4600e5
  Etienne Kneuss authored 9 years ago
  
  7b4600e5
Nov 04, 2015
- Refactor ChooseInfo to account for all types of synthesis problems · 76cd5058
  Manos Koukoutos authored 9 years ago
  76cd5058
Oct 22, 2015
- Adding Evaluation and code generation for strings. · 84e8cc8f
  Mikaël Mayer authored 9 years ago
  
  84e8cc8f
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