Default Branch

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

Branches

5f0f6f7d68 · Disable failing Gnosis tests · Updated 2022-08-16 13:46:58 +00:00

1292
1

780bf4ccac · Fix ternary operator type deduction · Updated 2022-08-16 06:12:41 +00:00

1294
1

3e90090368 · Attempt to run against newer windows image. · Updated 2022-08-15 15:34:04 +00:00

1297
1
ui

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

1303
2

5c0d285cab · Fix stack shuffling. · Updated 2022-08-09 18:06:52 +00:00

1366
2

fb728550bf · Removed failing tests. · Updated 2022-07-11 21:31:50 +00:00

1414
1

24917de3af · Test updates. · Updated 2022-07-11 12:11:48 +00:00

1421
2

8a728f048a · Merge pull request #13235 from msooseth/smtComp-msoos2 · Updated 2022-07-11 08:44:14 +00:00

1804
133

50e4888beb · Simplify precompiles · Updated 2022-06-26 23:40:06 +00:00

1462
9

a3c386191e · Add variable type to smt unique name · Updated 2022-06-22 14:12:46 +00:00

1469
1

6a8b567662 · lazy expansion · Updated 2022-06-20 15:10:43 +00:00

1555
11

82106d4655 · Fix UTF-8 sequence validation when used with array literals. · Updated 2022-06-20 08:35:41 +00:00

1478
1

ea111f536a · [TMP] Don't include the failing chainlink tests in benchmark collector · Updated 2022-06-15 17:44:08 +00:00

1500
3

6c3d944bee · Slightly improved IR codegen. · Updated 2022-06-13 11:08:46 +00:00

1533
2

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

ef6c9ea9ce · Revert "Move operator precedence from cheatsheet to operators" · Updated 2022-05-30 09:24:15 +00:00

1581
1

f08178cf3a · testing if uniswap works without ethers (temporary -- test purposes only) · Updated 2022-05-25 23:02:03 +00:00

1583
2

813d5cdc11 · adjust tests · Updated 2022-05-17 14:27:07 +00:00

1643
2

8b31f826cf · fix · Updated 2022-05-15 17:01:21 +00:00

1674
44

3d21f1e4c3 · Counterexamples from Eldarica · Updated 2022-05-15 15:43:12 +00:00

1658
1