Daniel Kirchner
|
90e494615e
|
Build soljson.js with embedded base64-encoded wasm binary.
|
2020-01-13 10:51:48 +01:00 |
|
chriseth
|
57c00eece8
|
Require specific version of g++ to make PPA happy.
|
2019-12-11 15:29:19 +01:00 |
|
chriseth
|
07d271e770
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-12-10 10:07:30 +01:00 |
|
chriseth
|
9b4abb2b7f
|
Change jsoncpp version everywhere.
|
2019-12-09 18:39:18 +01:00 |
|
Alex Beregszaszi
|
ac03bfc0b1
|
Drop solc-js backwards compatibility for 0.6
Reverts ee3a8341
|
2019-12-09 17:33:50 +00:00 |
|
chriseth
|
071a52f0ff
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-12-09 14:43:53 +01:00 |
|
Alex Beregszaszi
|
ee3a834165
|
Add backwards compatibility to the generated soljson.js for solc-js <0.5.14
Reverts part of edd80a9
|
2019-12-09 13:17:32 +00:00 |
|
chriseth
|
2f11ac3590
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-12-03 21:17:15 +01:00 |
|
chriseth
|
96d777d7f1
|
Merge commit 'a7d481fb9' into develop_060
|
2019-12-03 20:47:30 +01:00 |
|
Daniel Kirchner
|
c9be3bdf7e
|
Rename cmake option
|
2019-12-03 15:11:38 +01:00 |
|
Daniel Kirchner
|
e04d8955ab
|
Update to Z3 4.8.7 and cherry-pick build fix commit
|
2019-12-03 14:41:02 +01:00 |
|
Daniel Kirchner
|
edd80a986d
|
Update emscripten to 1.39.3
|
2019-11-29 12:55:02 +01:00 |
|
Daniel Kirchner
|
cdbaf067c7
|
Internal emscripten build cleanup
|
2019-11-29 10:21:29 +01:00 |
|
chriseth
|
f7fc42d8c3
|
Merge pull request #7826 from ethereum/develop
Merge develop into develop_060
|
2019-11-28 13:37:19 +01:00 |
|
mingchuan
|
db60d123d0
|
[YulOpt] Implement loop-invariant code motion
|
2019-11-28 11:59:29 +01:00 |
|
Leonardo Alt
|
389da5228e
|
Merge remote-tracking branch 'origin/develop' into merge_develop_060
|
2019-11-20 12:27:40 +01:00 |
|
chriseth
|
0033d63522
|
Run more tests on istanbul.
|
2019-11-19 17:09:18 +01:00 |
|
Leonardo
|
684ccea6f0
|
Merge pull request #7697 from ethereum/develop
Merge develop into develop_060
|
2019-11-12 15:30:34 +01:00 |
|
Bhargava Shastry
|
066626a3e8
|
Remove obsolete installation scripts that were used by the fuzzer build CI
|
2019-11-12 11:26:59 +01:00 |
|
Daniel Kirchner
|
8148619d5b
|
Merge branch 'develop' into develop_060
|
2019-11-12 10:32:41 +01:00 |
|
Mathias Baumann
|
e35a23bbcc
|
Add `switch (..) to style checker
|
2019-11-11 17:44:21 +01:00 |
|
Mathias Baumann
|
e643c4ca28
|
Add `while (..) to style checker
|
2019-11-11 17:28:41 +01:00 |
|
Daniel Kirchner
|
b3174db322
|
Update PPA build script for Z3 to version 4.8.6. And add eoan to Z3 and release PPA script.
|
2019-11-11 14:55:00 +01:00 |
|
chriseth
|
21e65076b3
|
Merge pull request #7650 from ethereum/develop
Merge develop into develop_060
|
2019-11-06 21:56:55 +01:00 |
|
Chris Chinchilla
|
c9a56d5339
|
Remove macOS flag
|
2019-11-05 17:02:37 +01:00 |
|
chriseth
|
07c67b98f6
|
Merge remote-tracking branch 'origin/develop' into HEAD
|
2019-10-28 12:12:52 +01:00 |
|
Erik Kundt
|
ec53899a10
|
Fixes source extraction from docs.
|
2019-10-23 22:13:24 +02:00 |
|
Mathias L. Baumann
|
7e01696030
|
Merge pull request #7554 from ethereum/develop
Merge develop into develop_060
|
2019-10-21 17:05:12 +02:00 |
|
kcy1019
|
547cd2eb71
|
Remove dependency on boost::regex from Whiskers
|
2019-10-16 21:26:49 +09:00 |
|
chriseth
|
9719d28526
|
Merge pull request #7475 from ethereum/move-solcjs-tests
Migrate solc-js tests
|
2019-10-16 12:35:09 +02:00 |
|
Gaith Hallak
|
9d34d7de2f
|
Remove trailing spaces from JSON output
|
2019-10-02 18:01:47 +03:00 |
|
Erik Kundt
|
8adde5abbe
|
Migrates solc-js test to ext. test infrastructure.
solc-js commit: 9d9de6338729cf5fbd62f479d54b7097e8a7e395
|
2019-09-25 16:03:08 +02:00 |
|
Daniel Kirchner
|
c72d1ffb65
|
Merge pull request #7421 from ethereum/develop
Merge develop into develop_060
|
2019-09-13 12:14:02 +02:00 |
|
Erik Kundt
|
ad5fe2bf45
|
Fixes codespell.
|
2019-09-12 22:15:03 +02:00 |
|
chriseth
|
acf10ef60f
|
Merge pull request #7393 from ethereum/develop
Merge develop into 0.6.0
|
2019-09-10 12:27:02 +02:00 |
|
Daniel Kirchner
|
998f7de2c8
|
Change command line test from --ast to --ast-json.
|
2019-09-06 13:46:18 +02:00 |
|
Crawford Leeds
|
4138fc4b59
|
add support for macOS Catalina in scripts/install_deps.sh
|
2019-09-05 21:20:02 -06:00 |
|
Daniel Kirchner
|
ef407ea896
|
Try to fix appveyor run by chaning bytecode pull output from stderr to stdout.
|
2019-09-04 10:57:01 +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 |
|
Mathias Baumann
|
30373d5719
|
Test scripts: Make build dir a variable
|
2019-08-13 12:44:29 +02:00 |
|
Daniel Kirchner
|
2f48bd6fb9
|
Remove ubuntu cosmic (EOL July 18, 2019) from release script.
|
2019-08-12 11:36:48 +02:00 |
|
chriseth
|
77212627fb
|
Remove traces of aleth and IPC.
|
2019-08-08 17:35:46 +02:00 |
|
rocky
|
7fd7cc1e76
|
Produce AST even when there are parser errors
|
2019-08-07 15:25:53 +02:00 |
|
Chris Chinchilla
|
85ec44826a
|
Add style checker
Rename files
Changes from review
Update test/docsCodeStyle.sh
Co-Authored-By: chriseth <chris@ethereum.org>
Update test/docsCodeStyle.sh
Co-Authored-By: chriseth <chris@ethereum.org>
Remove extraneous brackets
|
2019-08-05 13:00:30 +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 |
|
Christian Parpart
|
7b3aba81fb
|
Adds a test to check_style.sh to check for spaces before colon (:) in range based for loops.
|
2019-06-24 17:32:58 +02:00 |
|
Christian Parpart
|
b58170f890
|
Refactor & Speedups on CircleCI; split out out codecov into dedicated tests.
|
2019-06-21 20:26:10 +02:00 |
|
Leonardo Alt
|
c3ccce9745
|
Fix run_proofs script to actually run proofs
|
2019-06-20 15:58:10 +02:00 |
|
Leonardo Alt
|
51ba7f5f17
|
Add CI job for optimization proofs
|
2019-06-19 22:29:23 +02:00 |
|