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 |
|
chriseth
|
0eb1ceeca1
|
Merge pull request #12939 from aathan/clarify-received-ether-function-note
Clarify receive ether function note
|
2022-04-28 13:12:06 +02:00 |
|
a3d4
|
048b253a93
|
Refix MSVC Debug crash
|
2022-04-26 01:52:56 +02:00 |
|
Christian Parpart
|
fbecdbe76d
|
Merge pull request #12798 from ethereum/lsp-tests-expectations
LSP.py: Implement expectations directly in the test files
|
2022-04-25 15:27:57 +02:00 |
|
aathan
|
43ff61f185
|
Update functions.rst
|
2022-04-15 12:24:48 -07:00 |
|
Kamil Śliwak
|
559174054f
|
Merge pull request #12936 from ethereum/fix-parallel-soltest-ci-runs-overwriting-xml-test-output
Prevent parallel soltest runs from overwriting each other's XML test output
|
2022-04-14 15:02:42 +02:00 |
|
Kamil Śliwak
|
5111e7543c
|
soltest.sh: Prevent parallel tests from overwriting each other's XML test output
|
2022-04-13 20:08:15 +02:00 |
|
Kamil Śliwak
|
25923c1f08
|
Merge pull request #12562 from ethereum/brink-ext-test
External test for Brink
|
2022-04-13 15:06:57 +02:00 |
|
Kamil Śliwak
|
8e085432bb
|
External test for Brink
|
2022-04-13 13:43:48 +02:00 |
|
Kamil Śliwak
|
e30d0a6199
|
externalTests: Allow adding extra settings to presets
|
2022-04-13 13:43:48 +02:00 |
|
Marenz
|
afd9feead4
|
LSP.py: Implement simple send/respond framework
|
2022-04-13 13:22:05 +02:00 |
|
Daniel Kirchner
|
9e92c7a466
|
Merge pull request #12926 from ethereum/disable-macos-dependency-cache-in-ci
Disable dependency caching on macOS in CI
|
2022-04-11 17:38:37 +02:00 |
|
Kamil Śliwak
|
4ac46ebf40
|
Disable dependency caching on macOS in CI
|
2022-04-11 16:01:29 +02:00 |
|
Kamil Śliwak
|
6931c939e0
|
CI: Make osx test jobs handle dependency installation even if b_osx does not install them
|
2022-04-11 16:01:29 +02:00 |
|
Leo
|
140e59d190
|
Merge pull request #12429 from ethereum/smt_encode_call
[SMTChecker] abi.encodeCall
|
2022-04-11 14:12:04 +02:00 |
|
Kamil Śliwak
|
e684b36b25
|
Merge pull request #12908 from tharun634/move-docs
Moved `docs.sh` script to `docs/`
|
2022-04-11 13:51:05 +02:00 |
|
Leo Alt
|
f9fa76c9d3
|
smt encode call
|
2022-04-11 12:19:41 +02:00 |
|
wechman
|
e980a29186
|
Set CommonSubexpressionEliminator max chunk size to 2000
|
2022-04-11 08:31:04 +02:00 |
|
wechman
|
91638ed7b2
|
fixup! Limit max chunk size in CommonSubexpressionEliminator::feedItems
|
2022-04-11 08:31:04 +02:00 |
|
wechman
|
63f53a19dd
|
Limit max chunk size in CommonSubexpressionEliminator::feedItems
|
2022-04-11 08:31:04 +02:00 |
|
wechman
|
b74a27e946
|
ExpressionClasses performance optimization
|
2022-04-11 08:31:04 +02:00 |
|
Kamil Śliwak
|
0b81194350
|
Merge pull request #12916 from sourabhxyz/develop
inheritance.rst: Fix capitalization in multiple inheritance example
|
2022-04-10 18:36:13 +02:00 |
|
sourabh.xyz
|
9867fbcfb0
|
Update inheritance.rst
Fixed typo 'owned' → 'Owned'.
|
2022-04-09 13:17:07 +05:30 |
|
Kamil Śliwak
|
d9c6ceca09
|
Merge pull request #12866 from jiq4449/develop
Renamed AssemblyStack to YulStack
|
2022-04-08 22:24:09 +02:00 |
|
Kamil Śliwak
|
4e1de370d7
|
Merge pull request #12909 from bytecurl/develop
Add `.DS_Store` and `Thumbs.db` to `.gitignore`
|
2022-04-08 21:20:51 +02:00 |
|
Kamil Śliwak
|
23e77e9a84
|
docs.sh: Fail on all errors, includding undefined variables and failures in piped commands
|
2022-04-08 20:41:31 +02:00 |
|
Kamil Śliwak
|
efd0024853
|
docs.sh: Make the script independent of the working directory
|
2022-04-08 20:41:31 +02:00 |
|
Tharun K
|
a608bc12f7
|
Moved docs.sh script to docs/
|
2022-04-08 20:41:22 +02:00 |
|
Joshua Quinones
|
e1a59397c6
|
Renamed AssemblyStack to YulStack
All files, references, variables, comments, etc. were renamed to YulStack.
|
2022-04-08 20:28:55 +02:00 |
|
Bytecurl
|
c5bf750bf3
|
Add .DS_Store and Thumbs.db to .gitignore
Add OS specific local files that should not be included in a git repository - .DS_Store (macOS) and Thumbs.db (Windows)
|
2022-04-08 20:24:27 +02:00 |
|
Kamil Śliwak
|
f567eb1fb2
|
Disallow RETURNDATASIZE and RETURNDATACOPY in inline assembly blocks in pure functions
|
2022-04-08 14:48:35 +02:00 |
|
Kamil Śliwak
|
fb7c969ce8
|
Tests for assembly instructions allowed with mutable/view/pure functions
|
2022-04-08 14:47:32 +02:00 |
|
Daniel Kirchner
|
15c2a33eb3
|
Merge pull request #12910 from ethereum/updatesToGasAndDelegate
Some updates to gas and delegatecall.
|
2022-04-07 22:06:46 +02:00 |
|
chriseth
|
22d8c0aecd
|
Some updates to gas and delegatecall.
|
2022-04-07 21:34:36 +02:00 |
|
Kamil Śliwak
|
e340cf6ca2
|
Merge pull request #12876 from aathan/why-is-this-inline-assembly-not-memory-safe
[Docs] clarify the reason for the memory-unsafe assembly example being unsafe
|
2022-04-07 18:41:41 +02:00 |
|
aathan
|
9e2b26e046
|
Clarify the reason for the memory-unsafe assembly example being unsafe
|
2022-04-07 18:03:02 +02:00 |
|
Kamil Śliwak
|
0dd7f9c871
|
Merge pull request #12901 from aathan/clarify-base-contract-constructors
Clarify base contract constructors (re request of PR #12872)
|
2022-04-07 13:33:05 +02:00 |
|