Commits · v1.0 · LARA / inox

Dec 28, 2016
- Fixed scaladoc links and updated build.sbt to point to maven deps · 7de53baf
  Nicolas Voirol authored 8 years ago
  
  v1.0
  
  7de53baf
Dec 24, 2016
- Some enhancement to model-finding mode · 545b280d
  Nicolas Voirol authored 8 years ago
  
  545b280d
Dec 23, 2016
- Some cleanup in .gitignore · a7370d6c
  Nicolas Voirol authored 8 years ago
  
  a7370d6c
- Test for function merging · e6ff25cb
  Nicolas Voirol authored 8 years ago
  
  e6ff25cb
- Better function merging · cadecf14
  Nicolas Voirol authored 8 years ago
  
  cadecf14
- Fixes for function merging transformation · fce731b1
  Nicolas Voirol authored 8 years ago
  
  fce731b1
- Fixed missing blockers in quantified propositions · a13e7265
  Nicolas Voirol authored 8 years ago
  
  a13e7265
Dec 22, 2016
- Function call merging optimization · 698bbbf0
  Nicolas Voirol authored 8 years ago
  
  698bbbf0
Dec 21, 2016
- Trying out model-finding optimizations · 589abfaf
  Nicolas Voirol authored 8 years ago
  
  589abfaf
- Finished fixing timeouts · 512a9c55
  Nicolas Voirol authored 8 years ago
  
  512a9c55
- Made timeout kill solver immediately · 3a3dcccf
  Nicolas Voirol authored 8 years ago
  
  3a3dcccf
- Update README.md · 91721691
  Nicolas Voirol authored 8 years ago
  
  91721691
- Added princess fallback in solver factory · 418274b8
  Nicolas Voirol authored 8 years ago
  
  418274b8
- Update tutorial.md · e921886d
  Nicolas Voirol authored 8 years ago
  
  e921886d
Dec 20, 2016
- Create tutorial.md · 7ea0c1c1
  Nicolas Voirol authored 8 years ago
  
  7ea0c1c1
- Update API.md · b0afaf48
  Nicolas Voirol authored 8 years ago
  
  b0afaf48
- Update API.md · 792aae71
  Nicolas Voirol authored 8 years ago
  
  792aae71
- Start on documentation · 7b097673
  Nicolas Voirol authored 8 years ago
  
  7b097673
- Fixed interruption mechanism in SMTLIBTarget · 25943112
  Nicolas Voirol authored 8 years ago
  
  25943112
Dec 19, 2016
- Small API changes in Paths · a2d70967
  Nicolas Voirol authored 8 years ago
  
  a2d70967
- Better simplifyLets · d873a479
  Nicolas Voirol authored 8 years ago
  
  d873a479
Dec 18, 2016
- Fix princess solver interrupts · c14f600e
  Nicolas Voirol authored 8 years ago
  
  c14f600e
Dec 15, 2016
- Update tests · 3342894f
  Nicolas Voirol authored 8 years ago
  
  3342894f
- Added flags to Variables and TypeParameters · e5485ca3
  Nicolas Voirol authored 8 years ago
  
  e5485ca3
Dec 13, 2016
- Moved datagen and grammers out of Inox · b76f07b6
  Nicolas Voirol authored 8 years ago
  
  b76f07b6
Dec 12, 2016
- Moved certain constructors out of the symbols object · 27c0c4c9
  Nicolas Voirol authored 8 years ago
  
  27c0c4c9
Dec 08, 2016
- Option category ordering is overridable · 15c314d1
  Nicolas Voirol authored 8 years ago
  
  15c314d1
- Nicer option printing in --help · 38a4dc7d
  Nicolas Voirol authored 8 years ago
  
  38a4dc7d
- Update to GPL V3 · 5566dddb
  Nicolas Voirol authored 8 years ago
  
  5566dddb
Dec 05, 2016
- Removed awesome logo for now · 86e91b4e
  Nicolas Voirol authored 8 years ago
  
  86e91b4e
- Update README.md · 7a46ffc0
  Nicolas Voirol authored 8 years ago
  
  7a46ffc0
- Some work on Inox documentation · 28591f8d
  Nicolas Voirol authored 8 years ago
  
  28591f8d
- Update some documentation · 94a60883
  Nicolas Voirol authored 8 years ago
  
  94a60883
- Added basic help message printing · a030410e
  Nicolas Voirol authored 8 years ago
  
  a030410e
- Make sure modelEvaluators ignore contracts in UnrollingSolvers · fa069119
  Nicolas Voirol authored 8 years ago
  
  fa069119
- Avoid adding true literals as blockers · 4341e47a
  Nicolas Voirol authored 8 years ago
  
  4341e47a
- Temporarily ignore spuriously failling princess tests · c57bef09
  Nicolas Voirol authored 8 years ago
  
  c57bef09
Dec 02, 2016
- Remove equality function application from set of matchers · 9c0aead3
  Nicolas Voirol authored 8 years ago
  
  9c0aead3
Nov 30, 2016
- Added svn+credentials resolver scheme to sbt build · 270578f2
  Nicolas Voirol authored 8 years ago
  
  270578f2
- Extend supported fragment in AbstractPrincessSolver · 382f1a2f
  Nicolas Voirol authored 8 years ago
  
  382f1a2f