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
14,203 Commits 348 Branches 121 Tags
2a25d7461f9d4581d01605aee1f2b9fbd2e03bde
Commit Graph
14203 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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 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 Chinchillaandchriseth 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
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
chriseth 815eeb9abb Merge pull request #7069 from ethereum/protoevmonefuzz 
Add evmc and host interface implementation and use it in abiv2 fuzzer
 2019-07-17 15:07:19 +02:00
Chris Chinchilla 61e3ca67cb Merge pull request #7097 from ethereum/docs-jp-trans 
[DOCS] Add Japanese translation
 2019-07-17 15:06:39 +02:00
Bhargava Shastry 90d421352a Add bool type and array of bool and dynamic byte types 2019-07-17 14:24:43 +02:00
Bhargava Shastry 00bca77cca Updated evmc to version tracked by evmone v0.1.0 2019-07-17 14:24:27 +02:00
Christian Parpart 810a0de1aa Add evmc and host interface implementation. Modify fuzzer harness to make use of evmc host/vm. 2019-07-17 10:55:33 +02:00
chriseth 4fa7800458 Merge pull request #7109 from ethereum/ossfuzz-ci-update 
Update fuzzing deps in docker image and ossfuzz CMakeLists.txt
 2019-07-17 10:51:28 +02:00
chriseth 35ca6ef5ed Merge pull request #7079 from ethereum/moreWorkOnEWasmExternals 
Add eWasm externals.
 2019-07-16 14:51:43 +02:00
chriseth a0a0a34a21 Do not overwrite allowMSizeOptimization 2019-07-16 10:13:18 +02:00
chriseth 147f736f10 Merge pull request #7092 from ethereum/isoltest-parser-linenumbers 
[isoltest] Add source location to parser errors
 2019-07-16 10:09:15 +02:00
chriseth a5a7983af7 Merge pull request #7093 from ethereum/isoltest-constructor-value 
[isoltest] Pass ether along with constructor
 2019-07-16 10:03:46 +02:00