Commits · 1346ea1fafee7c35e04958d23fc4f6cf75039fea · LARA / inox

Apr 22, 2015
- Fix options in NewSolvers Regression · 1346ea1f
  Manos Koukoutos authored 10 years ago
  
  1346ea1f
- Display something when we abort discovery due to too many programs · 1d97ed47
  Etienne Kneuss authored 10 years ago
  
  1d97ed47
- Support InequalitySplit for Int32 · 3e74fe12
  Etienne Kneuss authored 10 years ago
  
  3e74fe12
- Fix printing of empty lists, simplify printing of bigints · c691fe52
  Etienne Kneuss authored 10 years ago
  
  c691fe52
Apr 21, 2015
- Add proof goals to evaluate prooving solvers · 2fd59923
  Etienne Kneuss authored 10 years ago
  
  2fd59923
- small updates · e77a5e5a
  Etienne Kneuss authored 10 years ago
  
  e77a5e5a
- Make sure that all non-graveyard testcases at least compile, test it · 21422e5d
  Etienne Kneuss authored 10 years ago
  
  21422e5d
- Some improvements to installation docs · 28f2686b
  Etienne Kneuss authored 10 years ago
  
  28f2686b
- Fix fullname, improve solver timeouts · 324beff9
  Etienne Kneuss authored 10 years ago
  
  324beff9
Apr 20, 2015
- These functions should not appear in reports · 3a1724f7
  Etienne Kneuss authored 10 years ago
  
  3a1724f7
- Make sure we don't crash in case there is no variables · ff41b7b9
  Etienne Kneuss authored 10 years ago
  
  ff41b7b9
- Fix warning · 216ffee1
  Etienne Kneuss authored 10 years ago
  
  216ffee1
- add a tutorial section · ee03d30e
  Regis Blanc authored 10 years ago
  
  ee03d30e
- structure of verification chapter · 06c1afe2
  Regis Blanc authored 10 years ago
  
  06c1afe2
- fix markup · ffd60978
  Regis Blanc authored 10 years ago
  
  ffd60978
- documenting more · 98cab9be
  Regis Blanc authored 10 years ago
  
  98cab9be
- adapt readme to sphinx for getting-started · f768b50b
  Regis Blanc authored 10 years ago
  
  f768b50b
- good structure for introduction · d217ba87
  Regis Blanc authored 10 years ago
  
  d217ba87
- a more evolved intro · 45046b42
  Regis Blanc authored 10 years ago
  
  45046b42
- Describe the rest of XLang · 736e690a
  Regis Blanc authored 10 years ago
  
  736e690a
- more xlang descriptions · 4202c64e
  Regis Blanc authored 10 years ago
  
  4202c64e
- explaining basic imperative features · 9d0f8a3f
  Regis Blanc authored 10 years ago
  
  9d0f8a3f
- Add xlang section with some basic structure · 24a79f90
  Regis Blanc authored 10 years ago
  
  24a79f90
- some doc · e9f45433
  Etienne Kneuss authored 10 years ago
  
  e9f45433
- doc · 8a37d244
  Etienne Kneuss authored 10 years ago
  
  8a37d244
- Add documentation · 49c4b250
  Etienne Kneuss authored 10 years ago
  
  49c4b250
- Distinguish cvc4 solvers and options for proof and cex · 8c9d5ba5
  Etienne Kneuss authored 10 years ago
  8c9d5ba5
- Add map definition · cdab1dac
  Etienne Kneuss authored 10 years ago
  
  cdab1dac
- Remove test that was not really passing solver checks · d9e04cf6
  Etienne Kneuss authored 10 years ago
  
  d9e04cf6
- No guarantee that defined map entries are not None · a7b80a13
  Etienne Kneuss authored 10 years ago
  
  a7b80a13
- Add import for Set/Map · f590499b
  Etienne Kneuss authored 10 years ago
  
  f590499b
- Leon defines its own Maps · 4ee5234a
  Etienne Kneuss authored 10 years ago
  4ee5234a
Apr 17, 2015
- Apparently builds are sometimes failing, so lets host our own · 0524923c
  Etienne Kneuss authored 10 years ago
  
  0524923c
- Fix test · 634f5761
  Etienne Kneuss authored 10 years ago
  
  634f5761
- Leon defines its own Sets · a86f13a1
  Etienne Kneuss authored 10 years ago
  
  a86f13a1
Apr 16, 2015
- ExpressionGrammar style improvements · c6e7d4e5
  Manos Koukoutos authored 10 years ago
  
  c6e7d4e5
- Update copyright notices · 4c5796bc
  Manos Koukoutos authored 10 years ago
  
  4c5796bc
- Restore new solver tests · a3c764c6
  Manos Koukoutos authored 10 years ago
  
  a3c764c6
- Assert pre -> post for functions under define-funs-rec · 979f7b14
  Manos Koukoutos authored 10 years ago
  
  979f7b14
- Update to the new version of scala-smtlib · a5c459d7
  Manos Koukoutos authored 10 years ago
  
  a5c459d7