Commits · 0d8569f0baa35f68520abdf9c00aff16bd3ccd2f · LARA / inox · GitLab

Snippets Groups Projects

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 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
Nov 15, 2012
- Moar files · 70a81d20
  Etienne Kneuss authored 12 years ago
  
  70a81d20