Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-08-08 | Add subdirectories to contrib for competition scripts (#3164) | Andrew Reynolds | |
2017-06-18 | Better configuration for QF_NRA | Andres Noetzli | |
2017-06-16 | Change language in competition script to smt2.6 (#171) | Andres Nötzli | |
* Change language in competition script to smt2.6 The benchmark scrambler for the application track cuts out the :smt-lib-version command, so this commit sets it manually to 2.6 (all benchmarks in SMT-COMP use the 2.6 standard) instead of 2.0. I have not seen any failures due to that but might as well be prudent. * Change language in competition script to smt2.6 The benchmark scrambler (at least for the application track) cuts out the :smt-lib-version command, so this commit sets it manually to 2.6 (all benchmarks in SMT-COMP use the 2.6 standard) instead of 2.0. I have not seen any failures due to that but might as well be prudent. | |||
2017-06-03 | Minor to smt comp script. | ajreynol | |
2017-06-02 | Incorporate datatypes into smt comp script, add regression. | ajreynol | |
2017-06-01 | Minor optimizations related to cbqi. | ajreynol | |
2017-05-31 | Fix model construction for BV with cbqi. Minor change to defaults. | ajreynol | |
2017-05-31 | Change to-int, div, int-div skolems from CDAttribute to stored in CDHashMap. ↵ | ajreynol | |
Minor changes to smt comp script. | |||
2017-05-31 | Minor change to defaults, update smt comp script, minor changes to options ↵ | ajreynol | |
in regressions. | |||
2017-05-22 | Initial draft of 2017 competition scripts. | ajreynol | |