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
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

disable-failing-gnosis-tests

5f0f6f7d68 · Disable failing Gnosis tests · Updated 2022-08-16 13:46:58 +00:00
1292
1
 ZIP  TAR.GZ
ternary_operator_type_deduction

780bf4ccac · Fix ternary operator type deduction · Updated 2022-08-16 06:12:41 +00:00
1294
1
 ZIP  TAR.GZ
updateWindowsCIImage

3e90090368 · Attempt to run against newer windows image. · Updated 2022-08-15 15:34:04 +00:00
1297
1
 ZIP  TAR.GZ
ui

a3586847a3 · [ui] Basic project manager & initial zep editor integration. · Updated 2022-08-15 10:22:12 +00:00
1303
2
 ZIP  TAR.GZ
ensBackToMaster

5c0d285cab · Fix stack shuffling. · Updated 2022-08-09 18:06:52 +00:00
1366
2
 ZIP  TAR.GZ
fix-chainlink-ext-test

fb728550bf · Removed failing tests. · Updated 2022-07-11 21:31:50 +00:00
1414
1
 ZIP  TAR.GZ
emptyReturnRevert2

24917de3af · Test updates. · Updated 2022-07-11 12:11:48 +00:00
1421
2
 ZIP  TAR.GZ
smtComp

8a728f048a · Merge pull request #13235 from msooseth/smtComp-msoos2 · Updated 2022-07-11 08:44:14 +00:00
1804
133
 ZIP  TAR.GZ
stdlib2

50e4888beb · Simplify precompiles · Updated 2022-06-26 23:40:06 +00:00
1462
9
 ZIP  TAR.GZ
var_ids

a3c386191e · Add variable type to smt unique name · Updated 2022-06-22 14:12:46 +00:00
1469
1
 ZIP  TAR.GZ
customKnowledgeBase

6a8b567662 · lazy expansion · Updated 2022-06-20 15:10:43 +00:00
1555
11
 ZIP  TAR.GZ
inline_array_with_utf8

82106d4655 · Fix UTF-8 sequence validation when used with array literals. · Updated 2022-06-20 08:35:41 +00:00
1478
1
 ZIP  TAR.GZ
benchmark-with-0.8.14-binary

ea111f536a · [TMP] Don't include the failing chainlink tests in benchmark collector · Updated 2022-06-15 17:44:08 +00:00
1500
3
 ZIP  TAR.GZ
deferByteArrayIndexAccess

6c3d944bee · Slightly improved IR codegen. · Updated 2022-06-13 11:08:46 +00:00
1533
2
 ZIP  TAR.GZ
fix_invalid_options_mode_combinations

7aaab9a797 · Disallowed --metadata-literal, --model-checker-show-unproved, --model-checker-div-mod-no-slacks ----metadata-hash=swarm outside of compiler mode · Updated 2022-06-06 14:35:06 +00:00
1566
1
 ZIP  TAR.GZ
revert-13048-moving-operator-precedence

ef6c9ea9ce · Revert "Move operator precedence from cheatsheet to operators" · Updated 2022-05-30 09:24:15 +00:00
1581
1
 ZIP  TAR.GZ
remove-workarounds-ethers562-getStorageAt

f08178cf3a · testing if uniswap works without ethers (temporary -- test purposes only) · Updated 2022-05-25 23:02:03 +00:00
1583
2
 ZIP  TAR.GZ
smt_selfdestruct

813d5cdc11 · adjust tests · Updated 2022-05-17 14:27:07 +00:00
1643
2
 ZIP  TAR.GZ
smt_selfdestruct_eld_cex

8b31f826cf · fix · Updated 2022-05-15 17:01:21 +00:00
1674
44
 ZIP  TAR.GZ
smt_eldarica_cex

3d21f1e4c3 · Counterexamples from Eldarica · Updated 2022-05-15 15:43:12 +00:00
1658
1
 ZIP  TAR.GZ