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,453 Commits 348 Branches 121 Tags 100 MiB
77af0b41df
Commit Graph

27 Commits

Author SHA1 Message Date
Vaibhaw
6b73afae44
Removing unencrypted git protocol 2023-03-16 11:42:42 +01:00
Daniel Kirchner
17bb4d8b03 Revert debian compatibility for ubuntu focal support. 2023-02-22 20:46:22 +01:00
Michał Janiszewski
6f285ad197 Update debian/compat to version 13 
Compat version 13 is currently the recommended one.

An important change introduced in 10 was change of default to target parallel builds

5d1bb29841/debhelper.pod (compatibility-levels)
 2023-02-03 20:56:25 +01:00
Marenz
c5e9b6e666 static_z3.sh: Update releases to include only maintained ones 2022-08-25 15:18:55 +02:00
Marenz
0475ec81f0 Cleanup static z3 script to work similar to release_ppa 2022-08-25 15:18:55 +02:00
Daniel Kirchner
080d2f7868 Fix release ppa script. 2022-06-15 22:48:06 +02:00
Daniel Kirchner
edd769a6dc Update Z3 deps ppa script. 2022-05-13 17:46:42 +02:00
Marenz
1ccdb92cdb Update version & distributions for static z3 script 2022-05-05 15:27:18 +02:00
Daniel Kirchner
38545e81c1 Update docker images to Z3 4.8.14. 2022-01-12 19:28:20 +01:00
Daniel Kirchner
5597d43635 Add impish to static Z3 PPA script. 2022-01-03 14:03:40 +01:00
chriseth
3b98bee29a Update z3 version. 2021-11-23 14:05:59 +01:00
Daniel Kirchner
88b5be4224 Update Z3 version to 4.8.12 in PPA script and add static binary package. 2021-08-09 11:14:03 +02:00
Kamil Śliwak
008d648af3 Fix or disable find/ls related warnings 2021-03-15 12:16:43 +01:00
Kamil Śliwak
e8a70e8e4b Prefix globs with ./ or use -- to make commands safe with files named like command-line options 2021-03-04 16:57:25 +01:00
Kamil Śliwak
27754d3e3d Quote stuff properly 2021-02-01 17:14:38 +01:00
chriseth
1c35c52fbe Update z3 to 4.8.10. 2021-01-25 11:40:31 +01:00
Daniel Kirchner
a3a5d93b34 Drop direct support for Ubuntu 18.04 and switch to static PPA releases for it. 2020-12-07 18:18:41 +01:00
Daniel Kirchner
32a322e3f8 Add groovy to static Z3 deps PPA script. 2020-09-14 23:09:28 +02:00
Daniel Kirchner
1312d547c2 Remove obsolete eoan from static z3 PPA script. 2020-09-14 23:09:28 +02:00
Daniel Kirchner
7288e391e6 Bump Z3 version in static Z3 PPA build to 4.8.9. 2020-09-14 23:09:28 +02:00
Daniel Kirchner
a7f6a4bee6 Update PPA scripts. 2020-05-14 14:12:01 +02:00
chriseth
5ec8202e6e Add Ubuntu Focal. 2020-02-13 22:34:25 +01:00
Christian Parpart
44e892634b Use Python 3 instead of Python 2 (EOL'd) 2020-01-15 14:20:43 +01:00
Daniel Kirchner
c9be3bdf7e Rename cmake option 2019-12-03 15:11:38 +01:00
Daniel Kirchner
e04d8955ab Update to Z3 4.8.7 and cherry-pick build fix commit 2019-12-03 14:41:02 +01:00
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