163 Commits

Author	SHA1	Message	Date
chriseth	1efa03201d	Fix ite	2022-03-20 22:34:22 +01:00
chriseth	2108580df6	Add equality constraints.	2022-03-20 22:34:22 +01:00
chriseth	33f0e0d4b2	Remove "only single constraint" restriction.	2022-03-20 22:34:22 +01:00
chriseth	fe15610ba4	some more debugging output	2022-03-20 22:34:22 +01:00
chriseth	c8c9067c9b	more code	2022-03-20 22:34:22 +01:00
chriseth	b4dd0420ca	encoding	2022-03-20 22:34:22 +01:00
chriseth	797651c74b	Typos.	2022-03-20 22:34:22 +01:00
chriseth	29be0d23f6	Enable magic squares 4	2022-03-20 22:34:22 +01:00
chriseth	b6e6cd4ebb	Compilation fix.	2022-03-20 22:34:22 +01:00
chriseth	6b7c200891	remove couts	2022-03-20 22:34:21 +01:00
chriseth	a3a0f1d95b	fixes	2022-03-20 22:33:47 +01:00
chriseth	3439776209	Combined solver.	2022-03-20 22:33:47 +01:00
chriseth	84c5c37c31	cdcl	2022-03-20 20:19:33 +01:00
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