Commits · 2fea054aa548bd389b05e84dace134d25713ccf0 · LARA / inox

Apr 29, 2016
- cafebabe as dependency · 2fea054a
  Manos Koukoutos authored 8 years ago
  
  2fea054a
- Remove vanuatoo · 8e6cfbae
  Manos Koukoutos authored 8 years ago
  
  8e6cfbae
- Restore repair runtests file · 758827de
  Manos Koukoutos authored 8 years ago
  
  758827de
- Non-functional changes · 9fd79fb3
  Manos Koukoutos authored 8 years ago
  
  9fd79fb3
- Fix bug in EquivalentInputs where pc got simplified under itself · dff5eafb
  Manos Koukoutos authored 8 years ago
  
  dff5eafb
- Focus should add conditions in the right order · a452cb20
  Manos Koukoutos authored 8 years ago
  
  a452cb20
- Work on ExamplesBank · b629f6bd
  Manos Koukoutos authored 8 years ago
  
  All map* -> flatMap* Add evalIns which evaluates all inputs All QualifiedExamplesBank methods now return QEBs Problem.qebFiltered evaluates first
  b629f6bd
- Datagens should respect interrupts · 3f39702f
  Manos Koukoutos authored 8 years ago
  
  3f39702f
- Remove insynth binary · 35da251f
  Manos Koukoutos authored 8 years ago
  
  35da251f
- Fix recomposition bugs in ADTSplit · 7d8de42a
  Manos Koukoutos authored 8 years ago
  
  7d8de42a
- Simplify ADTManager · 99c797c0
  Manos Koukoutos authored 8 years ago
  
  99c797c0
- Improve this benchmark · 7a2dfc71
  Manos Koukoutos authored 8 years ago
  
  7a2dfc71
- Abduction rule · 7cc4e4fc
  Manos Koukoutos authored 8 years ago
  
  7cc4e4fc
- Give up on strange Unicode · b480c77d
  Manos Koukoutos authored 8 years ago
  
  b480c77d
- Refactor simplifiers to take initial PC, make it a proper Path · 0d5cf1e5
  Manos Koukoutos authored 8 years ago
  
  0d5cf1e5
- Fix mergeSort in list algorithms · a5cfd07a
  Manos Koukoutos authored 8 years ago
  
  a5cfd07a
- Increase test timeouts · f4843e87
  Manos Koukoutos authored 8 years ago
  
  f4843e87
- Fix identation/comments · ac961dee
  Manos Koukoutos authored 8 years ago
  
  ac961dee
- Define timeout when evaluating choose · 6308c190
  Manos Koukoutos authored 8 years ago
  
  6308c190
- Improve printing in synthesis · c46cc9a5
  Manos Koukoutos authored 8 years ago
  
  c46cc9a5
- Remove unneeded files · 823c2b4e
  Manos Koukoutos authored 8 years ago
  
  823c2b4e
- Add timeouts to all regression suites · c0625343
  Manos Koukoutos authored 8 years ago
  
  c0625343
- Timeouts to all of PurescalaVerificationSuite · b8491c85
  Manos Koukoutos authored 8 years ago
  
  b8491c85
- Remove weird List.find from leon lib, add List.indexOf · e9ccf933
  Manos Koukoutos authored 8 years ago
  
  e9ccf933
- Remove unused file · c9831b31
  Manos Koukoutos authored 8 years ago
  
  c9831b31
- Remove some awkward Path functionality. Some doc · 8d2cc85f
  Manos Koukoutos authored 8 years ago
  
  8d2cc85f
- Fix SynthesisSuite and a test · 65a5c24e
  Manos Koukoutos authored 8 years ago
  
  65a5c24e
- Numbers · a8c43d12
  Manos Koukoutos authored 8 years ago
  
  a8c43d12
- Move and rename RepairTrackingEvaluator, improve its documentation · e3ad845b
  Manos Koukoutos authored 8 years ago
  
  e3ad845b
- map* -> flatMap* in ExamplesBank · cb19875c
  Manos Koukoutos authored 8 years ago
  
  cb19875c
- Synthesis: Don't filter tests during decomposition. Filter as needed in terminal rules. · b9196c24
  Manos Koukoutos authored 8 years ago
  
  b9196c24
- Fix Solution unapply, some cleanup · 0351d650
  Manos Koukoutos authored 8 years ago
  
  0351d650
- Bring back trivial LetTuple simplification · 7e6590b8
  Manos Koukoutos authored 8 years ago
  
  7e6590b8
- Filter tests with PC in CEGIS · 156bb607
  Manos Koukoutos authored 8 years ago
  
  156bb607
- Clean up Repairman a little · 5dba7016
  Manos Koukoutos authored 8 years ago
  
  5dba7016
- Repair synthesis after Path refactoring · 24b99cba
  Manos Koukoutos authored 8 years ago
  
  Rules now take allAs into account, behave correctly in all inputs
  24b99cba
- Slightly enrich Path API/improve style · f0a4f518
  Manos Koukoutos authored 8 years ago
  
  f0a4f518
- equality gets inferred to weird product type · b1749d96
  Manos Koukoutos authored 8 years ago
  
  b1749d96
- Some gc in synthesis · 22cd2820
  Manos Koukoutos authored 8 years ago
  
  22cd2820
- Add allowPartial option · fe129410
  Manos Koukoutos authored 8 years ago
  
  fe129410