| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-05-02 | use METASMT_REQUIRE_RTTI flag to decide whether we need RTTI | Hoang M. Le | |
| 2016-06-10 | rename the configure option --with-metasmt-default-solver to ↵ | Hoang M. Le | |
| --with-metasmt-default-backend and improve the associated CXX flag | |||
| 2016-06-10 | use default metaSMT solver as defined in configuration | Hoang M. Le | |
| 2016-06-10 | add metaSMT to travis | Hoang | |
| 2016-06-10 | update Makefile for metaSMT | Hoang M. Le | |
| 2016-01-14 | Refactor the MetaSMT makefile commands into its own file which can | Dan Liew | |
| be included by tools that needs to link against MetaSMT. Apart from making the Makefile code cleaner this allowed the Solver unit test linking to succeed when not building with STP support. Unfortunately when using MetaSMT as the core solver the Solver unit tests do not pass. Clearly no one tried this before... :( | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |
path: root/MetaSMT.mk