14 Commits

Author	SHA1	Message	Date
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