Leo Alt
6a126f6ccb
Update tests and hashes for z3 4.8.17
2022-05-13 15:25:10 +02:00
Daniel Kirchner
aafda389ea
Merge pull request #12907 from ethereum/calldataReencodeValidationBug
...
Calldatasize-check during ABI encoding from calldata values with nested dynamic arrays.
2022-05-12 17:56:44 +02:00
Leo
2aba061bde
Merge pull request #12967 from ethereum/update_z3_docker
...
Update docker z3 version 4.8.16
2022-05-12 15:23:03 +02:00
Leo
96bf85b35b
Merge pull request #13012 from ethereum/z3-use-rebuilt-buildpack-images
...
Switch to newly built buildpack-deps images with Z3 4.8.16 in CI
2022-05-12 15:16:12 +02:00
Leo
80a055103e
Merge pull request #13009 from ethereum/smt_support_z3_16
...
Support new z3 AST node
2022-05-12 14:28:38 +02:00
Kamil Śliwak
c0cc8ff7e7
Switch to newly built buildpack-deps images in CI
2022-05-12 14:26:07 +02:00
Leo Alt
2fe143f7d0
add changelog entry and docs note
2022-05-12 13:43:28 +02:00
Daniel Kirchner
d357d56b16
Increase CircleCI node size for soltest_all runs.
2022-05-12 13:41:56 +02:00
Daniel Kirchner
352a3c5f4b
Bug list entry, changelog entry and tests.
2022-05-12 13:08:30 +02:00
Leo Alt
60b405aaa9
Support new z3 AST node
2022-05-12 10:50:30 +02:00
Leo
0c0ff4fce6
Merge pull request #13000 from ethereum/smt_fix_recursive
...
[SMTChecker] Fix check that solver is available
2022-05-11 21:52:52 +02:00
Leo Alt
4c00815c53
Changelog entry
2022-05-11 20:02:31 +02:00
Leo Alt
cbaba6f913
update tests
2022-05-11 20:02:31 +02:00
Leo Alt
93f9638a1b
Add error id to script
2022-05-11 20:02:31 +02:00
Leo Alt
75d08ea924
Check early if solvers are available.
2022-05-11 20:02:31 +02:00
Daniel Kirchner
d3a837b340
Bugfix.
2022-05-11 18:17:47 +02:00
Daniel Kirchner
d92ed3fd29
Test case for the buggy behaviour.
2022-05-11 18:17:47 +02:00
Daniel Kirchner
1d7b4704bb
Merge pull request #13006 from ethereum/initializationOrderFix
...
Fix asorted compilation issues with GCC 12.
2022-05-11 17:19:45 +02:00
Daniel Kirchner
cf311e5780
Disable maybe-unitialized warning for boost headers using a pragma.
2022-05-11 16:21:53 +02:00
Daniel Kirchner
cbf9a4f1ed
Add bogus return to switch.
2022-05-11 13:58:06 +02:00
Daniel Kirchner
ece547204a
Reorder member variables of unique error reporter to ensure proper initialization order.
2022-05-11 13:40:02 +02:00
Kamil Śliwak
c64fb7a258
docker_upgrade.sh: Workaround for git refusing to work with a repo in attached volume
2022-05-10 18:24:21 +02:00
Leo Alt
571d94b051
Update docker z3 version
2022-05-10 18:24:21 +02:00
Leo
9f6d3deaea
Merge pull request #12999 from ethereum/disable-non-deterministic-counterexamples-in-some-smt-tests
...
Disable non-deterministic counterexamples in some SMT tests
2022-05-10 14:32:40 +02:00
Kamil Śliwak
0e0d1972f9
Disable non-deterministic counterexamples in some SMT tests
...
- The counterexamples sometimes do appear and the tests fail.
2022-05-10 12:48:01 +02:00
Christian Parpart
463e417508
Merge pull request #12960 from ethereum/lsp-make-import-error-fatal
...
lsp.py enhancements
2022-05-09 16:37:34 +02:00
Marenz
893122eb89
lsp.py: Support subdirectories
2022-05-09 14:54:55 +02:00
Marenz
02dfeb5427
lsp.py: Trigger fatal error when importing outside of test dir
2022-05-09 14:22:23 +02:00
Christian Parpart
59e054bb9b
Merge pull request #12468 from ethereum/allowAllLSP
...
Always allow full filesystem access to LSP.
2022-05-09 14:20:59 +02:00
Christian Parpart
e8d07772d9
lsp.py: Port to support running on Windows & adapt to changes due to prior merged PR.
...
- lsp.py: Fixes invalid-syntax by Python interpreter on Windows CI (older Python version).
- lsp.py: Savely strip CRLF from right side of the string, ignoring accidental multiple occurrences of \r (such as \r\r\n).
- lsp.py: Fixes reading single character from stdin (wrt. Windows platform).
- lsp.py: Adds header line reading to I/O tracing (useful for debugging).
- lsp.py: When running the tests on Windows, don't care test file content's newlines but simply expect LFs (instead of CRLF for example).
- Apply pylint notes.
- Fixing use of @functools.lru_cache for older python versions (CircleCI Windows)
2022-05-09 11:37:11 +02:00
Christian Parpart
c2f245b40a
Fixes to lsp.py with respect to Windows drive-letter paths in URI.
2022-05-09 11:37:11 +02:00
Christian Parpart
f308f1a1f8
Always allow full filesystem access to LSP.
2022-05-09 11:37:11 +02:00
Christian Parpart
49d27eaa5d
[Circle CI] Adds LSP tests to Windows CI.
2022-05-09 11:37:11 +02:00
chriseth
44157aa69a
Merge pull request #12985 from sey/improve-wording-on-voting-example
...
Improve wording on voting example
2022-05-09 09:35:49 +02:00
Florian Sey
c7d57031b5
Improve wording on voting example
...
From a beginner perspective, it is the first time in the documentation
that the term wallets is used. Other terms such as accounts or addresses
are explained in the Introduction to smart contracts.
2022-05-06 01:01:37 +02:00
Mathias L. Baumann
1dba6aafe4
Merge pull request #12981 from ethereum/update-static-z3
...
Update version & distributions for static z3 script
2022-05-05 16:20:56 +02:00
Marenz
1ccdb92cdb
Update version & distributions for static z3 script
2022-05-05 15:27:18 +02:00
Leo
2c49ae7a9d
Merge pull request #12984 from ethereum/fix_smt
...
fix smt flaky test
2022-05-05 14:26:27 +02:00
Leo Alt
201c6c6819
fix smt flaky test
2022-05-05 11:38:16 +02:00
Leo
84c64edfee
Merge pull request #12974 from ethereum/smt_tests_z3_16
...
update smt tests z3 4.8.16
2022-05-04 21:24:15 +02:00
Leo Alt
cba3d18f66
adjust for osx nondeterminism
2022-05-04 19:04:54 +02:00
Leo Alt
4fd7de36f1
update smt tests z3 4.8.16
2022-05-03 14:23:27 +02:00
chriseth
3e3e73e380
Merge pull request #12956 from nobutoba/fix-ballot-contract
...
Add a require statement to the Ballot contract
2022-05-02 15:40:46 +02:00
chriseth
f0d851afe3
Merge pull request #12950 from a3d4/refix-msvc-debug-stack-crash
...
Refix MSVC Debug crash
2022-05-02 15:18:05 +02:00
chriseth
df29ea72f0
Merge pull request #12836 from ethereum/fixUsingGlobal
...
Fix using global with libraries.
2022-05-02 12:41:34 +02:00
chriseth
505fa7763f
Fix checks for "using for ... global" for libraries.
2022-05-02 12:40:56 +02:00
chriseth
c3a5c83d38
Merge pull request #12971 from shekhirin/fix-parser-error
...
fix(parser): error for unexpected token
2022-05-02 11:26:36 +02:00
Nobuhiko Otoba
f6c0edc902
Add a require statement to the Ballot contract
2022-04-30 12:51:59 +02:00
Alexey Shekhirin
cb24e5d545
fix(parser): error for unexpected token
2022-04-29 16:13:04 +04:00
chriseth
d55b84ff63
Merge pull request #12861 from ethereum/disallow-returndatacopy-in-pure-functions
...
Disallow RETURNDATACOPY and RETURNDATASIZE in inline assembly in pure functions
2022-04-28 13:15:04 +02:00