6 Commits

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