cerc-io/solidity
11
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
19,398 Commits 348 Branches 121 Tags
7f19339934af13248adffadebcb8fb539ddbf92a
Commit Graph
19398 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Kamil Śliwak 7f19339934 prepare_report.py: Add support for switching between CLI and Standard JSON compiler interfaces 2021-01-26 23:30:38 +01:00
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 ShastryandLeonardo 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