Commits · ae8dabd6e85a7f48072fb9c14ce523ecca54f891 · LARA / inox · GitLab

Snippets Groups Projects

Mar 17, 2016
- Decouple definitions of Synthesizer/SynthesisContext · ae8dabd6
  Manos Koukoutos authored 9 years ago
  
  ae8dabd6
- Apply 2016 licence · 975bce69
  Manos Koukoutos authored 9 years ago
  
  975bce69
- Use correct strategy · e81b64c9
  Manos Koukoutos authored 9 years ago
  
  e81b64c9
- Introduce 't' command for manual to print current tree · c30bf3fd
  Etienne Kneuss authored 9 years ago
  
  c30bf3fd
- Discard invalid solutions, better reports in SynthesisPhase · 7a5f61dc
  Manos Koukoutos authored 9 years ago
  
  7a5f61dc
- New And/Or Search Strategies · 2ec7235e
  Etienne Kneuss authored 9 years ago
  
  2ec7235e
Feb 05, 2016
- Direct ExpressionGrammars through tags in Productions and NonTerminals · 662ca103
  Manos Koukoutos authored 9 years ago
  662ca103
Jan 04, 2016
- latest fixes to testcases/instrumentation · 79020284
  Etienne Kneuss authored 9 years ago
  
  79020284
- Collect stats code to produce reports for papers/thesis · be48611d
  Etienne Kneuss authored 9 years ago
  
  be48611d
Nov 25, 2015
- ChooseInfo -> SourceInfo · 5c083d1b
  Manos Koukoutos authored 9 years ago
  
  5c083d1b
Nov 17, 2015
- ChooseInfo -> SourceInfo · b32c5513
  Manos Koukoutos authored 9 years ago
  
  b32c5513
Oct 19, 2015
- AnalysisPhase -> VerificationPhase · 27f248f5
  Manos Koukoutos authored 9 years ago
  
  27f248f5
Oct 09, 2015
- Boost FunDef.duplicate, get rid of FunDef.copyContentFrom · 05dbaeab
  Manos Koukoutos authored 9 years ago
  
  05dbaeab
Aug 20, 2015
- Solver-based enumerator, varies size of models to get interesting tests · a1ac10e0
  Etienne Kneuss authored 9 years ago
  
  a1ac10e0
Aug 06, 2015
- Implement solver pools · fbf2bea6
  Etienne Kneuss authored 9 years ago
  fbf2bea6
Jul 09, 2015
- Copyright notices · b5a913dc
  Manos Koukoutos authored 9 years ago
  
  b5a913dc
Jul 01, 2015
- Improve how fails are handled by synthesis/repair · 34bdfd3a
  Manos Koukoutos authored 9 years ago
  
  34bdfd3a
Jun 19, 2015
- Replace solution within choose, since now it can do direct recursive · f54da2c2
  Etienne Kneuss authored 9 years ago
  f54da2c2
- Inject the synthesized function only once, instead of once per compilation unit. · 119a0f8c
  Etienne Kneuss authored 9 years ago
  
  119a0f8c
Jun 10, 2015
- Only generate one vc per function group in GroupedTactic · 053c4545
  Manos Koukoutos authored 10 years ago
  
  053c4545
May 13, 2015
- Explicitly shutdown() solver factories when they are no longer used · 55da0652
  Etienne Kneuss authored 10 years ago
  55da0652
May 05, 2015
- Fallback to SMT solver in case native interface is unavailable · 86749646
  Etienne Kneuss authored 10 years ago
  
  86749646
Apr 23, 2015
- Some cleanup · 7f0a3235
  Manos Koukoutos authored 10 years ago
  
  7f0a3235
- Refactor how command line options are handled by Leon · 59b0b60a
  Manos Koukoutos authored 10 years ago
  59b0b60a
Apr 21, 2015
- Fix fullname, improve solver timeouts · 324beff9
  Etienne Kneuss authored 10 years ago
  
  324beff9
Apr 16, 2015
- Update copyright notices · 4c5796bc
  Manos Koukoutos authored 10 years ago
  
  4c5796bc
Apr 15, 2015
- Refactoring of Verification Conditions/Reports · 59268e2b
  Etienne Kneuss authored 10 years ago
  
  59268e2b
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
- Fix inconsistent handling of valDef.id.getType and valDef.tpe · da159f9e
  Manos Koukoutos authored 10 years ago
  
  da159f9e
Feb 24, 2015
- Remove MutableTyped from Identifiers and eliminate it completely · 48f7ffc1
  Manos Koukoutos authored 10 years ago
  
  48f7ffc1
Feb 12, 2015
- Stuff for web · 7e2c8371
  Etienne Kneuss authored 10 years ago
  
  7e2c8371
- --manual takes a script as optional argument to automate repeat · 304ac9f5
  Etienne Kneuss authored 10 years ago
  
  304ac9f5
- New CEGIS · 9fa9d916
  Etienne Kneuss authored 10 years ago
  
  9fa9d916
- Refactor rules, remove Heuristics/Rules · 01062258
  Etienne Kneuss authored 10 years ago
  
  01062258
- Rename SynthesisOptions to SynthesisSettings · 01e9a96a
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  01e9a96a
- Separate trees from tree constructors,use them more,simplifications · 2872b0e8
  Etienne Kneuss authored 10 years ago
  
  2872b0e8