5 Commits

Author	SHA1	Message	Date
KtorZ	8db4a60986	(re)format aiken sources in the repository.	2024-09-07 18:25:21 +02:00
KtorZ	e3e889f875	Update benchmarks.	2024-08-30 15:45:00 +02:00
KtorZ	bf5a406ffb	Remove clause guards. ... Closes #886.	2024-08-02 00:16:27 -04:00
microproofs	c286ada08d	clippy fix	2024-07-24 11:29:55 -04:00
KtorZ	e074037838	Move benchmarks one level up.	2024-07-17 13:00:57 +02:00