Leonardo
|
38d1ec3efe
|
Merge pull request #10835 from blishko/smt-assembly
[SMTChecker] Basic support for inline assembly that over-approximates its effects.
|
2021-01-26 22:35:25 +01:00 |
|
Bhargava Shastry
|
6eebd6538c
|
Merge pull request #10834 from ethereum/solidity-generator-test-source-pragma
Add visitors for automatic test case generation.
|
2021-01-26 18:16:46 +01:00 |
|
Martin Blicha
|
484e67815a
|
[SMTChecker] Basic support for inline assembly using over-approximating analysis
|
2021-01-26 16:20:50 +01:00 |
|
Bhargava Shastry
|
be733d5f61
|
Reorganized code for better readability.
|
2021-01-26 16:16:03 +01:00 |
|
Bhargava Shastry
|
f5e0faaa37
|
Add documentation and/or comments.
Co-authored-by: Leonardo <leo@ethereum.org>
|
2021-01-26 15:48:42 +01:00 |
|
Bhargava Shastry
|
d7e3d3f75f
|
Add visitors for automatic test case generation.
|
2021-01-26 15:48:42 +01:00 |
|
chriseth
|
2f2d2224b1
|
Merge pull request #10849 from ethereum/fixMergeConflict
Fix merge conflict.
|
2021-01-26 15:14:08 +01:00 |
|
chriseth
|
e9dc9c5baf
|
Fix merge conflict.
|
2021-01-26 13:53:22 +01:00 |
|
Leonardo
|
c35fdda2ec
|
Merge pull request #10844 from ethereum/smt_z3_docker_4_18_10
Bump docker images for z3 4.8.10
|
2021-01-26 13:05:50 +01:00 |
|
chriseth
|
4697beeab2
|
Merge pull request #10769 from ethereum/allocationCleanup
Cleanup allocation.
|
2021-01-26 11:58:11 +01:00 |
|
Leonardo
|
6488dd5b96
|
Merge pull request #10843 from ethereum/updatez3ppa
Update z3 to 4.8.10.
|
2021-01-26 11:40:30 +01:00 |
|
Leonardo Alt
|
fbfcb4e71d
|
Bump docker for z3 4.8.10
|
2021-01-26 11:37:11 +01:00 |
|
Leonardo
|
22ad64a0fd
|
Merge pull request #10845 from ethereum/smt_z3_4-8-10
Update smtCheckerTests for z3 4.8.10
|
2021-01-26 11:37:03 +01:00 |
|
chriseth
|
b01110ee16
|
Merge pull request #10803 from ethereum/shortcut-code-length
Implemented a shortcut for ``address.code.length`` that generates ``…
|
2021-01-26 11:20:22 +01:00 |
|
hrkrshnn
|
133bc72970
|
Tests and changelog for <address>.code.length shortcut
|
2021-01-26 11:08:39 +01:00 |
|
hrkrshnn
|
526ceec152
|
Implement IR shortcut for <address>.code.length
|
2021-01-26 11:07:04 +01:00 |
|
hrkrshnn
|
d6d880dc53
|
Old codegen: implemented shortcut for <address>.code.length
|
2021-01-26 11:07:04 +01:00 |
|
Leonardo Alt
|
40221a90c4
|
Update smtCheckerTests for z3 4.8.10
|
2021-01-26 10:18:52 +01:00 |
|
chriseth
|
2bf85ea44f
|
Merge pull request #10848 from ethereum/sortChangelog
Sort changelog.
|
2021-01-26 09:57:51 +01:00 |
|
chriseth
|
fbd10585c5
|
Sort changelog.
|
2021-01-26 09:25:54 +01:00 |
|
chriseth
|
de0a3b989d
|
Merge pull request #10783 from ethereum/circular-constant-variable
Fix infinite loop when accessing circular constants from inline assem…
|
2021-01-26 09:24:24 +01:00 |
|
hrkrshnn
|
ec57c791ef
|
Fix infinite loop when accessing circular constants from inline assembly.
|
2021-01-26 09:22:05 +01:00 |
|
chriseth
|
9fc3d88617
|
Merge pull request #10826 from ethereum/issue-10821
Fix missing error when accessing unintialized variables.
|
2021-01-26 09:16:13 +01:00 |
|
chriseth
|
1adaf929dd
|
Merge pull request #10707 from ityuhui/yh-721-replace-colon-in-cli
[CLI] Accept also equal sign "=" for ``--libraries``
|
2021-01-26 08:17:26 +01:00 |
|
Mathias Baumann
|
07a1d230cd
|
Fix missing error when accessing unintialized variables.
|
2021-01-25 14:44:15 +01:00 |
|
chriseth
|
ccdf57c9b1
|
Merge pull request #10700 from ethereum/whiskers_check_template_contains_tag
[whiskers] Add check that template contain tags.
|
2021-01-25 14:17:05 +01:00 |
|
chriseth
|
1c35c52fbe
|
Update z3 to 4.8.10.
|
2021-01-25 11:40:31 +01:00 |
|
chriseth
|
d9b39b9e57
|
Merge pull request #10842 from ethereum/fix-intheritance-typo
Fix the 'intheritance' typo
|
2021-01-25 11:37:54 +01:00 |
|
Kamil Śliwak
|
4ad0b4338a
|
Fix the 'intheritance' typo in the name of the of the subdirectories in semanticTests/
|
2021-01-25 11:17:06 +01:00 |
|
Hui Yu
|
c669ee251a
|
[CLI] Allow "=" as separator between library name and address in --libraries commandline option.
|
2021-01-25 16:14:39 +08:00 |
|
Kamil Śliwak
|
8a8442377d
|
Merge pull request #10832 from ethereum/cmdline-tests-more-robust-interactive-mode
More robust interactive mode in command-line tests
|
2021-01-22 15:34:40 +01:00 |
|
Kamil Śliwak
|
aef724cc2f
|
Merge pull request #10819 from ethereum/python-unit-tests-in-ci
CI job for running Python unit tests
|
2021-01-22 15:30:31 +01:00 |
|
Kamil Śliwak
|
cf147fac7a
|
Add a CI job for running Python unit tests
|
2021-01-22 13:41:20 +01:00 |
|
Kamil Śliwak
|
aae271e399
|
Add a script for running the Python test suites and include it in scripts/tests.sh
|
2021-01-22 13:37:40 +01:00 |
|
Kamil Śliwak
|
e59d58bf31
|
Merge pull request #10822 from ethereum/bytecode-report-windows-compatibility-fixes
Windows compatibility fixes for bytecode report
|
2021-01-22 13:10:06 +01:00 |
|
Kamil Śliwak
|
83d65ba8f5
|
Disable git's automatic line ending conversion in Windows CI jobs
|
2021-01-22 12:16:28 +01:00 |
|
Kamil Śliwak
|
151df00bb0
|
Read/write files in python with newline='' option to preserve newlines as \n on Windows
|
2021-01-22 12:16:27 +01:00 |
|
Kamil Śliwak
|
cc516b2a16
|
Replace docstrings with normal strings in python unit tests to get same line endings on all platforms
|
2021-01-22 12:15:33 +01:00 |
|
Kamil Śliwak
|
ba6acae240
|
prepare_report.py: Prevent Windows-style paths from ending up in the bytecode report
|
2021-01-22 12:15:33 +01:00 |
|
Leonardo
|
ead1a26f21
|
Merge pull request #10797 from ethereum/refactor-and-shellcheck-cleanup-in-report-errors-sh
Refactor and shellcheck cleanup in report_errors.sh and check_style.sh
|
2021-01-22 12:12:39 +01:00 |
|
Leonardo
|
3045770a6f
|
Merge pull request #10828 from ethereum/smt_cex_value
[SMTChecker] Add msgvalue to cex if > 0
|
2021-01-21 21:34:38 +01:00 |
|
Leonardo Alt
|
a612daa783
|
Add msgvalue to cex
|
2021-01-21 19:05:44 +01:00 |
|
chriseth
|
5bb29b1f14
|
Merge pull request #10814 from ethereum/autoupdate
Autoupdate for commandline tests.
|
2021-01-21 16:16:29 +01:00 |
|
Kamil Śliwak
|
c7d8e7ee87
|
cmdlineTests.sh: Ask about updating expectations in case of error code mismatch too
|
2021-01-21 15:21:10 +01:00 |
|
Kamil Śliwak
|
8ac36068fc
|
cmdlineTests.sh: Add edit and skip options like in isoltest
|
2021-01-21 13:58:28 +01:00 |
|
chriseth
|
a4e228e552
|
Autoupdate for commandline tests.
|
2021-01-21 13:43:20 +01:00 |
|
Harikrishnan Mulackal
|
bad8d23802
|
Merge pull request #10830 from az1az1/develop
Update value-types.rst
|
2021-01-21 12:41:46 +01:00 |
|
az1az1
|
91b1ada8f5
|
Update value-types.rst
|
2021-01-20 17:19:38 -05:00 |
|
Alexander Arlt
|
061fecbc90
|
[whiskers] Add check that template contain tags.
|
2021-01-20 15:26:34 -05:00 |
|
Leonardo
|
a75b87c80e
|
Merge pull request #10813 from ethereum/smt_targets_option
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 18:37:08 +01:00 |
|