Commits · 09b7a816fb25733e7adba12f8764f7f3e57560f6 · LARA / inox

Aug 16, 2016
- 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
- SolverFactory from name, better options · 15e9de09
  Nicolas Voirol authored 8 years ago
  
  15e9de09
Aug 08, 2016
- BVNot in printers · 164e7e7e
  Nicolas Voirol authored 8 years ago
  
  164e7e7e
- Fixing up defaults · 8e19fa3c
  Nicolas Voirol authored 8 years ago
  
  8e19fa3c
- Cleaning up useless files · 62e5a3ba
  Nicolas Voirol authored 8 years ago
  
  62e5a3ba
- Some work on printers · c511a743
  Manos Koukoutos authored 8 years ago
  
  c511a743
- GrammarDataGen, EnumerationSolver · 3560caf3
  Manos Koukoutos authored 8 years ago
  
  3560caf3
- Remove implicit contexts from grammars · c8002a7b
  Manos Koukoutos authored 8 years ago
  
  c8002a7b
- Tidy up · 1249ca17
  Manos Koukoutos authored 8 years ago
  
  1249ca17
- Remove prefix from SMTLIB solvers · 949f4d40
  Manos Koukoutos authored 8 years ago
  
  949f4d40
- Type parameters not needed here · 2cb8a5a5
  Manos Koukoutos authored 8 years ago
  
  2cb8a5a5
- Fix == bugs/ run Intellij inspection · fb90ceb3
  Manos Koukoutos authored 8 years ago
  
  fb90ceb3
- Add user options to CVC4 · d7579cef
  Manos Koukoutos authored 8 years ago
  
  d7579cef