Commits · 9a05ae052faa79d2085c3a8f458b6063493bc8d0 · LARA / inox · GitLab

Snippets Groups Projects

Nov 19, 2012
- 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 17, 2012
- sec2time synthesized but too complicated to read and understand · d0e7ae01
  Régis Blanc authored 12 years ago
  
  d0e7ae01
Nov 16, 2012
- some refactoring of inequality solver · 1915ae9a
  Régis Blanc authored 12 years ago
  
  1915ae9a
- fix base case · 0a79ab7a
  Régis Blanc authored 12 years ago
  
  0a79ab7a
Nov 15, 2012
- CEGIS is now faster, and also actually correct. · 5312899d
  Etienne Kneuss authored 12 years ago
  
  5312899d
- simplify integer equation synthesis · d4560551
  Régis Blanc authored 12 years ago
  
  d4560551
- fix the commit · 07e55590
  Régis Blanc authored 12 years ago
  
  07e55590
- Moar files · 70a81d20
  Etienne Kneuss authored 12 years ago
  
  70a81d20