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,876 Commits 348 Branches 121 Tags 100 MiB
57297e3c03
Commit Graph

10 Commits

Author SHA1 Message Date
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
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