Commits · ce6ef073f149a3adb4cae27953c59980bdfddcf4 · LARA / inox · GitLab

Snippets Groups Projects

Jan 03, 2013
- 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