Commits · 06c268ab5ac99fc3737f7bd466b8c3999b87ee99 · LARA / inox · GitLab

Snippets Groups Projects

Oct 27, 2014
- Synthesis framework refactoring · 06c268ab
  Etienne Kneuss authored 10 years ago
  
  06c268ab
Sep 03, 2014
- TEGIS or test-only CEGIS, using bonsai for tree generation · 6e4b54da
  Etienne Kneuss authored 10 years ago
  
  6e4b54da
Aug 07, 2014
- Extract tests from specification: passes(in,out)(Map(1 -> 2)) · 895a1962
  Etienne Kneuss authored 10 years ago
  
  895a1962
May 21, 2014
- Fix withOracle and holes semantics, do not treat them as special trees · f4a67a10
  Etienne Kneuss authored 11 years ago
  
  f4a67a10
May 05, 2014
- New Ensuring/Require/Assert trees · 8403fa94
  Etienne Kneuss authored 11 years ago
  8403fa94
Apr 11, 2014
- All-seeing synthesis with Oracles, library reorganisation · 8f2438cc
  Etienne Kneuss authored 11 years ago
  8f2438cc
Mar 20, 2014
- Add rule for splitting ifs in predicates · 42c3cf2c
  Etienne Kneuss authored 11 years ago
  
  42c3cf2c
Mar 14, 2014
- Fix header (2013 -> 2014). Add script to do so. · 26ca0be2
  Etienne Kneuss authored 11 years ago
  
  26ca0be2
Feb 10, 2014
- Improve debugging for trees. asString now preferred over toString. · 1be039de
  Etienne Kneuss authored 11 years ago
  
  1be039de
Sep 12, 2013
- Rename ReportingSection to DebugSection · 59e6fe6f
  Etienne Kneuss authored 11 years ago
  
  59e6fe6f
- Drastic memory management for solvers during synthesis · be292ce0
  Etienne Kneuss authored 11 years ago
  be292ce0
Jun 03, 2013
- Apply BSD 2 clauses license · 3cb6d843
  Etienne Kneuss authored 11 years ago
  
  3cb6d843
Apr 12, 2013
- Implement untrusted solutions, that are then validated · 1900e8dd
  Etienne Kneuss authored 12 years ago
  
  1900e8dd
- Implement ADTLongInduction and DetupleInput rules · 43a4e1a6
  Etienne Kneuss authored 12 years ago
  
  43a4e1a6
Feb 13, 2013
- Various improvements necessary for the web-interface · f48ff213
  Etienne Kneuss authored 12 years ago
  f48ff213
Jan 20, 2013
- Implement the concept of Normalizing rules · f5fb158f
  Etienne Kneuss authored 12 years ago
  f5fb158f
Jan 14, 2013
- Implement InequalitySplit and improve EqualitySplit · 4fad2012
  Etienne Kneuss authored 12 years ago
  4fad2012
- Decompose out variables that match a single case-class · 9746ba52
  Etienne Kneuss authored 12 years ago
  9746ba52
Jan 11, 2013
- Propagate expected types to onSuccess · e4a278b4
  Etienne Kneuss authored 12 years ago
  e4a278b4
Jan 08, 2013
- Allow onSuccess to fail. This is necessary to prevent soundness issues. · 965264c3
  Etienne Kneuss authored 12 years ago
  965264c3
Jan 03, 2013
- Handle problem of costs=0 in case of missing SolutionBuilder, requires passing... · b986717b
  Etienne Kneuss authored 12 years ago
  b986717b
- Remove obsolete concept of Rule priorities. This is now implicitly handled by the search. · ce6ef073
  Etienne Kneuss authored 12 years ago
  
  ce6ef073
Dec 06, 2012
- Rework the semantics of rules, their applications/instantiation, results · 7378ba6f
  Etienne Kneuss authored 12 years ago
  
  7378ba6f
Dec 05, 2012
- Improve search for leaves to target unsolved branches, fix one issue regarding parallelism · c76506d3
  Etienne Kneuss authored 12 years ago
  
  c76506d3
Nov 23, 2012
- Prepare ground for parallel search · 5ccb8ebe
  Etienne Kneuss authored 12 years ago
  
  5ccb8ebe
Nov 21, 2012
- One rule for ADT ≠ decomposition. · 3a950dc2
  Philippe Suter authored 12 years ago
  3a950dc2
- Fix Search, fix problem cost, re-introduce ADT Split · 261ea138
  Etienne Kneuss authored 12 years ago
  
  261ea138
Nov 20, 2012
- Fix the fixes · ff401032
  Etienne Kneuss authored 12 years ago
  
  ff401032
Nov 19, 2012
- Some fixes and simplifications · 7696dbdb
  Etienne Kneuss authored 12 years ago
  
  7696dbdb
- Some re-work based on and-or graphs · e69cbc14
  Etienne Kneuss authored 12 years ago
  
  e69cbc14
- Make RuleInapplicable a RuleAlternatives with no alternative · 9a05ae05
  Etienne Kneuss authored 12 years ago
  
  9a05ae05
- Rules can (and should) have multiple application alternatives · 9c8b6e54
  Etienne Kneuss authored 12 years ago
  
  9c8b6e54
Nov 15, 2012
- Fix ADTSplit's sub pre-cond. Deactivate it for now as it kills everything · 3212cdf7
  Etienne Kneuss authored 12 years ago
  
  3212cdf7
- Implement ADTSplit · 63da798a
  Etienne Kneuss authored 12 years ago
  
  63da798a
- integer rule should be working now · 8e3f3946
  Régis Blanc authored 12 years ago
  
  8e3f3946
- Moar files · 70a81d20
  Etienne Kneuss authored 12 years ago
  
  70a81d20
Nov 14, 2012
- woops · 8c341973
  Etienne Kneuss authored 12 years ago
  
  8c341973
- Chased the Set.empty[Int] vs. Set() subtelty. · 76125021
  Philippe Suter authored 12 years ago
  
  76125021
- Fix EQ Split · 97467ee2
  Etienne Kneuss authored 12 years ago
  
  97467ee2
- ADT Induction · 1e5b32d0
  Etienne Kneuss authored 12 years ago
  
  1e5b32d0