Commit Graph

147 Commits

Author SHA1 Message Date
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
chriseth
557c3ef767 Set version to 0.6.7. 2020-04-09 16:50:31 +02:00
chriseth
51883958ab Merge remote-tracking branch 'origin/develop' into breaking 2020-04-07 11:14:28 +02:00
chriseth
0988ee641b Set version to 0.6.6. 2020-04-06 18:12:21 +02:00
Martin Lundfall
6474a35862 CMakeLists: ensure OSX deployment target supports std::visit 2020-03-26 11:41:51 +01:00
chriseth
f8344cb4df Set version to 0.6.5 2020-03-10 21:08:03 +01:00
chriseth
06ad5b3200 Merge remote-tracking branch 'origin/develop' into HEAD 2020-02-27 15:06:36 +01:00
chriseth
9dd9a68c08 Set version to 0.6.4. 2020-02-18 16:42:02 +01:00
Erik Kundt
f2701db0aa Adds documentation for Solidity source upgrader. 2020-02-05 16:52:54 +01:00
chriseth
c8994d9ee2 Set version to 0.6.3. 2020-01-27 18:57:33 +01:00
Alex Beregszaszi
1ee4b9dc3b Remove the LLL compiler 2020-01-15 13:18:18 +00:00
chriseth
4d681fb16d Merge remote-tracking branch 'origin/develop' into HEAD 2020-01-14 16:43:48 +01:00
chriseth
12b52ae637
Merge pull request #8096 from ethereum/incrementVersion
Set version to 0.6.2.
2020-01-08 09:19:35 +01:00
Christian Parpart
345f9928ab Library libdevcore renamed to libsolutil. 2020-01-07 15:51:50 +01:00
chriseth
b269eef721 Set version to 0.6.2. 2020-01-03 13:38:17 +01:00
Erik Kundt
2c478e85e2 Sets project version to 0.7.0 2019-12-19 12:44:38 +00:00
chriseth
c7f75bd9dc Set version to 0.6.1. 2019-12-18 00:04:39 +01:00
Erik Kundt
36271beca8 Sets project version to 0.6.0. 2019-09-19 20:08:55 +02:00
Christian Parpart
e91c6acbc3 Defaulting to C++17 for building. 2019-08-13 16:19:18 +02:00
chriseth
445376ef7c Set version to 0.5.12. 2019-08-13 00:18:10 +02:00
Christian Parpart
810a0de1aa Add evmc and host interface implementation. Modify fuzzer harness to make use of evmc host/vm. 2019-07-17 10:55:33 +02:00
chriseth
461b566603 Set version to 0.5.11. 2019-06-25 19:03:51 +02:00
Daniel Kirchner
502d22a26e
Merge pull request #6914 from ethereum/boost170
Use imported targets for boost and update emscripten boost to 1.70.
2019-06-12 15:26:24 +02:00
Daniel Kirchner
a445df63cf Require cmake 3.5. 2019-06-06 18:49:25 +02:00
Daniel Kirchner
5370af50e3 Attempt to workaround for older cmake versions. 2019-06-06 16:16:55 +02:00
Daniel Kirchner
f21d5ab839 CMake error for big endian systems. 2019-06-06 14:08:27 +02:00