Commits · 1724c1a609d6cf83ad173a3ae90bac4a80f0ca1f · LARA / inox · GitLab

Snippets Groups Projects

Apr 12, 2013
- Fix pc being propagated to ADTSplit's sub problems · 1724c1a6
  Etienne Kneuss authored 12 years ago
  
  1724c1a6
Feb 13, 2013
- Various improvements necessary for the web-interface · f48ff213
  Etienne Kneuss authored 12 years ago
  f48ff213
Jan 18, 2013
- Use timeouts in all synthesis rules, we don't want it to hang on a difficult problem · 0d8569f0
  Etienne Kneuss authored 12 years ago
  
  0d8569f0
Jan 08, 2013
- Allow onSuccess to fail. This is necessary to prevent soundness issues. · 965264c3
  Etienne Kneuss authored 12 years ago
  965264c3
- Accelerate CEGIS by disabling features we thought would help · 087889d5
  Etienne Kneuss authored 12 years ago
  087889d5
Jan 04, 2013
- Improve search by making it more deterministic · 8f620493
  Etienne Kneuss authored 12 years ago
  
  8f620493
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
Nov 23, 2012
- Prepare ground for parallel search · 5ccb8ebe
  Etienne Kneuss authored 12 years ago
  
  5ccb8ebe
Nov 19, 2012
- 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
- CEGIS is now faster, and also actually correct. · 5312899d
  Etienne Kneuss authored 12 years ago
  
  5312899d
- 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