Leo Alt
e6f099db92
bring ubuntu2004 back
2023-04-05 14:56:03 +02:00
Leo Alt
f72e61ccbe
update z3 in docker files
2023-04-05 14:56:03 +02:00
Kamil Śliwak
a1fbf6b097
Merge pull request #14020 from krvaibhaw/develop
...
Update Solidity scripts to remove unencrypted git protocol
2023-04-04 15:05:39 +02:00
Leo Alt
3e1e43f569
use new z3
2023-03-28 14:37:01 +02:00
Vaibhaw
6b73afae44
Removing unencrypted git protocol
2023-03-16 11:42:42 +01:00
Leo Alt
21c0f78650
Report safe properties in BMC and CHC
2023-03-09 14:59:32 +01:00
Kamil Śliwak
817a57b365
Use std:: prefix with std::forward() as well to satisfy Clang
2023-03-06 18:20:49 +01:00
Daniel Kirchner
17bb4d8b03
Revert debian compatibility for ubuntu focal support.
2023-02-22 20:46:22 +01:00
Kamil Śliwak
18b42dccd6
Merge pull request #13973 from ethereum/static-build-2004
...
Restore static ubuntu 20.04 release builds
2023-02-20 15:30:03 +01:00
Rodrigo Q. Saramago
930c8c0753
Restore static ubuntu 20.04 release builds
2023-02-20 14:27:30 +01:00
Zachinquarantine
45a3d8228d
Removed folder scripts/endToEndExtraction/
2023-02-17 16:10:22 -03:00
Kamil Śliwak
89c4ee6942
Add a script for generating a list of contributors to paste in release notes
2023-02-14 14:39:55 +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
Rodrigo Q. Saramago
828f95ad9e
Fix pylint 2.16 warnings
2023-02-01 10:39:00 -03:00
Rodrigo Q. Saramago
d9d9ab30a2
Update default evm version to paris
2023-01-30 17:57:08 +01:00
Rodrigo Q. Saramago
ef6ff2f055
Adds support for the EVM version "Paris".
...
Deprecates `block.difficulty` and disallow `difficulty()` in inline assembly for EVM versions >= paris.
The change is due to the renaming introduced by EIP-4399 (see: https://eips.ethereum.org/EIPS/eip-4399 ).
Introduces `block.prevrandao` in Solidity and `prevrandao()` in inline assembly for EVM versions >= paris.
Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>
Co-authored-by: Daniel <daniel@ekpyron.org>
Co-authored-by: matheusaaguiar <95899911+matheusaaguiar@users.noreply.github.com>
Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
2023-01-23 18:50:36 +00:00
Rodrigo Q. Saramago
b1f728efcd
Remove hera build
2023-01-12 11:47:14 +01:00
Rodrigo Q. Saramago
b07ccd56e1
Add CLN library
2023-01-12 11:47:14 +01:00
Rodrigo Q. Saramago
43032433fd
Rename buildpack-deps ci scripts
2023-01-12 11:47:14 +01:00
Rodrigo Q. Saramago
0178024903
Reset label version for new image
2023-01-12 11:47:14 +01:00
Rodrigo Q. Saramago
904afd8963
Rename ubuntu dockerfiles
2023-01-12 11:47:14 +01:00
Rodrigo Q. Saramago
a01936d5fc
Bumping ubuntu images to use boost 1_74_0
2023-01-12 11:47:14 +01:00
Rodrigo Q. Saramago
d4f9383185
Drop ewasm from tests
2023-01-12 09:08:39 +01:00
Leo Alt
15b062e466
Fix emscripten docker hash
2022-11-28 21:06:51 +01:00
Rodrigo Q. Saramago
cf5d0d3f8b
Let the nightlies call themselves 'nightly', the return.
...
Co-authored-by: Kamil Śliwak <cameel2@gmail.com>
2022-11-25 11:53:57 +01:00
Alexander Arlt
fe68200f30
[tests] Refactor scripts/ASTImportTest.sh. ( #13576 )
...
* [tests] Refactor scripts/ASTImportTest.sh.
Co-authored-by: Nuno Santos <nuno.santos@ethereum.org>
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2022-11-24 16:16:16 +01:00
Leo Alt
e51d2ca5e9
update docker images with z3 4.11.2
2022-11-24 14:46:49 +01:00
Leo Alt
87d277ec05
avoid unused error codes
2022-11-24 13:08:06 +01:00
Leo Alt
f3d7dfba82
use new docker images
2022-11-24 13:08:06 +01:00
Leo Alt
24df40de9a
Allow running Eldarica from the command line
2022-11-22 21:16:45 +01:00
Alex Beregszaszi
eb8af2caec
Add basic support for the EVM version Paris
...
This mostly means testing with evmone, but instruction renaming of difficulty->prevrandao is omitted.
2022-11-21 14:56:46 +01:00
Nikola Matić
2fb7205dd3
Merge pull request #13532 from ethereum/evmc-update
...
Upgrade to evmc10 + evmone9
2022-11-10 02:10:29 -05:00
Alex Beregszaszi
47ed36e0db
Upgrade CI and download instructions to evmone 0.9.1 and hera 0.6.0
2022-11-09 21:27:40 +01:00
Alex Beregszaszi
c50f190c02
Upgrade to evmone 0.9.1 and hera 0.6.0 in buildpack
2022-11-04 10:27:45 +01:00
Kamil Śliwak
fe118abb53
CI: Switch from deprecated circleci/buildpack-deps image to cimg/base
2022-10-26 18:22:03 +02:00
Kamil Śliwak
fb3d0a874e
Merge pull request #13643 from ethereum/ext-gp2-bug-fix
...
Fix gp2 ext test failing to build, not being able to resolve the the keyv dependency
2022-10-24 13:06:21 +02:00
Rodrigo Q. Saramago
bc7567244a
Remove ens fork
2022-10-23 17:58:13 -03:00
Rodrigo Q. Saramago
be0f633966
Update gp2 fork
2022-10-21 16:59:50 -03:00
Kamil Śliwak
9800e19df6
Merge pull request #13527 from ethereum/git-safe-directory-workaround
...
Add git `safe.directory` workaround in emscripten build script
2022-10-21 15:47:42 +02:00
Rodrigo Q. Saramago
9dbc3e0b82
Add git safe.directory workaround in emscripten build script
...
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2022-10-20 19:43:18 -03:00
Rodrigo Q. Saramago
6c167374f7
Disable FETCHCONTENT_FULLY_DISCONNECTED on ppa release
2022-10-05 10:13:55 +02:00
Nikola Matic
1f6a299062
Add a check for unqualified move
2022-09-05 16:05:14 +02:00
Leo Alt
cbcd8a724b
Update z3 to 4.11.0
2022-08-30 12:52:22 +02:00
Leo Alt
16c0838f75
Update docker images and tests
2022-08-30 11:51:59 +02:00
Mathias L. Baumann
5a3ae1a583
Merge pull request #13422 from ethereum/cleanup-z3-script
...
Cleanup static z3 script to work similar to release_ppa
2022-08-29 14:51:39 +02:00
Leo Alt
e99e93ff5b
Fix pylint warning
2022-08-29 11:50:29 +02:00
Marenz
484c9d3ff0
Update docker images for emscripten.
2022-08-25 17:09:46 +02: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
Marenz
35870549db
Dockerfile.emscripten: Use `&& instead of ;` everywhere
2022-08-25 13:08:13 +02:00
