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

145 Commits

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
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
Daniel Kirchner
73470aed6a Fix util::valueOrDefault. 2022-01-31 19:33:09 +01:00
chriseth
9e9225eb60
Merge pull request #11800 from spiyer99/separate-control-flow-from-error-reporting-in-CommandLineParser 
Separate control flow from error reporting in command line parser
 2021-12-06 16:50:27 +01:00
chriseth
d9a4020a92 Function to read a number of bytes from an input stream. 2021-12-01 16:24:56 +01:00
chriseth
b6bd85202c Accessors for exceptions. 2021-12-01 14:26:23 +01:00
Kamil Śliwak
276d173e68 Document DEV_SIMPLE_EXCEPTION macro 2021-11-09 18:16:30 +01:00
chriseth
49d7b78466
Merge pull request #12123 from ethereum/empty-switch-12068 
CodeGen: Only output switch when it has cases
 2021-10-12 17:42:49 +02:00
Mathias Baumann
76f31e2c4e Whiskers: Support conditional value parameters for lists 2021-10-12 17:07:08 +02:00
Kamil Śliwak
ee1455ce95 Define solThrow() macro to make throwing simple errors less verbose 2021-10-11 20:35:00 +02:00
TerranCivilian
020ecc2131 Preserve original newlines in solidity::util::readUntilEnd() 2021-10-05 20:24:24 +02:00
Kamil Śliwak
4fe6aa1328 Add default messages to assertion macros 2021-10-04 12:05:00 +02:00
Kamil Śliwak
1f087ce15c Define an assertThrow() variant that allows providing the default message 2021-10-04 12:05:00 +02:00
Alex Beregszaszi
3c8846e669
Merge pull request #11976 from ethereum/json-cleanup 
Some cleanup and testing for JSON
 2021-09-24 19:03:45 +01:00
chriseth
1531863835 Split Common.h into Numeric.h. 2021-09-23 15:27:29 +02:00
chriseth
50ce1f5ddd Disambiguate bytesRequired 2021-09-22 11:22:07 +02:00
Alex Beregszaszi
b5e68df3cd Document JsonFormat 2021-09-21 10:49:13 +01:00
Daniel Kirchner
f881409ea4 Stack layout generator for new code generation. 2021-09-02 17:47:19 +02:00
Kamil Śliwak
cb1a0f08ca readFileAsString(): Accept path as boost::filesystem::path instead of string 2021-08-17 12:58:33 +02:00
chriseth
3622b30a1d Refactor RedundantAssignEliminator. 2021-08-13 14:25:14 +02:00
Christian Parpart
3755210b7b [libyul] ObjectParser: Enables the use of custom source mapping via @use-src. 2021-07-27 16:46:47 +02:00
Ladislav Sladecek
9bbeea58c8 Make --pretty-json work with Standard JSON output 2021-07-26 16:00:46 +02:00
Daniel Kirchner
f3707f2ab0 Control flow graph for Yul. 2021-07-15 15:24:12 +02:00
Kamil Śliwak
6753c8f624 Rename escapeAndQuoteYulString() back to escapeAndQuoteString() 2021-07-14 21:29:01 +02:00
Kamil Śliwak
a72857df03 CommonIO: Replace readStandardInput() with readUntilEnd() with a configurable stream 2021-07-02 14:58:30 +02:00
chriseth
13d1fc9f41
Merge pull request #11579 from ethereum/better-errors-about-bad-paths-in-tests-with-external-sources 
Better errors about bad paths in tests with external sources
 2021-06-30 11:56:47 +02:00
Kamil Śliwak
19fada966f Do not use \b, \v and \f escapes in string literals in generated Yul code 2021-06-28 14:13:47 +02:00