Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2754 commits
Select commit Hold shift + click to select a range
f5f2bbb
Merge pull request #7184 from ethereum/smt_fix_scanner
Aug 10, 2019
360f868
[SMTChecker] Fix literal string type mismatch
Aug 7, 2019
955b970
[SMTChecker] Relax expectations for complex nonlinear tests
Aug 9, 2019
b285e08
Merge pull request #7214 from ethereum/smt_relax_nonlinear_expecteation
Aug 12, 2019
2f48bd6
Remove ubuntu cosmic (EOL July 18, 2019) from release script.
ekpyron Aug 12, 2019
bef6228
[SMTChecker] Create CHC constructor/interface/error blocks
Jul 9, 2019
0ca4a74
Merge pull request #7216 from ethereum/ppaRemoveCosmic
ekpyron Aug 12, 2019
05cc866
Buglist entry for calldata structs with dynamically encoded, but stat…
ekpyron Aug 12, 2019
ffe9061
Merge pull request #7210 from ethereum/smt_fix_type_mismatch
Aug 12, 2019
d8c0c82
Merge pull request #7217 from ethereum/buglistStructOffset
chriseth Aug 12, 2019
7553653
Prepare changelog for release.
chriseth Aug 12, 2019
dcf2e49
Merge pull request #7218 from ethereum/prepare0.511
chriseth Aug 12, 2019
cbac3a4
Merge pull request #7107 from ethereum/smt_chc_constructor_interface
Aug 12, 2019
c082d0b
Merge pull request #7219 from ethereum/develop
chriseth Aug 12, 2019
2d637a4
Proper cmake failure if z3 version cannot be determined.
ekpyron Aug 12, 2019
ccfcee5
YulInterpreter: Fix wrong context passed to called function
Marenz Aug 8, 2019
4596a76
Remove version in errors for release build.
chriseth Aug 12, 2019
ba9b14c
Change link
Aug 12, 2019
22be859
Merge pull request #7222 from ethereum/fixVersionPruning
chriseth Aug 12, 2019
871a974
Merge pull request #7224 from ethereum/docs-compiler-link
chriseth Aug 12, 2019
32c3da2
Merge pull request #7201 from ethereum/shadow-erased-7148
chriseth Aug 12, 2019
445376e
Set version to 0.5.12.
chriseth Aug 12, 2019
a6cbc3b
Merge pull request #7225 from ethereum/setVersionTo0512
chriseth Aug 13, 2019
c82e468
Merge pull request #7226 from ethereum/release
chriseth Aug 13, 2019
05940ef
Merge pull request #7212 from ethereum/removeSharedZ3Docker
ekpyron Aug 13, 2019
98e3caa
Merge pull request #7220 from ethereum/z3CMakeFix
chriseth Aug 13, 2019
4443959
Fix link to Contract ABI in source code
Marenz Aug 13, 2019
30373d5
Test scripts: Make build dir a variable
Marenz Aug 13, 2019
53af4e0
Callgraph generator.
sifmelcara Aug 6, 2019
3068bca
Merge pull request #7228 from ethereum/build-dir-var
chriseth Aug 13, 2019
aae1d98
Merge pull request #7227 from ethereum/fixdoclink
chriseth Aug 13, 2019
57125de
Remove ContainsMSize from side-effect-collector.
chriseth Aug 13, 2019
bd105ad
Experimental static Z3 PPA script.
ekpyron Jun 3, 2019
e91c6ac
Defaulting to C++17 for building.
Aug 9, 2019
0c2f8dd
Merge pull request #7231 from ethereum/extractMSize
chriseth Aug 13, 2019
823f066
Merge pull request #7230 from ethereum/callgraph_generator
chriseth Aug 13, 2019
abed811
Merge pull request #7205 from ethereum/cxx17
chriseth Aug 13, 2019
e396dc7
Properly set storage and memory after erasing potentially destroyed keys
chriseth Aug 13, 2019
d5744b3
Merge pull request #7242 from ethereum/fixErasingMemoryStorage
chriseth Aug 13, 2019
3c927ee
Add missing docker file for Ubuntu 18.04
Marenz Aug 9, 2019
ddc3ce0
Avoid aggregate initialization of EWasmToText class
bshastry Aug 14, 2019
7d30fbd
Extract side effects into their own struct.
chriseth Aug 13, 2019
1c49216
Merge pull request #7207 from ethereum/missing-docker-file
chriseth Aug 14, 2019
fb8137d
Merge pull request #7246 from ethereum/fix-7245
chriseth Aug 14, 2019
bb4e7de
Merge pull request #7234 from ethereum/extractSideEffects
chriseth Aug 14, 2019
a075588
circleci: Fixes logfile naming, not accidentally overriding others
Aug 14, 2019
b94bdfc
Merges soltest tests per EVM/flags into a single one.
Aug 14, 2019
fd7215d
Merge pull request #7255 from ethereum/circleci-soltest-merge
chriseth Aug 14, 2019
b0a5666
Better error messages when writing to expressions that cannot be writ…
ekpyron Aug 12, 2019
e545103
Extract reasonOfFailure to lambda function.
ekpyron Aug 13, 2019
0b35cbc
Inherit defaults cmake options in toolchain file used by ossfuzz buil…
bshastry Aug 14, 2019
30483ac
[isoltest] Support FAILURE with reason.
erak Aug 7, 2019
18157f5
[isoltest] Splits smoke test into separate files.
erak Aug 7, 2019
6c73bc5
[isoltest] Refactors parameter formatting.
erak Aug 14, 2019
e946b7a
Merge pull request #7221 from ethereum/calldataLValueError
chriseth Aug 14, 2019
4715343
Build cvc4 when packaging the snap
Aug 15, 2019
7573133
Fix the stage path
Aug 15, 2019
d25a343
Install the libcvc library
Aug 15, 2019
2508cbc
Merge pull request #7095 from ethereum/isoltest-failure-reason
chriseth Aug 15, 2019
1a70a46
[CHC] Add function blocks and check asserts
Jul 17, 2019
2fb4423
Merge pull request #7121 from ethereum/smt_chc_functions
Aug 15, 2019
c047803
Change BreadthFirstSearch to use value types instead of pointers.
chriseth Aug 13, 2019
ffbf7e6
jsoncpp: force explicit casts for integer to floating point conversions
bshastry Aug 15, 2019
a2a06d0
Side effects propagator.
chriseth Aug 13, 2019
3c4f558
Tests
chriseth Aug 14, 2019
c89eb84
Merge pull request #7268 from ethereum/fix-7264
bshastry Aug 15, 2019
276b275
Merge pull request #7238 from ethereum/sideEffectsPropagator
chriseth Aug 15, 2019
058bbd3
Merge pull request #7252 from ethereum/enable-c++17-in-libfuzzer-cmake
ekpyron Aug 16, 2019
4a65c5e
Compile succeeding syntax tests.
ekpyron Aug 16, 2019
04af1b4
Merge pull request #7272 from ethereum/compileSyntaxTests
ekpyron Aug 16, 2019
a39d26f
Merge pull request #7262 from elopio/snap-build-cvc4
chriseth Aug 19, 2019
e0507b5
Update metadata.rst
ayrat555 Aug 19, 2019
95d426b
Merge pull request #7277 from ayrat555/patch-1
chriseth Aug 19, 2019
6ed219e
Support multiple sources for syntax tests.
ekpyron Aug 16, 2019
aa2167b
Extract some import tests.
ekpyron Aug 16, 2019
5e2a31f
Merge pull request #7271 from ethereum/importTestSupport
chriseth Aug 19, 2019
0e3ff25
Make sure json output array order is consistent
Marenz Aug 19, 2019
34fbaf0
Merge pull request #7279 from ethereum/consistent-json-order
chriseth Aug 19, 2019
16ddbd5
Update assembly.rst
Solexplorer Aug 22, 2019
b5048bd
Merge pull request #7294 from Solexplorer/patch-1
Aug 23, 2019
c27235b
[SMTChecker] Adapt division test for Z3 only
Aug 23, 2019
bb10454
Merge pull request #7298 from ethereum/smt_fix_division
Aug 24, 2019
755dae5
[isoltest] Supports empty revert message.
erak Aug 19, 2019
7f6bb54
Fix deprecated option style for docCheck
Marenz Aug 26, 2019
e1bb4b9
Merge pull request #7280 from ethereum/isoltest-empty-revert
Marenz Aug 26, 2019
d47863e
Merge pull request #7300 from ethereum/fix-docCheck
erak Aug 26, 2019
86c981d
proto fuzzer: Use a yul optimizer dictionary
bshastry Jun 15, 2019
9227907
Do not create duplicate case statements
bshastry Aug 22, 2019
d95252f
Add wget to the build packages of the snap
Aug 26, 2019
5749a5d
Introduce istanbul and berlin versions
axic Aug 26, 2019
fd58ca0
Merge pull request #7301 from elopio/patch-6
erak Aug 26, 2019
a54d69b
Merge pull request #7286 from ethereum/protofuzzer_input_generation
bshastry Aug 26, 2019
214e5c6
[SMTChecker] Fix index access type type error
Aug 27, 2019
e74b63b
Merge pull request #7306 from ethereum/smt_fix_type_expression
Aug 28, 2019
dc4a44f
Protection to not lose money.
chriseth Aug 28, 2019
a82fbf7
Merge pull request #7313 from ethereum/chriseth-patch-1
chriseth Aug 28, 2019
bd5a70e
disable asan smt
Aug 28, 2019
459aed9
Merge pull request #7311 from ethereum/asan_no_smt
Aug 29, 2019
e86b5cf
Replace byte(A, X) by zero if A >= 32
chriseth Aug 28, 2019
01e0a12
Fix handling of scopes in Yul Interpreter.
chriseth Aug 28, 2019
3c963eb
Merge pull request #7316 from ethereum/addByteOpt
chriseth Sep 2, 2019
3963d0c
Create bytes/string values of shorter than 32 bytes and adjust invali…
bshastry Aug 6, 2019
a988b64
Merge pull request #7312 from ethereum/fixInterpreterScopes
chriseth Sep 2, 2019
46a133e
Generate bytes and string literals that are longer than 32 bytes
bshastry Aug 6, 2019
bdf2927
Change interpreter memory to be non-contiguous.
chriseth Sep 2, 2019
09b03fa
Merge pull request #7325 from ethereum/arbitraryMemoryForInterpreter
chriseth Sep 2, 2019
7291e12
Approximate .clang-format for the C++ style used
Aug 13, 2019
53fc5be
Merge pull request #7240 from rocky/add-clang-format
chriseth Sep 2, 2019
9a6357a
Merge pull request #7188 from ethereum/abiv2-use-bytes-string-longer-…
chriseth Sep 2, 2019
bcf0c18
Yul proto fuzzer: Do not reuse variable names
bshastry Aug 27, 2019
1c5845e
Side-effects of user-defined functions.
chriseth Aug 13, 2019
127bcfc
Take user function side-effects into account for unused pruner.
chriseth Aug 29, 2019
55024d4
Test updates.
chriseth Aug 15, 2019
635f638
Changelog entry.
chriseth Aug 29, 2019
a774b2d
[SMTChecker] Zero-initialize arrays
Aug 22, 2019
a51577f
Fix Windows build
Sep 2, 2019
6427ec6
Yul interpreter: Out of bounds mloads return zero
bshastry Sep 3, 2019
d1831b1
Merge pull request #7330 from ethereum/fix-yuli-mload
chriseth Sep 3, 2019
029941a
Merge pull request #7251 from ethereum/sideEffectsForUserDefinedFunct…
chriseth Sep 3, 2019
6e4e54c
Merge pull request #7309 from ethereum/yulproto-refactor
chriseth Sep 3, 2019
f9459fc
Fix typo in AssemblySwitch in grammar file
guilhermejcgois Sep 3, 2019
d131784
Add Load Resolver to Yulopti
Sep 3, 2019
ebd16eb
Merge pull request #7321 from ethereum/smt_const_array
chriseth Sep 3, 2019
4f68cd4
Merge pull request #7331 from guilhermejcgois/patch-1
chriseth Sep 3, 2019
ea4ea5a
Merge pull request #7333 from ethereum/yulopti_add_load_resolver
chriseth Sep 3, 2019
dce5250
Merge pull request #7329 from ethereum/istanbul
axic Sep 3, 2019
59df7db
Add upper bound assert for PushSub/PushSubSize
axic Jan 29, 2019
4837ef4
Yul proto fuzzer: Make function definition a statement
bshastry Aug 27, 2019
d066ba7
Force call of every valid func declaration
bshastry Sep 3, 2019
fce65ec
Randomize calldataload and storage slots and use dictionary tokens as…
bshastry Sep 3, 2019
ef407ea
Try to fix appveyor run by chaning bytecode pull output from stderr t…
ekpyron Sep 4, 2019
c5fbf23
Merge pull request #7337 from ethereum/appveyorFailure
chriseth Sep 4, 2019
1fd744c
Merge pull request #7318 from ethereum/yulproto-funcdef-stmt
chriseth Sep 4, 2019
8485a1a
Change ABI sorting order.
chriseth Sep 3, 2019
dd2c003
Merge pull request #7334 from ethereum/asm-safety
Sep 4, 2019
b3dd957
Adds Gitter notifications for nightly builds and tests.
erak Sep 4, 2019
fb53264
Merge pull request #7341 from ethereum/nightly-gitter-notification
chriseth Sep 4, 2019
7dd7778
Merge pull request #7335 from ethereum/abiSorting
chriseth Sep 4, 2019
6b27ef8
Yul proto fuzzer: Additional blockchain opcodes
bshastry Sep 4, 2019
c889e6e
Yul proto fuzzer: Add create and call opcodes
bshastry Sep 4, 2019
049e950
Merge pull request #7344 from ethereum/yul-add-more-blockchain-opcodes
chriseth Sep 4, 2019
edbec01
Activate load resolver.
chriseth Aug 29, 2019
a8e8eae
Fix load resolver and properly take side-effects of user-defined
chriseth Sep 2, 2019
633932c
Update tests.
chriseth Aug 29, 2019
5b4b401
Extend memory beyond 32 byte addresses in interpreter.
chriseth Sep 4, 2019
137a898
Yul proto fuzzer: Fix typo in low level call
bshastry Sep 4, 2019
96980d0
Merge pull request #7357 from ethereum/fix-callcode-typo
bshastry Sep 5, 2019
7f797bc
Merge pull request #7342 from ethereum/extendedMemorySizeInterpreter
chriseth Sep 5, 2019
7148792
Refactor ExpressionCompiler with acceptAndConvert.
ekpyron Sep 5, 2019
7dcc47e
Merge pull request #7361 from ethereum/exprCompRefactor
chriseth Sep 5, 2019
4138fc4
add support for macOS Catalina in scripts/install_deps.sh
crawfordleeds Sep 6, 2019
5466639
Add fake release test build and test runs on CircleCI.
ekpyron Sep 6, 2019
7e80fce
Merge pull request #7375 from ethereum/fakeReleaseTestrun
chriseth Sep 6, 2019
e349fb1
Abiv2 proto fuzzer: Crop at least 32 bytes if last dynamically encode…
bshastry Sep 9, 2019
f5e976c
Merge pull request #7367 from crawfordleeds/develop
chriseth Sep 9, 2019
f1affba
Merge pull request #7380 from ethereum/fix-7355
chriseth Sep 9, 2019
96b6b45
Merge pull request #7324 from ethereum/activateLoadResolver
chriseth Sep 9, 2019
09fa31c
yul: Add new optimizer rules for create and create2 builtins
bshastry Sep 9, 2019
6596837
Merge pull request #7384 from ethereum/fix-7356
chriseth Sep 9, 2019
fd3ae0b
add chainid and selfbalance to lllc
winsvega Sep 2, 2019
5e12e0c
[isoltest] Fixes auto-update for revert.
erak Sep 9, 2019
45d6d45
Fixed a typo
balajipachai Sep 10, 2019
4452a9b
Merge pull request #7392 from balajipachai/patch-1
chriseth Sep 10, 2019
697e04f
Merge pull request #7389 from ethereum/isoltest-revert-fix
chriseth Sep 10, 2019
ca0b38c
Merge pull request #7327 from winsvega/newopcodes
chriseth Sep 10, 2019
8fe4fe7
Fixed a typo
balajipachai Sep 10, 2019
20f6fbf
Load resolver involving staticcall.
chriseth Sep 10, 2019
27fb79d
Fixed typo at the end of the file
balajipachai Sep 10, 2019
0a12b3b
Merge pull request #7394 from balajipachai/patch-1
chriseth Sep 10, 2019
57def9e
Merge pull request #7395 from balajipachai/patch-2
chriseth Sep 10, 2019
143e867
Merge pull request #7390 from ethereum/sloadTest
chriseth Sep 10, 2019
e735c01
[DOC] Clarify log functions
chriseth Sep 10, 2019
8ceab96
Shorten evmone link so it's not only for Linux
FlashSheridan Sep 10, 2019
5063e53
Merge pull request #7397 from FlashSheridan/patch-2
ekpyron Sep 11, 2019
d677a15
Add object access builtin functions
bshastry May 27, 2019
34022a2
Pseudo-randomly choose object/data identifier that is in scope
bshastry Sep 11, 2019
bbe1ac3
Merge pull request #7396 from ethereum/chriseth-patch-2
chriseth Sep 11, 2019
733d40d
Fix evmone filename for auto-discovery for windows and macos.
FlashSheridan Sep 10, 2019
ccdca32
isoltest: Fixes matching tests on platforms that don't use forward sl…
christianparpart Sep 11, 2019
2535091
Replace preprocessor macros with constexpr expressions.
ekpyron Sep 11, 2019
b3b8990
Merge pull request #7402 from ethereum/isoltest-win32-run-fix
erak Sep 11, 2019
4162c3d
[isoltest] Adds fallback formatting.
erak Sep 11, 2019
b962f58
Merge pull request #7405 from ethereum/isoltest-format-fix
chriseth Sep 11, 2019
e9346ca
Merge pull request #7400 from ethereum/evmoneSearch
chriseth Sep 11, 2019
a064e0f
Merge pull request #7236 from ethereum/proto-add-object-access
chriseth Sep 11, 2019
fcfe829
Introduce LiteralRematerializer and thus simplify StructuralSimplifier.
chriseth Sep 11, 2019
324cc71
Merge pull request #7408 from ethereum/literalRematerializer
chriseth Sep 11, 2019
4f80117
Use builtin iszero for for loop condition rewriting.
chriseth Sep 11, 2019
a7c987d
Link ossfuzz targets with -fsanitize=fuzzer instead of libFuzzingEngi…
bshastry Sep 12, 2019
b747c26
Merge pull request #7407 from ethereum/forLoopIntoBodyFix
chriseth Sep 12, 2019
368ef3d
Add clang docker file based on ubuntu disco
bshastry Aug 19, 2019
f86c5da
Fix SSA reverser in special case of declaration followed by self-assi…
ekpyron Sep 12, 2019
63a8cda
Merge pull request #7418 from ethereum/ssaReverseFix
chriseth Sep 12, 2019
20bada4
Refactor SSA transform.
chriseth Sep 12, 2019
192946c
Merge pull request #7413 from ethereum/ossfuzz-link-correctly
chriseth Sep 12, 2019
ad5fe2b
Fixes codespell.
erak Sep 12, 2019
02af613
Merge pull request #7419 from ethereum/checkspell-fix
chriseth Sep 12, 2019
e92b921
[isoltest] Adds support for fallback and ether functions.
erak Sep 9, 2019
5d58c43
Merge pull request #7388 from ethereum/isoltest-fallback-functions
ekpyron Sep 13, 2019
e1c238e
[SMTChecker] Add loop support
Aug 20, 2019
34ba617
Merge pull request #7133 from ethereum/smt_chc_loop
Sep 13, 2019
2d601a4
Merge pull request #7414 from ethereum/refactorSSA
chriseth Sep 13, 2019
47fae91
Add UseTab: ForIndentation
aarlt Sep 13, 2019
b7e6dc3
Fixed code example which utilizes non-existing function 'abs' - the v…
microbecode Sep 13, 2019
403fb7d
Update logic to track dynamically encoded parameters
bshastry Sep 12, 2019
eab9f65
Fix ICE when pop dyn storage array of mapping
Sep 14, 2019
48da5f0
ossfuzz: Create a separate cmake toolchain file for ossfuzz so that m…
bshastry Sep 16, 2019
34a84f3
Merge pull request #7431 from ethereum/fix_array_mapping
chriseth Sep 16, 2019
8b6b1ca
Merge pull request #7426 from aarlt/clang-format
chriseth Sep 16, 2019
54d936d
Merge pull request #7428 from microbecode/docs-remove-abs
chriseth Sep 16, 2019
58f0f9d
Merge pull request #7417 from ethereum/fix-7355-v2
chriseth Sep 17, 2019
df0b54d
[DOCS] Clearing mappings
Sep 16, 2019
7a79742
Out of body again.
chriseth Sep 11, 2019
68986a5
Test.
chriseth Sep 13, 2019
c224b09
Fix reordering bug in optimizer.
chriseth Sep 13, 2019
203447f
Merge pull request #7415 from ethereum/clang-dockerfile
chriseth Sep 17, 2019
cbf8aca
Merge pull request #7439 from ethereum/docs_clearing_mappings
chriseth Sep 17, 2019
1b8fe27
Merge pull request #7425 from ethereum/fixOrderOpt
chriseth Sep 17, 2019
5859a69
Merge pull request #7409 from ethereum/forLoopOutOfBody
chriseth Sep 17, 2019
520a3cc
[YulOpt] declare SSA var when control flow joins
sifmelcara Sep 7, 2019
9b31d72
solc fuzzer: Use randomly chosen evm version
bshastry Sep 17, 2019
7190227
Merge pull request #7379 from sifmelcara/ssa-var-after-control-flow-join
chriseth Sep 17, 2019
7c774c3
Merge pull request #7444 from ethereum/solc-fuzzer-add-evmversion
chriseth Sep 17, 2019
5a95090
Merge pull request #7432 from ethereum/fix-ossfuzz-build
chriseth Sep 17, 2019
ed9674b
[SMTChecker] Add as const function to SMTLib2Interface
Sep 18, 2019
839637e
Enables nightly tests for 0.6.0.
erak Sep 19, 2019
bfc8fd2
Document chainid and selfbalance.
chriseth Sep 19, 2019
0478eb1
Merge pull request #7459 from ethereum/circle-nightly-060
chriseth Sep 19, 2019
ae84782
Removes the optionality on `output` in ABI docs.
Sep 23, 2019
c4208a6
Merge pull request #7457 from ethereum/docAndTestsForChainIdAndSelfBa…
chriseth Sep 23, 2019
ca21659
Fix error message about accessing storage pointers.
chriseth Sep 19, 2019
973e4ca
Merge pull request #7453 from ethereum/smt_lib_const_array
chriseth Sep 24, 2019
83ef34f
[SMTChecker] Fix SMT name for function identifiers
Sep 18, 2019
9ce1ca2
Refactor Optimiser Steps Interface.
chriseth Sep 23, 2019
cda23d6
Merge pull request #7458 from ethereum/fixErrorMessage
chriseth Sep 24, 2019
387cb62
Merge pull request #7452 from ethereum/smt_fix_function_name
chriseth Sep 24, 2019
4558389
Merge pull request #7473 from ethereum/refactorSteps
chriseth Sep 24, 2019
cb4925f
Add clang build and test CIs
bshastry Sep 24, 2019
f85f6ba
Fixes doxygen style multiline comment parsing for files with CRLF as …
Aug 5, 2019
8847647
Merge pull request #7174 from ethereum/doxygen-multiline-comments-and…
christianparpart Sep 30, 2019
00d7dac
Fixes source location in warning for shadowing import delcarations.
christianparpart Sep 25, 2019
7bc8503
Merge pull request #7483 from ethereum/import-shadowing-source-location
chriseth Oct 1, 2019
a8ffbc7
Merge pull request #7477 from ethereum/add-clang-ci
chriseth Oct 1, 2019
cbdc3bc
Merge pull request #7470 from MicahZoltu/patch-2
chriseth Oct 1, 2019
a3dacc4
Update changelog for 0.5.12 release.
chriseth Oct 1, 2019
48c77c9
Merge pull request #7493 from ethereum/prepare_0512
chriseth Oct 1, 2019
7202ebb
Fix internal compiler error for arrays of recursive structs.
ekpyron Oct 1, 2019
641c06d
Merge pull request #7496 from ethereum/arraysOfRecursiveStructs
chriseth Oct 1, 2019
7709ece
Merge pull request #7497 from ethereum/develop
chriseth Oct 1, 2019
753a8a7
Merge solidity 'v0.5.12'
hydai Oct 21, 2019
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
28 changes: 28 additions & 0 deletions .circleci/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
## CircleCI integration

### Docker images

The docker images are build locally on the developer machine:

```!sh
cd .circleci/docker/

docker build -t ethereum/solidity-buildpack-deps:ubuntu1904 -f Dockerfile.ubuntu1904 .
docker push ethereum/solidity-buildpack-deps:ubuntu1904
```

which you can find on Dockerhub after the push at:

https://hub.docker.com/r/ethereum/solidity-buildpack-deps

where the image tag reflects the target OS to build Solidity and run its test on.

### Testing docker images locally

```!sh
cd solidity
# Mounts your local solidity directory in docker container for testing
docker run -v `pwd`:/src/solidity -ti ethereum/solidity-buildpack-deps:ubuntu1904 /bin/bash
cd /src/solidity
<commands_to_test_build_with_new_docker_image>
```
Loading