chriseth
|
3c4f558242
|
Tests
|
2019-08-15 16:30:05 +02:00 |
|
chriseth
|
a2a06d0318
|
Side effects propagator.
|
2019-08-15 16:30:05 +02:00 |
|
Bhargava Shastry
|
ffbf7e6c7a
|
jsoncpp: force explicit casts for integer to floating point conversions
|
2019-08-15 16:21:45 +02:00 |
|
chriseth
|
c047803b80
|
Change BreadthFirstSearch to use value types instead of pointers.
|
2019-08-15 16:10:10 +02:00 |
|
Leonardo
|
2fb442366f
|
Merge pull request #7121 from ethereum/smt_chc_functions
[SMTChecker] CHC blocks for functions and asserts
|
2019-08-15 13:22:03 +02:00 |
|
Leonardo Alt
|
1a70a46f9b
|
[CHC] Add function blocks and check asserts
|
2019-08-15 12:25:15 +02:00 |
|
chriseth
|
2508cbc1eb
|
Merge pull request #7095 from ethereum/isoltest-failure-reason
[isoltest] Support FAILURE with reason
|
2019-08-15 11:37:56 +02:00 |
|
Leo Arias
|
d25a34377f
|
Install the libcvc library
|
2019-08-15 04:38:55 +00:00 |
|
Leo Arias
|
7573133626
|
Fix the stage path
|
2019-08-15 02:14:21 +00:00 |
|
Leo Arias
|
47153430b2
|
Build cvc4 when packaging the snap
|
2019-08-15 00:49:21 +00:00 |
|
chriseth
|
e946b7ab34
|
Merge pull request #7221 from ethereum/calldataLValueError
Allow writing to value-type arguments in external functions + Better error messages on attempted writes to calldata.
|
2019-08-14 23:56:35 +02:00 |
|
Erik Kundt
|
6c73bc5bac
|
[isoltest] Refactors parameter formatting.
|
2019-08-14 21:28:43 +02:00 |
|
Erik Kundt
|
18157f5a49
|
[isoltest] Splits smoke test into separate files.
|
2019-08-14 21:28:43 +02:00 |
|
Erik Kundt
|
30483acc42
|
[isoltest] Support FAILURE with reason.
|
2019-08-14 21:28:43 +02:00 |
|
Bhargava Shastry
|
0b35cbc22c
|
Inherit defaults cmake options in toolchain file used by ossfuzz builder.
|
2019-08-14 18:06:37 +02:00 |
|
Daniel Kirchner
|
e545103ec8
|
Extract reasonOfFailure to lambda function.
|
2019-08-14 17:59:48 +02:00 |
|
Daniel Kirchner
|
b0a5666b43
|
Better error messages when writing to expressions that cannot be written to.
|
2019-08-14 17:59:48 +02:00 |
|
chriseth
|
fd7215dad0
|
Merge pull request #7255 from ethereum/circleci-soltest-merge
Merges soltest tests per EVM/flags into a single one.
|
2019-08-14 17:21:40 +02:00 |
|
Christian Parpart
|
b94bdfcec0
|
Merges soltest tests per EVM/flags into a single one.
Because of EVMONE, speeds up test runs we can do that now.
|
2019-08-14 16:51:52 +02:00 |
|
Christian Parpart
|
a075588618
|
circleci: Fixes logfile naming, not accidentally overriding others
|
2019-08-14 16:51:52 +02:00 |
|
chriseth
|
bb4e7de38c
|
Merge pull request #7234 from ethereum/extractSideEffects
[Yul] Extract side-effects into their own struct.
|
2019-08-14 16:00:17 +02:00 |
|
chriseth
|
fb8137dfed
|
Merge pull request #7246 from ethereum/fix-7245
Avoid aggregate initialization of EWasmToText class
|
2019-08-14 15:33:03 +02:00 |
|
chriseth
|
1c49216c26
|
Merge pull request #7207 from ethereum/missing-docker-file
Add missing docker file for ubuntu 1804
|
2019-08-14 15:31:49 +02:00 |
|
chriseth
|
7d30fbdef0
|
Extract side effects into their own struct.
|
2019-08-14 15:06:10 +02:00 |
|
Bhargava Shastry
|
ddc3ce0eae
|
Avoid aggregate initialization of EWasmToText class
|
2019-08-14 13:40:46 +02:00 |
|
Mathias Baumann
|
3c927eeeda
|
Add missing docker file for Ubuntu 18.04
|
2019-08-14 00:54:55 +02:00 |
|
chriseth
|
d5744b3c1c
|
Merge pull request #7242 from ethereum/fixErasingMemoryStorage
Properly set storage and memory after erasing potentially destroyed keys
|
2019-08-13 19:53:23 +02:00 |
|
chriseth
|
e396dc7246
|
Properly set storage and memory after erasing potentially destroyed keys
|
2019-08-13 18:43:15 +02:00 |
|
chriseth
|
abed8119fc
|
Merge pull request #7205 from ethereum/cxx17
Defaulting to C++17 for building.
|
2019-08-13 18:15:26 +02:00 |
|
chriseth
|
823f06625a
|
Merge pull request #7230 from ethereum/callgraph_generator
Callgraph generator.
|
2019-08-13 18:04:56 +02:00 |
|
chriseth
|
0c2f8ddfae
|
Merge pull request #7231 from ethereum/extractMSize
[Yul] Remove ContainsMSize from side-effect-collector.
|
2019-08-13 18:03:51 +02:00 |
|
Christian Parpart
|
e91c6acbc3
|
Defaulting to C++17 for building.
|
2019-08-13 16:19:18 +02:00 |
|
Daniel Kirchner
|
bd105ad4b1
|
Experimental static Z3 PPA script.
|
2019-08-13 16:19:18 +02:00 |
|
chriseth
|
57125de9ef
|
Remove ContainsMSize from side-effect-collector.
|
2019-08-13 13:34:33 +02:00 |
|
chriseth
|
aae1d98724
|
Merge pull request #7227 from ethereum/fixdoclink
[Trivial] Fix link to Contract ABI in source code
|
2019-08-13 13:25:48 +02:00 |
|
chriseth
|
3068bca01e
|
Merge pull request #7228 from ethereum/build-dir-var
[Trivial] Test scripts: Make build dir a variable
|
2019-08-13 13:18:58 +02:00 |
|
mingchuan
|
53af4e082e
|
Callgraph generator.
|
2019-08-13 12:49:32 +02:00 |
|
Mathias Baumann
|
30373d5719
|
Test scripts: Make build dir a variable
|
2019-08-13 12:44:29 +02:00 |
|
Mathias Baumann
|
444395960f
|
Fix link to Contract ABI in source code
|
2019-08-13 12:43:04 +02:00 |
|
chriseth
|
98e3caa28a
|
Merge pull request #7220 from ethereum/z3CMakeFix
CMake: Properly disable z3, if z3 version cannot be determined.
|
2019-08-13 11:49:52 +02:00 |
|
Daniel Kirchner
|
05940ef64a
|
Merge pull request #7212 from ethereum/removeSharedZ3Docker
Remove the shared Z3 build from the testing Dockerfile.
|
2019-08-13 10:54:49 +02:00 |
|
chriseth
|
c82e46842a
|
Merge pull request #7226 from ethereum/release
Merge release back into develop.
|
2019-08-13 10:50:59 +02:00 |
|
chriseth
|
a6cbc3b857
|
Merge pull request #7225 from ethereum/setVersionTo0512
Set version to 0.5.12.
|
2019-08-13 10:50:28 +02:00 |
|
chriseth
|
445376ef7c
|
Set version to 0.5.12.
|
2019-08-13 00:18:10 +02:00 |
|
chriseth
|
32c3da2c81
|
Merge pull request #7201 from ethereum/shadow-erased-7148
YulInterpreter: Call functions with the correct context
|
2019-08-12 23:58:38 +02:00 |
|
chriseth
|
871a97497f
|
Merge pull request #7224 from ethereum/docs-compiler-link
[DOCS] Change link in using compiler
|
2019-08-12 23:55:52 +02:00 |
|
chriseth
|
22be85921b
|
Merge pull request #7222 from ethereum/fixVersionPruning
Remove version in errors for release build.
|
2019-08-12 21:44:45 +02:00 |
|
Chris Chinchilla
|
ba9b14cbbd
|
Change link
|
2019-08-12 18:49:55 +02:00 |
|
chriseth
|
4596a761c4
|
Remove version in errors for release build.
|
2019-08-12 17:23:56 +02:00 |
|
Mathias Baumann
|
ccfcee5b80
|
YulInterpreter: Fix wrong context passed to called function
|
2019-08-12 17:12:53 +02:00 |
|