chriseth
|
d8612dd96b
|
Merge pull request #7175 from nimishbongale/develop
Documentation fixes
|
2019-08-05 12:36:01 +02:00 |
|
Nimish Bongale
|
561ddbcdab
|
Update README.md
|
2019-08-05 12:32:38 +02:00 |
|
Leonardo
|
11632966c9
|
Merge pull request #7171 from ethereum/smt_fix_compound_bitwise
[SMTChecker] Fix ICE compound bitwise op inside branch
|
2019-08-05 12:15:01 +02:00 |
|
chriseth
|
9b375edfe3
|
Merge pull request #6787 from ethereum/sol2yul-ctor-code
Improve constructor-code codegen (wrt. state variable initialization)
|
2019-08-05 11:50:34 +02:00 |
|
mingchuan
|
46387eaea2
|
[Yul] ExpressionInliner: avoid duplicating high cost expressions
|
2019-08-05 11:48:32 +02:00 |
|
Christian Parpart
|
235638b3fc
|
Implements constructor code for state variables.
|
2019-08-05 11:23:01 +02:00 |
|
chriseth
|
29d47d5c3c
|
Merge pull request #7154 from ethereum/smt_erase_only_required
Erase storage pointer knowledge only when necessary
|
2019-08-05 10:57:19 +02:00 |
|
Leonardo Alt
|
d5fb8cf58a
|
[SMTChecker] Fix ICE compound bitwise op inside branch
|
2019-08-02 20:02:39 +02:00 |
|
Leonardo Alt
|
7b5863e583
|
Do not erase knowledge about storage pointers when another pointer is assigned
|
2019-08-02 13:09:06 +02:00 |
|
Bhargava Shastry
|
967ee944a5
|
Merge pull request #7161 from ethereum/permit-zerolength-dyn-array-dimensions
Dynamically sized array dimensions can be zero sized
|
2019-08-02 12:34:10 +02:00 |
|
Bhargava Shastry
|
e018d62a67
|
Dynamically sized array dimensions can be zero sized
|
2019-08-01 16:33:57 +02:00 |
|
chriseth
|
7421d85346
|
Merge pull request #7094 from ethereum/isoltest-arrow-optional
[isoltest] Introduce shorthand declaration: make `->` optional.
|
2019-08-01 15:42:42 +02:00 |
|
chriseth
|
742b4271fd
|
Merge pull request #7159 from ethereum/always_demand_tests
Make sure a semantic test file always contains function calls
|
2019-08-01 15:12:13 +02:00 |
|
chriseth
|
2a25d7461f
|
Merge pull request #7123 from rocky/tolerate-pragma-mismatch
A pragma version mismatch is not fatal if ...
|
2019-08-01 14:48:24 +02:00 |
|
chriseth
|
6730a59f74
|
Merge pull request #7157 from ethereum/fix-7155
FunctionType: Return correct stacksize for transfer/send
|
2019-08-01 14:40:35 +02:00 |
|
Mathias Baumann
|
c920b50ebe
|
Make sure a semantic test file always contains function calls
Because if not, the code isn't even compiled.
|
2019-08-01 14:02:33 +02:00 |
|
Mathias Baumann
|
e887c06f6b
|
FunctionType: Return correct stacksize for transfer/send
|
2019-08-01 13:56:09 +02:00 |
|
chriseth
|
04f298fd0e
|
Merge pull request #7132 from ethereum/smt_acc_solver
[SMTChecker] EncodingContext config flag to accumulate assertions
|
2019-08-01 13:04:37 +02:00 |
|
chriseth
|
aa87a607fd
|
Merge pull request #7152 from ethereum/smt_fix_pointer_cleanup
[SMTChecker] Erase pointer knowledge properly inside loops
|
2019-08-01 12:46:20 +02:00 |
|
Chris Chinchilla
|
32e6e35641
|
Merge pull request #7105 from ethereum/wip/docs-contributing
[DOCS] Add details of team calls
|
2019-07-31 12:26:28 +02:00 |
|
Chris Chinchilla
|
f4f8858e98
|
Add details of team calls
Update docs/contributing.rst
Co-Authored-By: chriseth <chris@ethereum.org>
Update docs/contributing.rst
Co-Authored-By: chriseth <chris@ethereum.org>
|
2019-07-31 11:58:30 +02:00 |
|
Leonardo Alt
|
44d7c6976a
|
Erase pointer knowledge properly inside loops
|
2019-07-30 12:47:50 +02:00 |
|
Mathias L. Baumann
|
092e62f1c9
|
Merge pull request #7140 from ethereum/ci-binonic-gcc-7
fix PPA comp. error and add ubuntu:bionic gcc-7 to CI to test for it.
|
2019-07-30 11:16:41 +02:00 |
|
Mathias Baumann
|
eb2f405466
|
[CI] Add ubuntu:bionic gcc-7
|
2019-07-30 09:27:43 +02:00 |
|
Mathias Baumann
|
d9addbcf49
|
Fix error in g++7 with -O2 flag
|
2019-07-29 16:17:41 +02:00 |
|
Leonardo
|
00accd9daa
|
Merge pull request #7141 from ethereum/smt_fix_json
[SMTChecker] Reset SSA index to 0 instead of increasing in context reset
|
2019-07-29 10:20:06 +02:00 |
|
Leonardo
|
0197a200cd
|
Merge pull request #7142 from ethereum/smt_init_numbers
[SMTChecker] Initialize all number types with 0
|
2019-07-29 10:19:17 +02:00 |
|
Mathias L. Baumann
|
2fdc07c55e
|
Merge pull request #7145 from ethereum/smt_fix_tuples
[SMTChecker] Fix ICE when inlining function with tuple expression
|
2019-07-29 10:14:19 +02:00 |
|
Leonardo Alt
|
847f574e22
|
[SMTChecker] Fix ICE when inlining function with tuple expression
|
2019-07-26 16:29:29 +02:00 |
|
Leonardo Alt
|
cd5a5b3686
|
[SMTChecker] Initialize all number types with 0
|
2019-07-25 15:15:18 +02:00 |
|
Leonardo Alt
|
6bcbeb1d23
|
[SMTChecker] Reset SSA index to 0 instead of increasing in context reset
|
2019-07-25 14:16:34 +02:00 |
|
Leonardo
|
4f7fec6911
|
Merge pull request #7139 from cgrigis/patch-1
Minor typo
|
2019-07-25 11:41:36 +02:00 |
|
cgrigis
|
7047ff1c3c
|
Minor typo
|
2019-07-25 10:58:45 +02:00 |
|
Christian Parpart
|
146993409a
|
Merge pull request #7081 from ethereum/EndToEndTest-extractions-3
Extracting more end-to-end tests.
|
2019-07-23 14:04:45 +02:00 |
|
Christian Parpart
|
b6446aa615
|
Extracting more end-to-end tests.
|
2019-07-22 16:31:46 +02:00 |
|
Christian Parpart
|
a640ca6fe7
|
Merge pull request #7080 from ethereum/isoltest-string-parse-print-fix
[isoltest] Fixes parsing and printing strings with *basic* escape sequences in it.
|
2019-07-22 16:28:40 +02:00 |
|
Christian Parpart
|
d54fbcbe64
|
Merge pull request #7099 from ethereum/release_ppa-script-branch-semantics
Change the way release_ppa.sh treats branches.
|
2019-07-22 16:27:50 +02:00 |
|
Christian Parpart
|
cb5df90251
|
Change the way release_ppa.sh treats branches.
Only release branch is treated release branch,
and everything else is treated a development branch.
|
2019-07-22 14:49:30 +02:00 |
|
Leonardo
|
264035f0dd
|
Merge pull request #7120 from ethereum/smt_refactor_inlining
[SMTChecker] Refactor function inlining
|
2019-07-22 14:20:32 +02:00 |
|
Erik Kundt
|
41fb6f4ff8
|
isoltest: Removes additional whitespaces from output.
|
2019-07-22 13:43:20 +02:00 |
|
Erik Kundt
|
8c51a089d7
|
isoltest: Makes -> declaration optional.
|
2019-07-22 13:25:11 +02:00 |
|
Christian Parpart
|
58d8243921
|
isoltest: Fixes parsing and printing strings with *basic* escape sequences in it.
We explicitly did not implement a fully conformant ANSI escape sequence
parser but only what is needed for now.
|
2019-07-22 11:32:17 +02:00 |
|
Leonardo
|
535553b523
|
Merge pull request #7138 from dm4/fix-typo
Fix typo in Yul optimizer
|
2019-07-22 11:06:35 +02:00 |
|
dm4
|
4dc368db3a
|
Fix typo in Yul optimizer
|
2019-07-22 16:25:47 +08:00 |
|
Leonardo Alt
|
b204f27047
|
[SMTChecker] EncodingContext config flag to accumulate assertions
|
2019-07-19 19:31:25 +02:00 |
|
Leonardo
|
508cf66da2
|
Merge pull request #7062 from ethereum/smt_chc_checker
[SMTChecker] Add skeleton for CHC
|
2019-07-19 15:41:43 +02:00 |
|
Leonardo Alt
|
03cc124f32
|
Add CHC skeleton
|
2019-07-19 11:52:05 +02:00 |
|
chriseth
|
8ba00cd7dd
|
Merge pull request #7126 from ethereum/addComprMSizeTest
Add another test related to stack compressor and msize.
|
2019-07-18 20:12:11 +02:00 |
|
chriseth
|
1d673a3b99
|
Merge pull request #7033 from ethereum/additionalTypeInfo
Additional type info for ABI.
|
2019-07-18 18:33:19 +02:00 |
|
chriseth
|
a30be56c27
|
Additional type info for ABI.
|
2019-07-18 16:54:11 +02:00 |
|