cerc-io/solidity
16
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,832 Commits 348 Branches 121 Tags 100 MiB
73d582d4b3
Commit Graph

179 Commits

Author SHA1 Message Date
omahs
5b72c4f494 Fix typos 2023-07-19 17:12:15 +02:00
Nikola Matic
c2670e4afb Set version to 0.8.22 2023-07-19 11:03:17 +02:00
Jun Zhang
74a38fc3d8
Fix incorrect CMAKE_SOURCE_DIR usage 
When using solidity as a third-party library (include it into our
project using FetchContent), we encountered a strange compilation error.
For some reason, cmake considers the root directory of the project as
the root directory of the dependency (solidity). This is because
solidity is incorrectly using CMAKE_SOURCE_DIR variable, which should be
PROJECT_SOURCE_DIR (The former one refers to the top-level source
directory that contains a CMakeLists.txt, while the latter refers to the
source directory of the most recent project() command)

I've created a repo for demonstration (https://github.com/junaire/test-solidity-fetch-content)

Signed-off-by: Jun Zhang <jun@junz.org>
 2023-06-08 19:17:34 +08:00
Nikola Matic
47969adf91 Experimental standard library 
Change import syntax and cover with tests
 2023-06-06 17:16:23 +02:00
Daniel Kirchner
4b67dea8e2 Set version to 0.8.21. 2023-05-10 17:55:52 +02:00
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