| Age | Commit message (Expand) | 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 --with-metasmt-d... | Hoang M. Le |
| 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 |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |
path: root/MetaSMT.mk