Commit Graph

19421 Commits

Author SHA1 Message Date
chriseth
ece2fdd8c6
Merge pull request #10774 from ethereum/roundUpAllocations
Round up allocations to multiples of 32.
2021-01-14 23:16:41 +01:00
chriseth
cae1b75932
Merge pull request #10772 from ethereum/fix-commit-date-in-ci-builds-on-mac-os
Fix commit date command for CI builds on macOS
2021-01-14 23:07:55 +01:00
chriseth
db4b39e09e Round up allocations to multiples of 32. 2021-01-14 21:52:17 +00:00
Alex Beregszaszi
31ee06d945
Merge pull request #10775 from ethereum/useRoundUpInArrayAlloc
Use round up function.
2021-01-14 21:46:32 +00:00
Kamil Śliwak
71d19c5178 build_win.ps1: Use commit date for CI builds on Windows and Emscripten as well 2021-01-14 22:23:06 +01:00
Kamil Śliwak
6c3ccc8e29 ci/build.sh: Use a more portable command for getting the date to make it work on macOS too 2021-01-14 22:22:39 +01:00
chriseth
7d6331e26f Use round up function. 2021-01-14 21:01:43 +00:00
Alex Beregszaszi
6ad0ea9f23
Merge pull request #10773 from ethereum/useArrayAllocationFunction
Fix array allocation.
2021-01-14 20:25:31 +00:00
chriseth
aba8d807db
Merge pull request #10765 from ethereum/ir-revert-strings
Include revert strings in IR
2021-01-14 20:00:11 +01:00
chriseth
f4479fd7ed Fix array allocation. 2021-01-14 19:56:37 +01:00
chriseth
a26e6eacdc
Merge pull request #10767 from ethereum/ir-unimplemented-failures
Display unimplemented errors in Yul codegen testing
2021-01-14 19:28:30 +01:00
Alex Beregszaszi
4491a290e2 Display unimplemented errors in Yul codegen testing
i.e. do not hide exceptions
2021-01-14 18:08:01 +00:00
chriseth
35bc9b1ea1
Merge pull request #10682 from ethereum/catchPanic
Document ``catch Panic(uint)``.
2021-01-14 18:46:03 +01:00
Alex Beregszaszi
7c7fd22062 Include revert strings in IR 2021-01-14 18:45:12 +01:00
chriseth
f9bfceccd1
Merge pull request #10771 from ethereum/use-commit-date-in-ci-builds
Commit date in CI build version strings
2021-01-14 18:38:45 +01:00
chriseth
df7c17a053 Document `catch Panic(uint)`. 2021-01-14 18:37:02 +01:00
chriseth
96ce3cf7cb
Merge pull request #10770 from ethereum/doc-pragma-check-special-case-for-current-dev-version
Special case for development version in doc pragma checker
2021-01-14 18:35:47 +01:00
Kamil Śliwak
a901f78be7 ci/build.sh: Use commit date rather than build date in version strings of CI builds 2021-01-14 18:04:41 +01:00
Alex Beregszaszi
d4627d53eb
Merge pull request #10235 from ethereum/onlyFailOnUnimplemented
Fail on assertion failures in yul code generation.
2021-01-14 16:55:07 +00:00
Kamil Śliwak
c63fd0a1af docs_version_pragma_check.sh: Remove the special case for versions ending in .99 2021-01-14 17:35:19 +01:00
Kamil Śliwak
a39c8e3750 docs_version_pragma_check.sh: Switch to the new-style [[ ]] conditions 2021-01-14 17:35:19 +01:00
Kamil Śliwak
d8d5b3ab20 docs_version_pragma_check.sh: Don't treat missing compiler version as an error if it's the current dev version 2021-01-14 17:35:19 +01:00
Kamil Śliwak
203ebf89bb scripts/common.sh: Add printWarning() helper 2021-01-14 17:35:19 +01:00
Leonardo
110e0e1f25
Merge pull request #10763 from blishko/smt-abi-fixes
[SMTChecker] Small fixes in handling ABI functions
2021-01-14 16:00:49 +01:00
chriseth
a4769d446f Fail on assertion failures in yul code generation. 2021-01-14 14:51:16 +00:00
chriseth
7d036dcb81
Merge pull request #10762 from ethereum/packedStorageOverflowSol2Yul
[Sol->Yul] Fixing uncheked increment/decrement.
2021-01-14 15:32:55 +01:00
chriseth
6769c519b2
Merge pull request #10764 from ethereum/fixLibraryFromModule
Fix accessing libraries inside modules.
2021-01-14 15:30:52 +01:00
chriseth
7f03af08b6
Merge pull request #10766 from ethereum/snark
Move snark.sol in tests to externalContracts
2021-01-14 15:06:23 +01:00
chriseth
e61c4b411e
Merge pull request #10754 from ethereum/extractTwoTests
Extract some tests.
2021-01-14 15:05:38 +01:00
Alex Beregszaszi
4db0e3049e Move snark.sol in tests to externalContracts 2021-01-14 13:55:36 +00:00
Martin Blicha
2ee0f347b9 [SMTChecker] additional regression tests 2021-01-14 14:54:14 +01:00
Martin Blicha
504e4c22b2 [SMTChecker] Fix in abi handling - tuple expression of size 1 has the type of the member and not TupleType 2021-01-14 14:53:56 +01:00
Martin Blicha
b4d2a71eec [SMTChecker] Fix in abi handling - fixed missing type conversion 2021-01-14 14:53:44 +01:00
Martin Blicha
32a923c7ef [SMTChecker] Fix in abi handling - abstracting expressions of type Function inside ABI functions when translating to SMT 2021-01-14 14:53:22 +01:00
chriseth
a65415cdad Fix accessing libraries inside modules. 2021-01-14 14:07:08 +01:00
Djordje Mijovic
dc3e76bc2c [Sol->Yul] Fixing uncheked increment/decrement. 2021-01-14 13:46:04 +01:00
chriseth
2a62814686
Merge pull request #10758 from ethereum/defaultBuildType
Set default build type, if none was specified.
2021-01-14 11:36:33 +01:00
chriseth
170cd5d2ae
Merge pull request #10760 from ethereum/asmConstantsFileLevel
Fix accessing constants at file level from inline assembly.
2021-01-14 11:33:47 +01:00
chriseth
8905af28c3
Merge pull request #10759 from ethereum/nestedBytesArraySol2Yul
[Sol->Yul] Fixing nested bytes array push.
2021-01-14 11:33:06 +01:00
chriseth
45be47fc6b
Merge pull request #10756 from ethereum/fixModifierLookup
Fix modifier lookup
2021-01-14 11:28:26 +01:00
chriseth
c8a351d34f
Merge pull request #10467 from ethereum/dataFlowAnalyzerOptimization
Various optimizations for the DataFlowAnalyzer.
2021-01-14 11:21:22 +01:00
chriseth
eb88ba05c7
Merge pull request #10751 from ethereum/emscriptenDockerUpdate
Update emscripten docker image to be based on emscripten 2.0.12 and boost 1.75.0.
2021-01-14 11:19:52 +01:00
chriseth
8ad9290086 Fix modifier lookup. 2021-01-14 11:01:14 +01:00
chriseth
30305ebbd9 Fix accessing constants at file level from inline assembly. 2021-01-14 10:51:47 +01:00
chriseth
afbf68f79c
Merge pull request #10753 from ethereum/ir-negate
Fix YulUtilFunctions::negateNumberWrappingFunction
2021-01-14 10:48:15 +01:00
Djordje Mijovic
7c45509a77 [Sol->Yul] Fixing nested bytes array push. 2021-01-14 10:32:31 +01:00
Daniel Kirchner
cee8ae75c8 Set default build type, if none was specified. 2021-01-14 10:22:50 +01:00
chriseth
fb4b38a78e Extract some tests. 2021-01-13 23:45:51 +01:00
Alex Beregszaszi
c15c6d26b7 Fix YulUtilFunctions::negateNumberWrappingFunction 2021-01-13 21:29:37 +00:00
Leonardo
501461147e
Merge pull request #10750 from blishko/issue-10657
[SMTChecker] Fixed pushing string literal to bytes array
2021-01-13 17:28:42 +01:00