cerc-io/solidity
16
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
14,363 Commits 348 Branches 121 Tags 100 MiB
16ddbd5391
Commit Graph

14363 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
chriseth
0c0b5a09cd Add another test related to stack compressor and msize. 2019-07-18 16:40:46 +02:00
Leonardo Alt
382df64899 [SMTChecker] Refactor function inlining 2019-07-18 13:56:48 +02:00
rocky
f9b631f410 A pragma version mismatch is not fatal if ... 
error recovery is desired.

Fixes #7085
 2019-07-17 19:01:01 -04:00
chriseth
15cba9163e
Merge pull request #7106 from ethereum/fixMSizeOpt 
Do not overwrite allowMSizeOptimization
 2019-07-17 18:17:40 +02:00
Leonardo
dd031edd59
Merge pull request #7031 from ethereum/smt_chcsolver_interface 
[CHCChecker] Add CHCSolverInterface and Z3CHCSolverInterface
 2019-07-17 17:29:53 +02:00
chriseth
c62a63a091
Merge pull request #7117 from ethereum/abiv2-add-bool-dynarray 
Add bool type and array of bool and dynamic byte types to abiv2 protobuf spec/converter
 2019-07-17 15:08:07 +02:00