Djordje Mijovic
0dd59fa0a2
[Sol->Yul] Remove index access from byte array pop function to optimize it.
2021-04-21 11:01:18 +02:00
Leonardo Alt
dd1865873e
Choose contracts to be analyzed by the SMTChecker
2021-04-21 10:34:14 +02:00
chriseth
c3f639b355
Merge pull request #11277 from ethereum/isoltest-trivial-reformatting
...
Normalize tests to match isoltest output (only trivial changes)
2021-04-21 10:01:33 +02:00
Bhargava Shastry
69dd1771b7
Remove as many boost usages as possible in protoToYul.cpp
2021-04-20 18:46:19 +02:00
Alex Beregszaszi
4177270562
Trivial isoltest updates: comments always on the same line
2021-04-20 17:38:29 +02:00
Alex Beregszaszi
1be07c2b36
Trivial isoltest updates: missing // ---- at the end
2021-04-20 17:38:29 +02:00
Alex Beregszaszi
84c05d35f3
Trivial isoltest updates: normalized whitespace
2021-04-20 17:38:29 +02:00
Alex Beregszaszi
45c6bbe02b
Trivial isoltest updates: directives sorted alphabetically
2021-04-20 17:21:56 +02:00
chriseth
cf7f814a4e
Merge pull request #10921 from ethereum/issue-10881
...
Natspec: Don't copy from base function if return parameters differ
2021-04-20 15:33:48 +02:00
Leonardo
159d6f9efa
Merge pull request #11222 from ethereum/smt_free_functions
...
[SMTChecker] Free functions and constants
2021-04-19 21:25:05 +02:00
Leonardo Alt
a39a6e26da
update tests
2021-04-19 19:23:18 +02:00
Leonardo Alt
80892c8a21
Fix nondeterminism
2021-04-19 19:23:18 +02:00
Leonardo Alt
db1b630de5
Changelog
2021-04-19 19:23:18 +02:00
Leonardo Alt
36def3ef6e
tests for free constants
2021-04-19 19:23:18 +02:00
Leonardo Alt
fd8b4afb76
new free function tests
2021-04-19 19:23:18 +02:00
Leonardo Alt
095d337140
Basic support to free constants
2021-04-19 19:23:18 +02:00
Leonardo Alt
6ae82fcec2
Add tests for the library bug
2021-04-19 19:23:18 +02:00
Leonardo Alt
4e34359063
Basic support to free functions
2021-04-19 19:23:18 +02:00
chriseth
6a0a51110d
Merge pull request #11256 from ethereum/smt_target_array
...
Change settings.modelChecker.targets to take an array instead of string
2021-04-19 18:47:06 +02:00
chriseth
8d169d3615
Merge pull request #11236 from ethereum/fix-allowed-paths-with-stdin
...
Fix stdin bypassing allowed paths
2021-04-19 18:03:05 +02:00
Leonardo Alt
e3abde43f5
Change settings.modelChecker.targets to take an array instead of string
2021-04-19 17:53:03 +02:00
Kamil Śliwak
0d4871ad10
Prevent adding '-' CLI flag to allowed paths as if it was an actual file
...
- This resulted in a bug where using stdin was effectively disabling allowed path checks.
2021-04-19 16:58:48 +02:00
chriseth
6ef7e39e46
Merge pull request #11267 from ethereum/test_osx_cache
...
Force Homebrew update to work around CircleCI auto-update issue
2021-04-19 16:54:12 +02:00
Kamil Śliwak
2abd3073d4
Merge pull request #11235 from ethereum/cmdline-tests-for-stdin
...
Allow using stdin in cmdlineTests
2021-04-19 16:21:43 +02:00
Kamil Śliwak
e76ef821a7
osx_install_dependencies.sh: Update brew explicitly to workaround auto-update issue on CircleCI
...
- Old versions have problems with binaries hosted on bintray. We need an up-to-date one.
- It automatically updates itself when we install boost but apparently there's a problem with that on CircleCI. An explicit update works.
2021-04-19 16:08:50 +02:00
Kamil Śliwak
1c556d0aaa
osx_install_dependencies.sh: Use set -ue to fail fast on errors
2021-04-19 16:06:49 +02:00
chriseth
1feca5dddb
Merge pull request #11259 from ethereum/exportErrorsInAst
...
Export used errors in the AST.
2021-04-19 15:53:32 +02:00
Mathias Baumann
1737bd7ded
Natspec: Don't copy from base function if return parameters differ
2021-04-19 15:20:30 +02:00
chriseth
8eb0d5edf6
Export used errors in the AST.
2021-04-19 14:15:50 +02:00
Bhargava Shastry
14d2170b46
Merge pull request #11238 from ethereum/yul-interpreter-storage-state
...
Permit Yul interpreter vs Evmone storage comparison.
2021-04-19 12:22:59 +02:00
Daniel Kirchner
f9b23ca845
Merge pull request #11247 from ethereum/setValueForCurrentScopeHelper
...
Add SetValueForCurrentScope helper.
2021-04-16 12:42:25 +02:00
Daniel Kirchner
afae46dcb5
Add ScopedSaveAndRestore helper.
2021-04-16 10:56:56 +02:00
Daniel Kirchner
cb85285ac6
Merge pull request #11258 from ethereum/less-verbose-bytecode-comparison-output-in-ci
...
Less verbose bytecode comparison output in CI
2021-04-16 10:22:51 +02:00
Đorđe Mijović
da87eea309
Merge pull request #11262 from ethereum/disable-smt-assertion-in-slices-3
...
Disable assertion that gives non-deterministic results in slice tests for SMTChecker
2021-04-16 09:34:25 +02:00
Kamil Śliwak
30cda36d9a
Create a bundle with all bytecode reports when comparison fails in CI
2021-04-15 17:14:33 +02:00
Kamil Śliwak
f14a80cbcf
Don't print full diff when bytecode comparison fails in CI
2021-04-15 17:14:33 +02:00
Kamil Śliwak
7b467a49d7
Disable assertion that gives non-deterministic results in in slice tests for SMTChecker
2021-04-15 17:14:21 +02:00
Bhargava Shastry
6941143613
Merge pull request #11216 from ethereum/fix-abiv2-fuzzer-bug
...
Fix use of const ref in Abiv2 and other proto fuzzers.
2021-04-14 15:03:57 +02:00
Bhargava Shastry
a108f84651
Merge pull request #10997 from ethereum/yul-fuzzer-improvements
...
Yul fuzzer improvements
2021-04-14 15:03:36 +02:00
Bhargava Shastry
15bf6af77a
Remove output parameters from function call since they are generated on the fly in the converter.
2021-04-14 13:53:37 +02:00
Bhargava Shastry
7c806217fb
Changes to yul proto mutator.
2021-04-14 13:53:37 +02:00
Bhargava Shastry
cf08c9b255
Correct use of emplace_back
2021-04-14 13:53:37 +02:00
Bhargava Shastry
1709b2924b
Changes to how function calls are generated.
2021-04-14 13:53:37 +02:00
Christian Parpart
81c7b30a6a
Merge pull request #11234 from ethereum/fix-file-reader-compiler-stack-source-unit-name-mismatch
...
Use identical source unit names in FileReader and CompilerStack
2021-04-14 13:46:14 +02:00
chriseth
11b227e33e
Merge pull request #11205 from ethereum/fix-docstring-bug
...
Fix docstring bug
2021-04-14 13:18:33 +02:00
chriseth
850bd289eb
Merge pull request #11255 from ethereum/bytesConcatFixedBytesTests
...
Adding tests for bytes.concat with fixed bytes arguments.
2021-04-14 11:32:48 +02:00
Djordje Mijovic
ea5cda08c8
Adding tests for bytes.concat with fixed bytes arguments.
2021-04-14 11:21:24 +02:00
chriseth
60d43ecf28
Merge pull request #11252 from ethereum/simplifySemanticInfo
...
Remove semantic information function for assembly items.
2021-04-14 10:35:36 +02:00
Bhargava Shastry
b1392ac988
Fix use of const ref in Abiv2 and other proto fuzzers.
2021-04-13 19:38:43 +02:00
chriseth
6dba5f5c2b
Remove semantic information function for assembly items.
2021-04-13 18:34:16 +02:00