Commits · b4a11d0a1b727624e2f96056366d1188870db6ab · LARA / inox · GitLab

Snippets Groups Projects

May 01, 2016
- Now deterministic eval by default check if the model is ground, else evaluate it. · b4a11d0a
  Mikaël Mayer authored 9 years ago
  
  b4a11d0a
- Fixed abstract evaluator & updated ScalaZ3 jar · 3dfd69be
  Nicolas Voirol authored 9 years ago
  
  3dfd69be
- Removed the recursive evaluation of a value in the model. · 99eae9fa
  Mikaël Mayer authored 9 years ago
  99eae9fa
- Added let bindings in leon paths · 86649c4b
  Nicolas Voirol authored 9 years ago
  
  86649c4b
Apr 12, 2016
- Pass correct solver to SolverDataGen, synthesis improvements · 5b5765c1
  Manos Koukoutos authored 9 years ago
  
  5b5765c1
Apr 09, 2016
- Moved StringRenderSuite to smt-z3 because of libc crash · 50623165
  Nicolas Voirol authored 9 years ago
  
  50623165
Mar 28, 2016
- Added generic TheoryEncoders to Leon · 056f09f9
  Nicolas Voirol authored 9 years ago
  
  056f09f9
Mar 17, 2016
- Apply 2016 licence · 975bce69
  Manos Koukoutos authored 9 years ago
  
  975bce69
- Use API better · f1d8680e
  Manos Koukoutos authored 9 years ago
  
  f1d8680e
Mar 08, 2016
- Examples can now call external methods, · 8bbb1fc1
  Mikaël Mayer authored 9 years ago
  8bbb1fc1
Feb 15, 2016
- Constructing total models for quantifiers · b0227b0e
  Nicolas Voirol authored 9 years ago
  
  b0227b0e
Feb 05, 2016
- Improve value generation with generic types · 572d4125
  Manos Koukoutos authored 9 years ago
  572d4125
- Direct ExpressionGrammars through tags in Productions and NonTerminals · 662ca103
  Manos Koukoutos authored 9 years ago
  662ca103
Feb 03, 2016
- Remove ValDef.isLazy, treat byName argument during extraction alone · 738188ea
  Etienne Kneuss authored 9 years ago
  
  738188ea
Jan 27, 2016
- Homomorphic to work on lambdas + tests. · 7366462b
  Mikaël Mayer authored 9 years ago
  7366462b
Jan 26, 2016
- Added ExprOps.canBeHomomorphic which returns a mapping from identifiers if the... · 6cb4213c
  Mikaël Mayer authored 9 years ago
  6cb4213c
- Update bonsai to latest version · 542dea5c
  Manos Koukoutos authored 9 years ago
  
  542dea5c
Jan 19, 2016
- Renaming StringTracingEvaluator.scala to AbstractEvaluator.scala · 7c78e6a5
  Mikaël Mayer authored 9 years ago
  7c78e6a5
Jan 15, 2016
- Leon can handle abstract examples if the flag `keepAbstractExamples` is set to... · 7c9386d5
  Mikaël Mayer authored 9 years ago
  7c9386d5
Dec 22, 2015
- Correct bug generating endless loops for false-guarded test cases. · f173c898
  Mikaël Mayer authored 9 years ago
  
  f173c898
Dec 04, 2015
- Examples can now be given in opt guards of case x if x == ... => · ac4bd7cf
  Mikaël Mayer authored 9 years ago
  ac4bd7cf
Aug 28, 2015
- Enrich FreeableIterator's API, define GrowableIterable · 31db0f47
  Etienne Kneuss authored 9 years ago
  
  31db0f47
Aug 20, 2015
- Solver-based enumerator, varies size of models to get interesting tests · a1ac10e0
  Etienne Kneuss authored 9 years ago
  
  a1ac10e0
Aug 18, 2015
- Refactor grammars out of synthesis · 8ed8254f
  Etienne Kneuss authored 9 years ago
  
  8ed8254f
Aug 17, 2015
- Rework ExamplesBank, generate inputs for synthesis · ba5467aa
  Etienne Kneuss authored 9 years ago
  
  ba5467aa
- Grammars have access to ctx · 113a7aea
  Etienne Kneuss authored 9 years ago
  
  113a7aea
Jul 14, 2015
- Introducing UnapplyPattern, plus improvements · 74aba11f
  Manos Koukoutos authored 9 years ago
  74aba11f
Jul 06, 2015
- Test -> Example · 41a143ae
  Etienne Kneuss authored 9 years ago
  
  41a143ae
Jun 29, 2015
- Tests are propagated in synthesis, repair focus is now a rule · 58ce55b6
  Etienne Kneuss authored 10 years ago
  
  58ce55b6
Apr 16, 2015
- Update copyright notices · 4c5796bc
  Manos Koukoutos authored 10 years ago
  
  4c5796bc
Apr 15, 2015
- Introduce GrammarDataGen for using faster evaluators · b55e4e05
  Etienne Kneuss authored 10 years ago
  b55e4e05
Mar 18, 2015
- More changes · 940d8b91
  Manos Koukoutos authored 10 years ago
  
  940d8b91
- The name changes you all wanted but were afraid to ask · 73fd0741
  Manos Koukoutos authored 10 years ago
  
  73fd0741
- Fix a bunch of style/actual issues · 827a6535
  Manos Koukoutos authored 10 years ago
  
  827a6535
Mar 06, 2015
- Implement Ensuring, Choose as HOFs · a3216570
  Manos Koukoutos authored 10 years ago
  
  a3216570
- Make tuple manipulation more robust · de4f7d74
  Manos Koukoutos authored 10 years ago
  
  de4f7d74
Feb 12, 2015
- Typos · a9b1ad83
  manoskouk authored 10 years ago
  
  a9b1ad83
- Refactor test generation/extraction · d0e305f7
  Etienne Kneuss authored 10 years ago
  
  d0e305f7