Commit Graph

11 Commits

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