Commits · f48ff21334fc368a0582c1c1eb0a1368fe88b335 · LARA / inox · GitLab

Snippets Groups Projects

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 14, 2013
- OptimisticGround can take time, so we do the work on application rather than instantiation. · 25b5159f
  Etienne Kneuss authored 12 years ago
  
  25b5159f
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 22, 2012
- Optimistic ground now uses path condition, IntInduction pushes case to path... · 8205d924
  Etienne Kneuss authored 12 years ago
  8205d924
Nov 21, 2012
- Fix Search, fix problem cost, re-introduce ADT Split · 261ea138
  Etienne Kneuss authored 12 years ago
  
  261ea138
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
Nov 15, 2012
- Moar files · 70a81d20
  Etienne Kneuss authored 12 years ago
  
  70a81d20