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
21,902 Commits 348 Branches 121 Tags 100 MiB
c7e1998be2
Commit Graph

21902 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth
c7e1998be2 remove couts 2022-02-23 18:24:10 +01:00
chriseth
52fee5f51d fixes 2022-02-23 18:16:13 +01:00
chriseth
adec72813d Combined solver. 2022-02-23 12:23:11 +01:00
chriseth
120c893439 cdcl 2022-02-23 12:22:33 +01:00
chriseth
e7c68cd0d0 Print reasons. 2022-02-17 14:47:22 +01:00
chriseth
2eed4c36a9 Tests for reason computation. 2022-02-17 14:47:22 +01:00
chriseth
8a76a61e55 Merge leftover. 2022-02-17 12:00:07 +01:00
chriseth
597007e3b4 Add reasons. 2022-02-17 11:55:51 +01:00
chriseth
677a7951dd Extract problem splitter. 2022-02-17 11:55:51 +01:00
chriseth
56546a1b57 Apply suggestions from code review 
Co-authored-by: Bhargava Shastry <bhargava.shastry@ethereum.org>
 2022-02-17 11:55:51 +01:00
chriseth
0225f366f5 Add test. 2022-02-17 11:55:51 +01:00
chriseth
1d37398f04 Fix fuzzer bug. 2022-02-17 11:55:51 +01:00
chriseth
309624d03b qualify move 2022-02-17 11:55:51 +01:00
chriseth
37b92bb71c Add header. 2022-02-17 11:55:51 +01:00
chriseth
641c76a678 Cache solution for the case where we are not interested in models. 2022-02-17 11:55:51 +01:00
chriseth
9cdc2ed3f2 comment 2022-02-17 11:55:51 +01:00
chriseth
e1df82ac19 Extract problem splitter. 2022-02-17 11:55:51 +01:00
chriseth
944937604a small optimization. 2022-02-17 11:55:51 +01:00
chriseth
1af1df6908 Extract simplification class. 2022-02-17 11:55:51 +01:00
chriseth
7b08e57a2c Refactor. 2022-02-17 11:55:51 +01:00
chriseth
6e9ffa1f16 cleanup 2022-02-17 11:55:51 +01:00
chriseth
8a1ad0e1d4 cleanup 2022-02-17 11:55:51 +01:00
chriseth
7d203ac1fb Cleanup 2022-02-17 11:55:51 +01:00
chriseth
7a948e8ba6 Cleanup 2022-02-17 11:55:51 +01:00
chriseth
d50a7d9b3d Cleanup 2022-02-17 11:55:51 +01:00
chriseth
03e1a2e074 Simplifications on LinearExpression. 2022-02-17 11:55:51 +01:00
chriseth
34d3b802ad Fix compiler warning. 2022-02-17 11:55:51 +01:00
chriseth
76485dff82 Use names for the bounds. 2022-02-17 11:55:51 +01:00
chriseth
7c7132bff8 LP Solver. 2022-02-17 11:55:51 +01:00
chriseth
a674406299
Merge pull request #12694 from wesbz/yul-doc-table-fix 
Fixing a typo in doc's EVM dialect in Yul's doc.
 2022-02-17 11:53:22 +01:00
Wes Bouaziz
e9cc45b258
Fixing a typo in doc's EVM dialect in Yul's doc. 
It's the tiniest typo but it's visible on the website.
 2022-02-17 10:57:28 +01:00
chriseth
da50176b1f
Merge pull request #12686 from ethereum/setVersionTo0813 
Set version to 0.8.13
 2022-02-16 16:44:23 +01:00
chriseth
eb57e23ba0
Merge pull request #12685 from ethereum/bypass-prebuilt-artifacts-in-yield-ext-test 
Neutralize packaged Uniswap contracts in yield-liquidator external test
 2022-02-16 16:42:41 +01:00
chriseth
6a479fece1
Merge pull request #12683 from ethereum/ext_foundry 
Added solidity visual auditor for VSCode
 2022-02-16 16:39:38 +01:00
chriseth
65ba798caf Set version to 0.8.13 2022-02-16 16:12:18 +01:00
Kamil Śliwak
8aa3b7fea0 Neutralize packaged Uniswap contracts in yield-liquidator external test 2022-02-16 13:16:44 +01:00
Sleepy
59f28d385a Added solidity visual auditor for VSCode 2022-02-16 11:05:41 +01:00
chriseth
f00d730841
Merge pull request #12682 from ethereum/setreleasedatefor0812 
Set release date.
 2022-02-16 10:49:57 +01:00
chriseth
49bc8206f1 Set release date. 2022-02-16 09:49:14 +01:00
chriseth
9bce0243f5
Merge pull request #12676 from fulldecent/fix-style-guide-typos 
Fix typos
 2022-02-16 09:44:04 +01:00
William Entriken
9d94870770 Fix typos 2022-02-15 19:17:05 -05:00
chriseth
1698384864
Merge pull request #12673 from ethereum/work-around-element-fi-expired-timestamp 
Bypass an expiration check in ElementFi until it's fixed upstream
 2022-02-15 14:12:44 +01:00
Kamil Śliwak
ccbc865beb elementfi: Bypass expiration check that won't pass due to test settings 2022-02-15 12:51:40 +01:00
chriseth
7a5be4a063
Merge pull request #12462 from semaraugusto/develop 
[docs] fix issue with delegating votes to wallets who cannot vote.
 2022-02-15 09:27:33 +01:00
Leo
b3ccc0131b
Merge pull request #12670 from ethereum/msvc-asserts 
MSVC asserts
 2022-02-14 21:03:24 +01:00
Leo
4ee9846d06
Merge pull request #12669 from ethereum/unlicense_docs 
docs: note on invalid SPDX `UNLICENSED`
 2022-02-14 20:55:48 +01:00
Leo Alt
c22f0ef9bb Add comment 2022-02-14 20:28:21 +01:00
a3d4
10a431a18b Enable asserts in MSVC RelWithDebInfo configuration 2022-02-14 20:28:21 +01:00
Leo
947a599e91
Merge pull request #12441 from ethereum/benchmarking-ext-tests 
Benchmarking external tests
 2022-02-14 20:14:27 +01:00
Aleksey Bykhun
408b8e2f76 docs: note on invalid SPDX UNLICENSED 
https://github.com/ethereum/solidity/issues/12251
 2022-02-14 20:07:36 +01:00