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
14,737 Commits 348 Branches 121 Tags 100 MiB
17ed0f0898
Commit Graph

34 Commits

Author SHA1 Message Date
Daniel Kirchner
b3174db322 Update PPA build script for Z3 to version 4.8.6. And add eoan to Z3 and release PPA script. 2019-11-11 14:55:00 +01:00
Daniel Kirchner
bd105ad4b1 Experimental static Z3 PPA script. 2019-08-13 16:19:18 +02:00
Daniel Kirchner
2f48bd6fb9 Remove ubuntu cosmic (EOL July 18, 2019) from release script. 2019-08-12 11:36:48 +02:00
Christian Parpart
cb5df90251
Change the way release_ppa.sh treats branches. 
Only release branch is treated release branch,
and everything else is treated a development branch.
 2019-07-22 14:49:30 +02:00
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