150 Commits

Author	SHA1	Message	Date
chriseth	9d15a8bb66	Typos.	2022-02-23 19:06:35 +01:00
chriseth	5a9337bcd3	Enable magic squares 4	2022-02-23 19:04:08 +01:00
chriseth	b956ef1d86	Compilation fix.	2022-02-23 18:30:19 +01:00
chriseth	c7e1998be2	remove couts	2022-02-23 18:24:10 +01:00
chriseth	52fee5f51d	fixes	2022-02-23 18:16:13 +01:00
chriseth	adec72813d	Combined solver.	2022-02-23 12:23:11 +01:00
chriseth	120c893439	cdcl	2022-02-23 12:22:33 +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
chriseth	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