150 Commits

Author	SHA1	Message	Date
chriseth	922837b44c	Forward unknown.	2022-03-20 20:19:20 +01:00
chriseth	3203b73c64	Some debug output.	2022-03-20 20:19:20 +01:00
chriseth	a1ed2c0f09	Update libsolutil/LP.cpp ... Co-authored-by: Bhargava Shastry <bhargava.shastry@ethereum.org>	2022-03-20 20:19:20 +01:00
chriseth	f77f0ecae4	Update libsolutil/LP.h ... Co-authored-by: Bhargava Shastry <bhargava.shastry@ethereum.org>	2022-03-20 20:19:20 +01:00
chriseth	1e1964362c	Print reasons.	2022-03-20 20:19:20 +01:00
chriseth	337aea9483	Merge leftover.	2022-03-20 20:19:20 +01:00
chriseth	696515fe69	Add reasons.	2022-03-20 20:19:20 +01:00
chriseth	0a11aedc90	Extract problem splitter.	2022-03-20 20:19:20 +01:00
chriseth	88c63c3054	Apply suggestions from code review ... Co-authored-by: Bhargava Shastry <bhargava.shastry@ethereum.org>	2022-03-20 20:19:20 +01:00
chriseth	0e54562de4	Fix fuzzer bug.	2022-03-20 20:19:19 +01:00
chriseth	83b96e6a75	qualify move	2022-03-20 20:19:19 +01:00
chriseth	6c2b686c0c	Add header.	2022-03-20 20:19:19 +01:00
chriseth	0f705c8a82	Cache solution for the case where we are not interested in models.	2022-03-20 20:19:19 +01:00
chriseth	8835b95719	comment	2022-03-20 20:19:19 +01:00
chriseth	592b421f44	Extract problem splitter.	2022-03-20 20:19:19 +01:00
chriseth	db9028906a	small optimization.	2022-03-20 20:19:19 +01:00
chriseth	5faebbff39	Extract simplification class.	2022-03-20 20:19:19 +01:00
chriseth	dec67df8d8	Refactor.	2022-03-20 20:19:19 +01:00
chriseth	6bff7a1e91	cleanup	2022-03-20 20:19:19 +01:00
chriseth	cf6cf5bba2	cleanup	2022-03-20 20:19:19 +01:00
chriseth	8600760f3d	Cleanup	2022-03-20 20:19:19 +01:00
chriseth	f25cd708ea	Cleanup	2022-03-20 20:19:19 +01:00
chriseth	b1fcf023f9	Cleanup	2022-03-20 20:19:19 +01:00
chriseth	00a277c0f5	Simplifications on LinearExpression.	2022-03-20 20:19:19 +01:00
chriseth	e6c67924b0	Fix compiler warning.	2022-03-20 20:19:18 +01:00
chriseth	7a250fea42	Use names for the bounds.	2022-03-20 20:19:18 +01:00
chriseth	751f50b6c3	LP Solver.	2022-03-20 20:19:18 +01:00
Tyler	047034544e	Merge branch 'develop' of github.com:tfire/solidity into fix/remove-namespace-ast-annotations	2022-03-09 18:55:22 -05:00
Tyler	519e1c9402	Specify namespaces ... Fix references into solidity::util	2022-03-08 00:09:17 -05:00
wechman	52dfccca98	Replace all locale-dependent operations with locale-agnostic counterparts	2022-03-07 17:23:08 +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