22191 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
chriseth	b1319eb3ee	fix combining	2022-08-22 14:19:20 +02:00
chriseth	594130dd50	fixes	2022-08-19 19:11:02 +02:00
chriseth	9f4630b993	ensure size	2022-08-18 17:44:16 +02:00
chriseth	cfc155cfbd	impl	2022-08-18 17:20:43 +02:00
chriseth	ffb5aa7312	iterators	2022-08-14 22:45:40 +02:00
chriseth	64e41febf2	simplify	2022-08-14 22:10:13 +02:00
chriseth	d308cf8d96	more sparse	2022-08-14 22:05:17 +02:00
chriseth	b82e1b2b04	Sparse matrix.	2022-08-12 17:44:15 +02:00
chriseth	c429d87ba1	Merge pull request #13234 from msooseth/smtComp-msoos ... SMTComp changes by msooseth	2022-07-01 23:20:50 +02:00
Mate Soos	8cd552c8e3	Don't remove emtpy line	2022-07-01 23:13:29 +02:00
Mate Soos	0e1f7112b3	Fixing it back to correct linking	2022-07-01 23:13:29 +02:00
Mate Soos	ca3d8b4714	Better function name	2022-07-01 23:13:29 +02:00
Mate Soos	3073def64d	To remove compile issues	2022-07-01 23:13:29 +02:00
Mate Soos	6ca4979a2b	No need for this change	2022-07-01 23:13:29 +02:00
Mate Soos	0193a3f315	Making things more solidity-like	2022-07-01 23:13:29 +02:00
Mate Soos	2d8adb7651	Adding required stuff for static compilation	2022-07-01 23:13:29 +02:00
chriseth	1e9206e01a	Remove error output.	2022-07-01 14:11:30 +02:00
chriseth	bfc9c91539	Improved iteration.	2022-06-30 21:19:36 +02:00
chriseth	82604f8269	Variable names only for debug.	2022-06-29 11:19:10 +02:00
chriseth	eafe0e0621	Incremental parsing.	2022-06-29 10:53:13 +02:00
chriseth	7abe2750c6	Print success.	2022-06-27 17:52:13 +02:00
chriseth	cc3c2138a6	Avoid copying sorts.	2022-06-27 15:48:15 +02:00
chriseth	87bffbba98	Avoid copying let bindings.	2022-06-27 15:25:30 +02:00
chriseth	acfe18cd4e	Ignore set-option.	2022-06-23 17:14:59 +02:00
chriseth	ae6f8e25b6	Some tweaks.	2022-06-23 16:03:36 +02:00
chriseth	0e0518e5ce	Implement push and pop.	2022-06-23 15:18:34 +02:00
chriseth	4098661b89	Fix guessing of numbers.	2022-06-23 15:18:26 +02:00
chriseth	27261f6703	Remove hash functions.	2022-06-07 11:02:18 +02:00
chriseth	0e06440153	true/false literals.	2022-06-01 23:39:43 +02:00
chriseth	5c1ecce2a3	Implement inner xor.	2022-06-01 22:16:16 +02:00
chriseth	68bfbdb2a6	Support all fractional constants.	2022-06-01 22:03:58 +02:00
chriseth	cd3b7e333d	Implement inner ite.	2022-06-01 16:59:09 +02:00
chriseth	9078ed8afd	Implement => for boolean equality.	2022-06-01 13:23:43 +02:00
chriseth	57c6c529d0	Fix interior multi-or and multi-and.	2022-05-31 14:21:13 +02:00
chriseth	02c6298ab8	Cope with trailing whitespace.	2022-05-31 14:06:12 +02:00
chriseth	3cc853c2a0	Remove unused solving state.	2022-05-31 13:59:02 +02:00
chriseth	0f4cc05667	Copy-on-write let bindings.	2022-05-31 11:32:13 +02:00
chriseth	0a4f4f6f55	Improved reason computation.	2022-05-30 19:00:06 +02:00
chriseth	faa3a242ee	Support some xor.	2022-05-30 18:17:16 +02:00
chriseth	973442c206	Parse let bindigns of literals speciall.	2022-05-30 18:11:40 +02:00
chriseth	e655f53813	Fix toString.	2022-05-30 11:08:51 +02:00
chriseth	62051ade2b	Implement multi-argument addition.	2022-05-18 17:57:01 +02:00
chriseth	77d1ebae3b	debugging output	2022-05-18 16:18:49 +02:00
chriseth	56d5f6d926	debugging	2022-05-16 19:14:31 +02:00
chriseth	657a02771b	strict inequalities	2022-05-12 22:54:04 +02:00
chriseth	7b0e02b1ff	mark rational encoding problems	2022-05-12 10:26:57 +02:00
chriseth	074969b5d9	implemert strict comparisons	2022-05-12 10:22:32 +02:00
chriseth	b76d3a6a0d	some fixes and let bindings.	2022-05-12 09:49:08 +02:00
chriseth	33f952dc5f	More solsmt.	2022-05-10 09:46:24 +02:00
chriseth	91f32a7beb	Multi-argument and and or.	2022-05-10 08:58:41 +02:00