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

142 Commits

Author SHA1 Message Date
chriseth
252ac75de7 fixup! Boolean LP Solver. 2022-02-07 16:42:23 +01:00
chriseth
fdc6f5249c Make magic squares work. 2022-02-03 19:20:43 +01:00
chriseth
e7c91f5532 stuff 2022-02-03 19:20:43 +01:00
chriseth
3e5777f5db Trying out things. 2022-02-03 19:20:43 +01:00
chriseth
6316f14590 Boolean LP Solver. 2022-02-03 19:20:42 +01:00
chriseth
bfaa09230a qualify move 2022-02-03 18:43:35 +01:00
chriseth
73c35f2cae Add header. 2022-02-03 18:42:37 +01:00
chriseth
7a735430a8 Cache solution for the case where we are not interested in models. 2022-02-03 17:58:55 +01:00
chriseth
9262fb4fd0 comment 2022-02-03 16:26:41 +01:00
chriseth
8e15719fe1 Extract problem splitter. 2022-02-03 16:21:26 +01:00
chriseth
5c47f111f0 small optimization. 2022-02-03 13:14:15 +01:00
chriseth
3848165935 Extract simplification class. 2022-02-03 13:12:50 +01:00
chriseth
49281b98d7 Refactor. 2022-02-03 11:41:55 +01:00
chriseth
666dad7117 cleanup 2022-02-03 11:35:06 +01:00
chriseth
c602b2851b cleanup 2022-02-03 11:26:25 +01:00
chriseth
33011e2023 Cleanup 2022-02-03 11:08:24 +01:00
chriseth
31b0839be1 Cleanup 2022-02-03 11:04:37 +01:00
chriseth
8bd6129898 Cleanup 2022-02-03 11:02:38 +01:00
chriseth
7f63e5a805 Simplifications on LinearExpression. 2022-02-03 10:02:24 +01:00
chriseth
5fe4d2d59c Fix compiler warning. 2022-02-02 17:09:50 +01:00
chriseth
fb5b7d67fb Use names for the bounds. 2022-02-02 15:13:12 +01:00
chriseth
01d874e956 LP Solver. 2022-02-01 16:51:43 +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
Kamil Śliwak
65e23ff171 CommonIO: Make readFile() check if the file is not a directory and if not fail with a sensible exception rather than std::length_error 2021-06-25 16:04:58 +02:00
TerranCivilian
c15501eea9 Remove unneeded include files 2021-06-07 12:53:18 -04:00
chriseth
d305c219d8 Fix namespace styles. 2021-05-27 17:41:04 +02:00