 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 |
|