22 Commits

Author	SHA1	Message	Date
chriseth	1d42cf0f7b	Add IDs to references.	2023-05-04 12:01:56 +02:00
chriseth	21a780eeb3	Add IDs to references.	2023-05-04 12:01:56 +02:00
chriseth	391a39bc52	Rename constructor function for AffineExpression.	2023-05-02 22:08:09 +02:00
chriseth	d760a0a2de	Fix clippy.	2023-05-02 21:49:39 +02:00
chriseth	2cdae21bd9	Merge pull request #209 from chriseth/complete-flag-in-executor ... Ignore identities which we know won't yield more constraints	2023-05-02 17:18:00 +02:00
schaeff	5abfacf7c3	ignore identities which cannot yield more results, better error reporting in the executor	2023-05-02 17:03:06 +02:00
Thibaut Schaeffer	bf1b3c4fc9	Merge pull request #220 from chriseth/parallel_constant_generation ... Parallel constant generation	2023-05-02 16:13:00 +02:00
chriseth	77b746c5e0	Parallel constant generation.	2023-04-28 11:14:50 +02:00
chriseth	94ab822824	Use HashMap for AffineExpression.	2023-04-28 10:50:32 +02:00
chriseth	ee849ff448	Fix clippy.	2023-04-28 00:26:57 +02:00
chriseth	199ca61c2f	Expression tree traversal utilities.	2023-04-27 16:42:34 +02:00
chriseth	cc866b3711	Report row speed.	2023-04-27 14:29:47 +02:00
chriseth	0debf739b5	Use nonzero option to improve memory layout.	2023-04-26 15:38:54 +02:00
chriseth	f154bf2341	Report index size.	2023-04-26 14:57:07 +02:00
chriseth	47af62badd	Do not unroll array repetitions during analysis.	2023-04-26 12:30:15 +02:00
chriseth	2e66d9085f	Move json exporter.	2023-04-25 15:01:37 +02:00
chriseth	dbac810d53	Move analyzer to its own crate.	2023-04-25 14:43:58 +02:00
chriseth	c0e2952506	Use match for prover query.	2023-04-24 14:40:07 +02:00
schaeff	7aa52d8b9a	replace 0/0 hack with match	2023-04-24 13:59:12 +02:00
schaeff	6616f66d10	workaround regex feature unification issue	2023-04-21 18:39:13 +02:00
schaeff	2e30056934	rename test data dir	2023-04-21 17:25:16 +02:00
schaeff	82cfa54696	split into small crates	2023-04-21 17:16:22 +02:00