7 Commits

Author	SHA1	Message	Date
Hadrien Croubois	4ea73a8c05	add PreventLateQuorum specs	2023-03-15 16:55:14 +01:00
Hadrien Croubois	198c4b7728	update	2023-03-15 11:54:31 +01:00
Hadrien Croubois	0d4df8972e	add filter to improve prover perf	2023-03-14 22:12:14 +01:00
Hadrien Croubois	d7884251aa	update	2023-03-14 21:33:13 +01:00
Hadrien Croubois	397f4cdfe2	filter functions that should revert	2023-03-14 15:51:22 +01:00
Hadrien Croubois	4b11b4d3a6	codespell	2023-03-13 14:54:39 +01:00
Hadrien Croubois	318cfd501b	update	2023-03-13 14:12:10 +01:00