Commits · b76f07b669b99323016cbeb45314dabcab1d6230 · LARA / inox · GitLab

Snippets Groups Projects

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
- More solver tests and test princess solver · 4b7b067a
  Nicolas Voirol authored 8 years ago
  
  4b7b067a
- More theory encoders · ee4c7609
  Nicolas Voirol authored 8 years ago
  
  ee4c7609
- Fixed model extraction in smt-z3 · c5ee8cb4
  Nicolas Voirol authored 8 years ago
  
  c5ee8cb4
Nov 27, 2016
- Support mod, rem and div in princess solver · a97bad8c
  Nicolas Voirol authored 8 years ago
  
  a97bad8c
- Updated tests for princess solver · 313dbfc3
  Nicolas Voirol authored 8 years ago
  
  313dbfc3
- Ignore compilation warnings from scala-smtlib and princess · 234ba160
  Nicolas Voirol authored 8 years ago
  
  234ba160
- More fixes to princess solver · 5307b782
  Nicolas Voirol authored 8 years ago
  
  5307b782
- Added integer -> expr translation for princess model extraction · 830eadbe
  Nicolas Voirol authored 8 years ago
  
  830eadbe
Nov 26, 2016
- More support in Princess solver · 49ef0549
  Nicolas Voirol authored 8 years ago
  
  49ef0549
- More powerful equality templates + some bug fixes · 25ce56c8
  Nicolas Voirol authored 8 years ago
  
  25ce56c8
- Utility for bestRealType on type parameters · a6442bfa
  Nicolas Voirol authored 8 years ago
  
  a6442bfa
- Fix in set encoding · 923d5293
  Nicolas Voirol authored 8 years ago
  
  923d5293
Nov 25, 2016
- Simpler set encoder · 92b07330
  Nicolas Voirol authored 8 years ago
  
  92b07330
- Extended princess support · 041a227c
  Nicolas Voirol authored 8 years ago
  
  041a227c
- Finished up refactoring, got equality running in tests · bd1e7fad
  Nicolas Voirol authored 8 years ago
  
  bd1e7fad
- Refactorisation of TemplateGenerator into related components · 1ffe152b
  Nicolas Voirol authored 8 years ago
  
  1ffe152b
Nov 24, 2016
- Fixing bugs in equality and theory encoders · 742500e1
  Nicolas Voirol authored 8 years ago
  
  742500e1
- Fixed some condVars <-> exprVars switcharounds · 96180be0
  Nicolas Voirol authored 8 years ago
  
  96180be0
- Allow existential types in theories pipeline · 116a4f7c
  Nicolas Voirol authored 8 years ago
  
  116a4f7c
- Forgot extractors for new equality annotation · 0c600b60
  Nicolas Voirol authored 8 years ago
  
  0c600b60
- Added set encoder · e5ca7811
  Nicolas Voirol authored 8 years ago
  
  e5ca7811
- Equality manager in unrolling solver · ef5f9ef8
  Nicolas Voirol authored 8 years ago
  
  ef5f9ef8
Nov 23, 2016
- Some fixes in Princess solver · 48320c10
  Nicolas Voirol authored 8 years ago
  
  48320c10
- Better program transformers · 4d752c1b
  Nicolas Voirol authored 8 years ago
  
  4d752c1b