Commits · f5d8ed64df3d9513d8483acd281bef5c4224728e · LARA / inox

Sep 09, 2016
- improved slogan · f5d8ed64
  Viktor Kuncak authored 8 years ago
  
  f5d8ed64
- Added Photo · 6afdc80d
  Viktor Kuncak authored 8 years ago
  
  6afdc80d
Sep 01, 2016
- A few small fixes · 3a371576
  Nicolas Voirol authored 8 years ago
  
  3a371576
Aug 30, 2016
- Fixed small typing bug in InductiveUnrollingSuite · ed286908
  Nicolas Voirol authored 8 years ago
  
  ed286908
- Fixed bug with equality of non-free functions · 4f986c85
  Nicolas Voirol authored 8 years ago
  
  4f986c85
Aug 29, 2016
- Definition deconstruction for stainless VarDefs · 22e89278
  Nicolas Voirol authored 8 years ago
  
  22e89278
- More changes to support stainless · b86bbf89
  Nicolas Voirol authored 8 years ago
  
  b86bbf89
Aug 18, 2016
- SimpleSymbols for default symbol implementations · 0f517bdf
  Nicolas Voirol authored 8 years ago
  
  0f517bdf
- Better names in inox ADT support · a3c19dd2
  Nicolas Voirol authored 8 years ago
  
  a3c19dd2
- More changed to accomodate stainless · 07cee88d
  Nicolas Voirol authored 8 years ago
  
  07cee88d
- Fixes and preparation for stainless · fbbca114
  Nicolas Voirol authored 8 years ago
  
  fbbca114
Aug 16, 2016
- Deleted travis config · 6110d402
  Nicolas Voirol authored 8 years ago
  
  6110d402
- Larabot configuration · 09b7a816
  Nicolas Voirol authored 8 years ago
  
  09b7a816
- All integration tests pass · 6f3c0e9c
  Nicolas Voirol authored 8 years ago
  
  6f3c0e9c
Aug 15, 2016
- Added first integration tests, repaired some bugs · 58d97d7f
  Nicolas Voirol authored 8 years ago
  
  58d97d7f
Aug 12, 2016
- Working on integration tests for solvers · 652e5b19
  Nicolas Voirol authored 8 years ago
  
  652e5b19
- Moved extractorSuite test · 68ff24a5
  Nicolas Voirol authored 8 years ago
  
  68ff24a5
Aug 11, 2016
- All unit tests pass · b29c5b71
  Nicolas Voirol authored 8 years ago
  
  b29c5b71
- first batch of unit tests running · 17772124
  Regis Blanc authored 8 years ago
  
  17772124
- Fixed solverPool and Extractors unit tests · 882c3d70
  Nicolas Voirol authored 8 years ago
  
  882c3d70
Aug 10, 2016
- Small fix to SMTLIB bitvector support · d462d349
  Nicolas Voirol authored 8 years ago
  
  d462d349
- Operator follows same abstraction principle as NAryType · 5751f6c8
  Nicolas Voirol authored 8 years ago
  
  5751f6c8
- DatatypeTemplates work without Extractable · 99fe1275
  Nicolas Voirol authored 8 years ago
  
  99fe1275
- Start trans-tree traversals · db38c4e4
  Manos Koukoutos authored 8 years ago
  
  db38c4e4
- Implement bitvectors of any size for SMT · aa0cefb1
  Manos Koukoutos authored 8 years ago
  
  aa0cefb1
- Fix functionsAvailable, add enum solver · 454b6dc4
  Manos Koukoutos authored 8 years ago
  
  454b6dc4
- Remove unneeded utils, small fixes · c5ba0f22
  Manos Koukoutos authored 8 years ago
  
  c5ba0f22
- Started working on tests · dc4c2b7d
  Nicolas Voirol authored 8 years ago
  
  dc4c2b7d
- Documentation · ffaae455
  Manos Koukoutos authored 8 years ago
  
  ffaae455
- AbstractSymbols is now just a Printable · 03170c8a
  Manos Koukoutos authored 8 years ago
  
  03170c8a
Aug 09, 2016
- Removed useless resources · baf0bdea
  Nicolas Voirol authored 8 years ago
  
  baf0bdea
- Reworked checkAssumptions and started work on first tests · 869875a0
  Nicolas Voirol authored 8 years ago
  
  869875a0
- Comments · 9b0f0dc6
  Manos Koukoutos authored 8 years ago
  
  9b0f0dc6
- Remove broken link · 397889fd
  Manos Koukoutos authored 8 years ago
  
  397889fd
- Simplify/ rename in build.sbt · 132d9c35
  Manos Koukoutos authored 8 years ago
  
  132d9c35
- Comments · 1bb1ab11
  Manos Koukoutos authored 8 years ago
  
  1bb1ab11
- Finish printers · 8dd29e18
  Manos Koukoutos authored 8 years ago
  
  8dd29e18
- clean doc · 252fed0b
  Regis Blanc authored 8 years ago
  
  252fed0b
- checkAssumptions for EnumerationSolver, fixed Unsat case · 8cf2104a
  Nicolas Voirol authored 8 years ago
  
  8cf2104a
- checkAssumptions for SMTLIB solvers · 66533da2
  Nicolas Voirol authored 8 years ago
  
  66533da2