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
13,492 Commits 348 Branches 121 Tags
v0.5.8
Commit Graph
30 Commits
Author SHA1 Message Date
chriseth 5c50e8fa99 Switch from Z3 to CVC4 as SMT solver for Ubuntu PPA. 2019-02-06 15:48:07 +01:00
chriseth 8c4c581eed Add disco. 2019-01-22 22:26:38 +01:00
chriseth 0a3beb72f2 Some improvements to the ppa release script. 2019-01-22 18:22:54 +01:00
Christian Parpart b7eaa4f8d3 Ensuring we use at least boost 1.65, build static on Xenial, and adapt CircleCI accordingly. 2019-01-14 16:10:26 +01:00
Daniel Kirchner 60d7cc6049 Replace trusty PPA build by static PPA build. 2018-12-12 17:05:59 +01:00
Christian Parpart 5b86e3ec50 Enables C++14 standard (was C++11) within the Solidity compiler project. 2018-12-11 21:28:05 +01:00
chriseth 199a994e28 Update ubuntu versions. 2018-10-30 15:57:14 +01:00
Daniel Kirchner a102f3b783 Remove trailing whitespace for all files in the repository. 2018-09-04 11:30:30 +02:00
chriseth 166a9e08e7 Use new PGP key and retire old ubuntu releases. 2018-06-21 20:29:16 +02:00
Alexander Arlt 0b49fd3493 CMake: Update jsoncpp to v1.8.4 2018-04-23 11:10:39 +01:00
chriseth 6a747ed229 Support bionic. 2018-04-17 07:56:10 +02:00
chriseth ca0e323f9f Fix PPA script. 2018-02-14 16:45:00 +01:00
Matthew Halpern da36c82a0a Allow lllc to be installed 2018-02-13 10:20:43 +00:00
chriseth c5318cce09 Add artful to releases. 2017-12-28 19:00:12 +01:00
chriseth 6dd7f6284b Require libz3-dev for ubuntu PPA builds. 2017-08-24 12:04:50 +02:00
chriseth 758ad3594d Some fixes for the PPA release scripts. 2017-07-04 12:12:37 +02:00
Alex Beregszaszi f13feed7f2 Add script to retrieve version 2017-07-01 11:25:02 +01:00
chriseth bf5c6b7acb Remove wily and add zesty. 2017-05-05 12:50:54 +02:00
chriseth dc8a5f4ef5 Fetch jsoncpp tarball during ppa release. 2016-11-08 16:41:25 +01:00
Paweł Bylica 598154ed17 Drop CryptoPP leftovers 
Especially, do not compile CryptoPP for Emscripten.
 2016-11-08 01:16:31 +01:00
Paweł Bylica 4bde0a2d36 Build jsoncpp from source using jsoncpp.cmake script 2016-10-20 22:18:13 +01:00
chriseth 0f08c1366b Use "develop" for debian version name. 2016-09-17 18:37:47 +02:00
chriseth af86bfb07d Force commit hash to 8 digits. 2016-09-15 01:47:37 +02:00
chriseth 29ecc6fe31 Remove leading zeroes in prerelease components. 2016-09-09 14:23:33 +02:00
chriseth 4588eda622 Store commit hash and handle prerelease vor all automation tools. 2016-08-26 10:14:44 +02:00
chriseth 6f02de791e Fix ppa script. 2016-08-10 21:03:59 +02:00
chriseth 39ced1ba55 Make aware of branches and only create source tarball once. 2016-08-10 14:46:59 +02:00
chriseth e404d42f60 Correct jsoncpp versions. 2016-08-10 14:46:59 +02:00
chriseth ff08a8fab0 Do not compile sphinx docs for now, so we get to a workable state. 2016-08-10 14:46:59 +02:00
chriseth 7aa344a5e8 PPA release script, still work in progress. 2016-08-10 14:46:59 +02:00