Commit Graph

172 Commits

Author SHA1 Message Date
Nikola Matić
5f0f91974a
Revert "Set version to 0.8.20" 2023-02-22 13:27:50 +01:00
Nikola Matic
02b02f507d Set version to 0.8.20 2023-02-22 12:17:21 +01:00
Rodrigo Q. Saramago
e735ff1a95
Set version to 0.8.19 2023-02-01 20:24:50 +01:00
Leo Alt
d5c6fd881b update docs on the required z3 version 2022-12-16 13:05:40 +01:00
Leo Alt
be0149dd47 new z3 version in cmakelist 2022-11-24 13:08:06 +01:00
chriseth
5950ec306b Code to output performance metrics for optimizer steps. 2022-11-22 18:44:01 +01:00
Kamil Śliwak
3b524455c6 Set version to 0.8.18 2022-09-08 17:59:54 +02:00
Leo Alt
16c0838f75 Update docker images and tests 2022-08-30 11:51:59 +02:00
Yuvraj Singh
9290ccb908 Added build flag to disable pedantic builds 2022-08-11 15:10:53 +02:00
Kamil Śliwak
cc11c6f3d5 Set version to 0.8.17 2022-08-08 15:24:48 +02:00
Daniel Kirchner
60004acfe9 Set version to 0.8.16. 2022-06-15 18:32:15 +02:00
chriseth
79554b9a40 Set version to 0.8.15. 2022-05-17 18:03:53 +02:00
Leo Alt
6a126f6ccb Update tests and hashes for z3 4.8.17 2022-05-13 15:25:10 +02:00
Leo Alt
4fd7de36f1 update smt tests z3 4.8.16 2022-05-03 14:23:27 +02:00
chriseth
e786bf9b5a Set version to 0.8.14. 2022-03-16 14:38:15 +01:00
chriseth
65ba798caf Set version to 0.8.13 2022-02-16 16:12:18 +01:00
Leo Alt
9f171c0f06 update smtchecker tests for new z3 2022-01-12 15:13:34 +01:00
chriseth
ff181ad129 Set version to 0.8.12. 2021-12-20 16:17:07 +01:00
Leo Alt
406b1fbcec bump docker hashes and z3 version 2021-11-24 20:41:22 +01:00
Kamil Śliwak
cffb7fec27 Set version to 0.8.11 2021-11-09 17:23:33 +01:00
Christian Parpart
3f08b2269a Adds fmtlib as 3rdparty dependency for easier string composition. 2021-10-11 13:35:08 +02:00
Leonardo
6d806359be
Merge pull request #11873 from soroosh-sdi/cmake-check-z3-latest
Require latest Z3 by default and allow relaxing the requirement with `STRICT_Z3_VERSION=OFF`
2021-10-01 12:58:03 +02:00
chriseth
82287bd883 Set version to 0.8.10. 2021-09-29 17:12:04 +02:00
chriseth
b96be377ad Update version. 2021-09-28 17:41:23 +02:00
soroosh-sdi
8b04ac38ab Require latest Z3 by default and allow relaxing the requirement with STRICT_Z3_VERSION=OFF
Signed-off-by: soroosh-sdi <soroosh.sardari@gmail.com>
2021-09-24 22:09:56 +03:30
Leo Alt
5d7a2f37ea Start 0.8.8 2021-08-11 15:30:11 +02:00
chriseth
ef0e902db3 Set version to 0.8.7. 2021-06-22 15:14:53 +02:00
chriseth
1718e58ec1 Set version to 0.8.6. 2021-06-10 17:36:24 +02:00
Alex Beregszaszi
bb19c9e460 Set version to 0.8.5 2021-04-21 20:42:20 +01:00
chriseth
2a9b131a6e Set version to 0.8.4. 2021-03-23 15:58:14 +01:00
chriseth
ed95becb29 Set version to 0.8.3. 2021-03-02 17:55:38 +01:00
chriseth
d7c1028bf7 Set version to 0.8.2. 2021-01-27 16:15:26 +01:00
Daniel Kirchner
cee8ae75c8 Set default build type, if none was specified. 2021-01-14 10:22:50 +01:00
Daniel Kirchner
eac2bcf72f Add range-v3. 2021-01-11 18:44:55 +01:00
chriseth
21ed65d956 Set version to 0.8.1. 2020-12-16 20:08:13 +01:00
chriseth
d0551b67d7 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-10 17:07:56 +01:00
Daniel Kirchner
7308abc084 Allow loading Z3 dynamically at runtime. 2020-12-10 16:47:47 +01:00
chriseth
b045195c1e Merge remote-tracking branch 'origin/develop' into breaking 2020-12-08 17:42:31 +01:00
Daniel Kirchner
2e6693c849 Update version checks in cmake to match debian stable and remove some workarounds. 2020-12-07 18:26:51 +01:00
chriseth
1f3da1d265 Set version to 0.7.6.. 2020-11-18 18:46:11 +01:00
chriseth
6acc94f362 Set version to 0.7.5. 2020-10-19 17:44:15 +02:00
chriseth
ddcb6c04f2 Set version to 0.7.4. 2020-10-07 18:56:56 +02:00
chriseth
46360ba79f Set version to 0.7.3. 2020-09-28 22:27:59 +02:00
chriseth
d58c5f48e4 Set version to 0.7.2. 2020-09-02 16:21:48 +02:00
chriseth
a301f68b1a Set version to 0.8.0. 2020-08-06 16:58:12 +02:00
chriseth
8a136c96e9 Set version to 0.7.1 2020-07-28 17:16:57 +02:00
chriseth
74b9b094c0 Merge remote-tracking branch 'origin/develop' into HEAD 2020-05-20 17:22:47 +02:00
Leonardo Alt
087605ea02 Create libsmtutil 2020-05-20 12:55:18 +02:00
chriseth
79e62f6600 Set version to 0.6.9. 2020-05-14 13:58:00 +02:00
chriseth
14ba31f64c Set version to 0.6.8. 2020-05-04 18:09:10 +02:00