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,891 Commits 348 Branches 121 Tags 100 MiB
simplex
Commit Graph

21891 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth
684e72de07 fixup! Boolean LP Solver. 2022-02-16 22:13:03 +01:00
chriseth
c518b359a8 Some experiments. 2022-02-16 22:11:48 +01:00
chriseth
e47023a222 Reasoning based simplifier. 2022-02-16 22:11:47 +01:00
chriseth
d7106287e8 Make magic squares work. 2022-02-16 22:11:32 +01:00
chriseth
1252235e88 stuff 2022-02-16 22:11:32 +01:00
chriseth
99fd9d54fc Trying out things. 2022-02-16 22:11:32 +01:00
chriseth
8dec6b0680 Boolean LP Solver. 2022-02-16 22:11:31 +01:00
chriseth
3c9bb46832 Add test. 2022-02-16 22:11:13 +01:00
chriseth
312ef6e0e4 Fix fuzzer bug. 2022-02-16 22:11:13 +01:00
chriseth
f52f27c0dd qualify move 2022-02-16 22:11:12 +01:00
chriseth
3c20bdfda4 Add header. 2022-02-16 22:11:12 +01:00
chriseth
d14708f279 Cache solution for the case where we are not interested in models. 2022-02-16 22:11:12 +01:00
chriseth
20ec7a9a53 comment 2022-02-16 22:11:12 +01:00
chriseth
9db8dc23cf Extract problem splitter. 2022-02-16 22:11:12 +01:00
chriseth
3f785ef811 small optimization. 2022-02-16 22:11:12 +01:00
chriseth
57297e3c03 Extract simplification class. 2022-02-16 22:11:12 +01:00
chriseth
d49dbb6819 Refactor. 2022-02-16 22:11:12 +01:00
chriseth
0e2a61fb3b cleanup 2022-02-16 22:11:12 +01:00
chriseth
d1171f1057 cleanup 2022-02-16 22:11:12 +01:00
chriseth
58cde3fbb4 Cleanup 2022-02-16 22:11:12 +01:00
chriseth
c319b3d91b Cleanup 2022-02-16 22:11:12 +01:00
chriseth
5fa287f07a Cleanup 2022-02-16 22:11:12 +01:00
chriseth
d578ea7496 Simplifications on LinearExpression. 2022-02-16 22:11:12 +01:00
chriseth
c93ff739ad Fix compiler warning. 2022-02-16 22:11:12 +01:00
chriseth
f394dfeb62 Use names for the bounds. 2022-02-16 22:11:12 +01:00
chriseth
ad28e95a8a LP Solver. 2022-02-16 22:11:12 +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
Leo
e3e77c0f01
Merge pull request #12551 from ethereum/natspec-test 
Add test for fixed natspec ICE
 2022-02-14 19:51:03 +01:00
Leo
3915768753
Merge pull request #12594 from ethereum/solc-js-ext-test-local-checkout 
solc-js external test on a local checkout
 2022-02-14 19:44:46 +01:00
chriseth
c7f1ead836
Merge pull request #12666 from ethereum/smallChangelogChanges 
Minor changes to changelog.
 2022-02-14 18:10:58 +01:00
chriseth
07143b5d16
Merge pull request #12667 from ethereum/packedSoljsonChangelog 
Add Changelog entry about packed soljson.js.
 2022-02-14 18:10:41 +01:00
Daniel Kirchner
04bcd01b0d Add Changelog entry about packed soljson.js. 2022-02-14 17:49:07 +01:00
chriseth
bf2556af83 Minor changes to changelog. 2022-02-14 17:48:46 +01:00
chriseth
6c36638624
Merge pull request #12616 from ethereum/missingOverrideRequirement 
Fix missing override errors when indirectly inheriting interfaces.
 2022-02-14 17:40:05 +01:00
chriseth
7c0ac95816
Merge pull request #12265 from ethereum/packedSoljson 
Packed soljson.js
 2022-02-14 17:26:31 +01:00
Daniel Kirchner
3a201ec0f8 Build packed soljson.js. 2022-02-14 16:52:59 +01:00
Daniel Kirchner
6895972d04 Adjust mini-lz4.js and base64DecToArr.js. 2022-02-14 16:52:53 +01:00
Daniel Kirchner
a68183db3c Add base64DecToArr.js. 2022-02-14 16:52:53 +01:00