Commits · 8cb684c380a85ff0a4ffc824c07b95e1b813f608 · LARA / inox

Sep 09, 2015
- Catch Exception in getModel · 8cb684c3
  Manos Koukoutos authored 9 years ago
  
  8cb684c3
Aug 31, 2015
- Remove some dead stuff · f793baed
  Manos Koukoutos authored 9 years ago
  
  f793baed
- Improve Identifier API, and "undefined" errors · 859cfa88
  Manos Koukoutos authored 9 years ago
  859cfa88
Jun 02, 2015
- Decouple ADT-dependencies from solvers · 4128ce89
  Etienne Kneuss authored 9 years ago
  4128ce89
Jun 01, 2015
- Move Option to lang.Option, add Map.get/getOrElse/+ · 1b3e61b0
  Etienne Kneuss authored 9 years ago
  
  1b3e61b0
May 27, 2015
- Maps/Sets have explicit types, remove Empty/NonemptySet/Map · 73ca139b
  Etienne Kneuss authored 9 years ago
  
  73ca139b
May 11, 2015
- No point in naming them Targets if they are Solvers. · 39403227
  Etienne Kneuss authored 10 years ago
  
  39403227
- Encode/Decode chars properly in SMT solvers · 30f322e6
  Etienne Kneuss authored 10 years ago
  
  30f322e6
- Fix identation · fbae1d2b
  Manos Koukoutos authored 10 years ago
  
  fbae1d2b
- Merge SMTLIBSolver with SMTLIBTarget · e3634bc8
  Manos Koukoutos authored 10 years ago
  
  e3634bc8
May 05, 2015
- Fallback to SMT solver in case native interface is unavailable · 86749646
  Etienne Kneuss authored 10 years ago
  
  86749646
Apr 20, 2015
- Distinguish cvc4 solvers and options for proof and cex · 8c9d5ba5
  Etienne Kneuss authored 10 years ago
  8c9d5ba5
Apr 16, 2015
- Update copyright notices · 4c5796bc
  Manos Koukoutos authored 10 years ago
  
  4c5796bc
- Update to the new version of scala-smtlib · a5c459d7
  Manos Koukoutos authored 10 years ago
  
  a5c459d7
Mar 26, 2015
- Upgrade to SMTLIB 2.5 · 8c402795
  Manos Koukoutos authored 10 years ago
  
  8c402795
Mar 18, 2015
- More changes · 940d8b91
  Manos Koukoutos authored 10 years ago
  
  940d8b91
- The name changes you all wanted but were afraid to ask · 73fd0741
  Manos Koukoutos authored 10 years ago
  
  73fd0741
Mar 05, 2015
- update to a more robust smtlib version · f1d7ec44
  Regis Blanc authored 10 years ago
  
  f1d7ec44
- just cleaning up some imports for new version of smtlib · 16278362
  Regis Blanc authored 10 years ago
  
  16278362
Mar 04, 2015
- fix array size in smtlib solvers · 417bfd0a
  Regis Blanc authored 10 years ago
  
  417bfd0a
Feb 13, 2015
- Refactor FiniteArray to an implicit representation · 373c4aba
  Regis Blanc authored 10 years ago
  373c4aba
Feb 12, 2015
- More fixes for lambda equality, got flatMap working!! · e4ba4537
  Nicolas Voirol authored 10 years ago
  e4ba4537
Oct 06, 2014
- Implement maps for CVC4, now that it supports constant arrays · a0474680
  Etienne Kneuss authored 10 years ago
  a0474680
Sep 18, 2014
- FiniteSets should hold Sets, otherwise {1,2} != {2,1} · 42999911
  Etienne Kneuss authored 10 years ago
  
  42999911
Sep 17, 2014
- Fix support with new SMT-Lib API (base + Z3) · 62ed1089
  Etienne Kneuss authored 10 years ago
  
  62ed1089
Sep 16, 2014
- Use most recent version of scala smt-lib · cfa1325d
  Regis Blanc authored 10 years ago
  cfa1325d
- Implement and test everything for smt-z3 · 71d27ef2
  Etienne Kneuss authored 10 years ago
  71d27ef2
- Support get-model for arrays in z3-smt · a451ad7b
  Etienne Kneuss authored 10 years ago
  
  a451ad7b
- Improve/Fix SMTLib solvers · 622d4d8b
  Etienne Kneuss authored 10 years ago
  622d4d8b