cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
23,454 Commits 348 Branches 121 Tags
smallRevertOptimization
Commit Graph
174 Commits
Author SHA1 Message Date
Leo Alt 3e1e43f569 use new z3 2023-03-28 14:37:01 +02:00
Nikola Matic b6df64e4fd Set version to 0.8.20 2023-02-22 19:41:03 +01:00
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