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,917 Commits 348 Branches 121 Tags
lpsolvergen
Commit Graph
147 Commits
Author SHA1 Message Date
chriseth be9e2d320a Forward unknown. 2022-03-01 16:07:52 +01:00
chriseth 913ad20df8 Some debug output. 2022-03-01 16:07:52 +01:00
chrisethandBhargava Shastry c42ba9f3e3 Update libsolutil/LP.cpp 
Co-authored-by: Bhargava Shastry <bhargava.shastry@ethereum.org>
 2022-03-01 12:38:48 +01:00
chrisethandBhargava Shastry 739e3dce04 Update libsolutil/LP.h 
Co-authored-by: Bhargava Shastry <bhargava.shastry@ethereum.org>
 2022-03-01 12:28:52 +01:00
chriseth e7c68cd0d0 Print reasons. 2022-02-17 14:47:22 +01:00
chriseth 8a76a61e55 Merge leftover. 2022-02-17 12:00:07 +01:00
chriseth 597007e3b4 Add reasons. 2022-02-17 11:55:51 +01:00
chriseth 677a7951dd Extract problem splitter. 2022-02-17 11:55:51 +01:00
chrisethandBhargava Shastry 56546a1b57 Apply suggestions from code review 
Co-authored-by: Bhargava Shastry <bhargava.shastry@ethereum.org>
 2022-02-17 11:55:51 +01:00
chriseth 1d37398f04 Fix fuzzer bug. 2022-02-17 11:55:51 +01:00
chriseth 309624d03b qualify move 2022-02-17 11:55:51 +01:00
chriseth 37b92bb71c Add header. 2022-02-17 11:55:51 +01:00
chriseth 641c76a678 Cache solution for the case where we are not interested in models. 2022-02-17 11:55:51 +01:00
chriseth 9cdc2ed3f2 comment 2022-02-17 11:55:51 +01:00
chriseth e1df82ac19 Extract problem splitter. 2022-02-17 11:55:51 +01:00
chriseth 944937604a small optimization. 2022-02-17 11:55:51 +01:00
chriseth 1af1df6908 Extract simplification class. 2022-02-17 11:55:51 +01:00
chriseth 7b08e57a2c Refactor. 2022-02-17 11:55:51 +01:00
chriseth 6e9ffa1f16 cleanup 2022-02-17 11:55:51 +01:00
chriseth 8a1ad0e1d4 cleanup 2022-02-17 11:55:51 +01:00
chriseth 7d203ac1fb Cleanup 2022-02-17 11:55:51 +01:00
chriseth 7a948e8ba6 Cleanup 2022-02-17 11:55:51 +01:00
chriseth d50a7d9b3d Cleanup 2022-02-17 11:55:51 +01:00
chriseth 03e1a2e074 Simplifications on LinearExpression. 2022-02-17 11:55:51 +01:00
chriseth 34d3b802ad Fix compiler warning. 2022-02-17 11:55:51 +01:00
chriseth 76485dff82 Use names for the bounds. 2022-02-17 11:55:51 +01:00
chriseth 7c7132bff8 LP Solver. 2022-02-17 11:55:51 +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