Commits · 01b3ade6cd092cd4997dbba8c2d7f5c16f313f58 · LARA / inox · GitLab

Snippets Groups Projects

Feb 15, 2016
- Ignored troublesome test (fairz3 ignoring timeout) · 01b3ade6
  Nicolas Voirol authored 9 years ago
  
  01b3ade6
- Finishing up optimized quantification · 1ae235ce
  Nicolas Voirol authored 9 years ago
  
  1ae235ce
Feb 02, 2016
- Uniform way of detecting solvers, making sure latest versions of CVC4 work. · 5513dab8
  Etienne Kneuss authored 9 years ago
  
  5513dab8
Feb 01, 2016
- Proper graph library to encode callgraph and what not · 46211591
  Etienne Kneuss authored 9 years ago
  
  46211591
Dec 10, 2015
- Fix OutOfBounds · d58ad346
  Manos Koukoutos authored 9 years ago
  
  d58ad346
- Add these tests back · 57f29055
  Manos Koukoutos authored 9 years ago
  
  57f29055
Dec 07, 2015
- Optimization for && and || short-circuiting · 4dd4ad69
  Nicolas Voirol authored 9 years ago
  
  4dd4ad69
Dec 06, 2015
- More fixes for the && and || short-circuiting · 6de88b1e
  Nicolas Voirol authored 9 years ago
  
  6de88b1e
Oct 19, 2015
- Break down slow test suites · cec93641
  Manos Koukoutos authored 9 years ago
  
  cec93641