Commits · d4a579b11fdb427c4776398eaf978b9ae6a37a5d · LARA / inox

Apr 23, 2015
- This makes it much more readable · d4a579b1
  Etienne Kneuss authored 9 years ago
  
  d4a579b1
- Some improvements for the theme · 0de006a6
  Etienne Kneuss authored 9 years ago
  
  0de006a6
- Notes were too visible · f2b65796
  Etienne Kneuss authored 9 years ago
  
  f2b65796
- Leon Layout · bd10fc2f
  Etienne Kneuss authored 9 years ago
  
  bd10fc2f
- Mostly started to talk about a tutorial · 62c3d200
  Viktor Kuncak authored 9 years ago
  
  62c3d200
- Size should be a bigint, otherwise we have overflows in large trees · b9130af8
  Etienne Kneuss authored 9 years ago
  
  b9130af8
- doc: small fixes in installation mostly · 4faeafe3
  Viktor Kuncak authored 9 years ago
  
  4faeafe3
- introduce verification conditions · 789ba7ea
  Regis Blanc authored 10 years ago
  
  789ba7ea
Apr 22, 2015
- Fix options in NewSolvers Regression · 1346ea1f
  Manos Koukoutos authored 9 years ago
  
  1346ea1f
- Display something when we abort discovery due to too many programs · 1d97ed47
  Etienne Kneuss authored 9 years ago
  
  1d97ed47
- Support InequalitySplit for Int32 · 3e74fe12
  Etienne Kneuss authored 9 years ago
  
  3e74fe12
- Fix printing of empty lists, simplify printing of bigints · c691fe52
  Etienne Kneuss authored 9 years ago
  
  c691fe52
Apr 21, 2015
- Add proof goals to evaluate prooving solvers · 2fd59923
  Etienne Kneuss authored 9 years ago
  
  2fd59923
- small updates · e77a5e5a
  Etienne Kneuss authored 9 years ago
  
  e77a5e5a
- Make sure that all non-graveyard testcases at least compile, test it · 21422e5d
  Etienne Kneuss authored 9 years ago
  
  21422e5d
- Some improvements to installation docs · 28f2686b
  Etienne Kneuss authored 9 years ago
  
  28f2686b
- Fix fullname, improve solver timeouts · 324beff9
  Etienne Kneuss authored 9 years ago
  
  324beff9
Apr 20, 2015
- These functions should not appear in reports · 3a1724f7
  Etienne Kneuss authored 9 years ago
  
  3a1724f7
- Make sure we don't crash in case there is no variables · ff41b7b9
  Etienne Kneuss authored 9 years ago
  
  ff41b7b9
- Fix warning · 216ffee1
  Etienne Kneuss authored 9 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 9 years ago
  
  --solvers=smt-cvc4-cex --solvers=smt-cvc4-proof Update scala-smtlib with support for parsing special DefFunsRec
  8c9d5ba5
- Add map definition · cdab1dac
  Etienne Kneuss authored 9 years ago
  
  cdab1dac
- Remove test that was not really passing solver checks · d9e04cf6
  Etienne Kneuss authored 9 years ago
  
  d9e04cf6
- No guarantee that defined map entries are not None · a7b80a13
  Etienne Kneuss authored 9 years ago
  
  a7b80a13
- Add import for Set/Map · f590499b
  Etienne Kneuss authored 9 years ago
  
  f590499b
- Leon defines its own Maps · 4ee5234a
  Etienne Kneuss authored 9 years ago
  
  In order to have support for maps, you need to import leon.lang._
  4ee5234a