cerc-io/solidity
10
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
23,856 Commits 348 Branches 121 Tags 100 MiB

Default Branch

develop

72671d6c88 · Merge pull request #14581 from ethereum/purge-using-namespace-std-from-test-libsolidity-util · Updated 2023-10-02 15:53:53 +00:00
 ZIP  TAR.GZ

Branches

osxBinaries

661d11035b · Merge pull request #11029 from ethereum/setreleasedatefor082 · Updated 2021-03-02 15:54:34 +00:00
4238
0
 Included
 ZIP  TAR.GZ
fix-use-canonical

f76edbb6d4 · libsolutil: Use boost canonical for absolute path. · Updated 2021-03-01 10:25:07 +00:00
4252
1
 ZIP  TAR.GZ
fuzz-via-ir

f8775449c2 · Catch yul stack too deep error. · Updated 2021-02-25 12:59:52 +00:00
4255
2
 ZIP  TAR.GZ
function-call-graph

64582e057c · Test suite for FunctionCallGraph · Updated 2021-02-11 18:44:39 +00:00
4346
23
 ZIP  TAR.GZ
customErrorsSyntax

3a2e4605a8 · Tests for error syntax. · Updated 2021-02-11 13:18:04 +00:00
4346
4
 ZIP  TAR.GZ
customErrors

1487b55fe8 · Changelog entry. · Updated 2021-02-11 13:14:07 +00:00
4346
6
 ZIP  TAR.GZ
smtchecker_openzepplin_ICE_test

f814ab085e · Add flattened openzepplin contract that triggers ICE via SMTChecker. · Updated 2021-02-11 12:05:11 +00:00
4348
1
 ZIP  TAR.GZ
pragma-fine-tune-solgen

e90248c136 · Enable abi pragmas and fix formatting. · Updated 2021-02-09 15:46:16 +00:00
4377
1
 ZIP  TAR.GZ
catchCustomErrors

7aa7e708f9 · Codegen for catch. · Updated 2021-02-03 10:53:53 +00:00
4437
15
 ZIP  TAR.GZ
opensmt

ffbf281332 · Update · Updated 2021-02-02 15:06:57 +00:00
4435
2
 ZIP  TAR.GZ
MemoryLoadResolver

633a040b2c · Add optimizer tests · Updated 2021-01-27 18:42:43 +00:00
4739
10
 ZIP  TAR.GZ
fix-9676-refactoring

cbbefce443 · Add Solidity generators · Updated 2021-01-27 10:36:01 +00:00
4459
1
 ZIP  TAR.GZ
fuzzDiffIR

68146e7c28 · Draft · Updated 2021-01-22 09:45:06 +00:00
4510
1
 ZIP  TAR.GZ
codecov

b98d50dc02 · Config from fizzy · Updated 2021-01-18 12:37:25 +00:00
4568
3
 ZIP  TAR.GZ
smt-selfdestruct

853175135e · f · Updated 2021-01-15 18:20:25 +00:00
4577
1
 ZIP  TAR.GZ
fullSSATransform

dab68e6254 · Prototype of a full SSA transformation. · Updated 2021-01-07 11:50:13 +00:00
4709
1
 ZIP  TAR.GZ
experimental-mloadresolver

ca3e525d5a · Using Reals and avoiding wrapping · Updated 2021-01-04 15:16:23 +00:00
4768
6
 ZIP  TAR.GZ
refactor-prepare-report

9a5db2dfed · prepare_report.py: Print some statistics about contracts and errors · Updated 2020-12-22 06:51:50 +00:00
4766
16
 ZIP  TAR.GZ
fix-external-tests-add-fake-vyper

a66c8cd6df · [test] Fix external tests. · Updated 2020-12-21 17:39:55 +00:00
4759
1
 ZIP  TAR.GZ
ewasm-bytecode-compare

aa40583f1d · [ewasm] add ewasm bytecode compare support. · Updated 2020-12-19 22:05:20 +00:00
4768
1
 ZIP  TAR.GZ