Eduard S. 0759d6e165 Add clippy (#191) ... * Organize imports Use rustfmt to organize imports. Resolve #162 * remove unused imports * Fix clippy complaints * add clippy github action * remove comment for @arnaucube		2025-04-08 11:52:02 -07:00
..
clippy.yml	Add clippy (#191)	2025-04-08 11:52:02 -07:00
mdbook-check.yml	Check statement correctness on compile (#104)	2025-03-03 15:12:09 -08:00
mdbook-publish.yml	sync spec & code (#107)	2025-03-05 11:35:23 -08:00
rustfmt.yml	Prototype custom predicates (#74)	2025-02-21 10:55:36 +10:00
tests.yml	implement proof-based signatures using plonky2 proofs (#112)	2025-03-08 00:27:14 +10:00
typos.toml	Fe contains (#145)	2025-03-27 10:54:58 +10:00
typos.yml	feat: unify SignedPod and MainPod traits (#64)	2025-02-18 13:00:54 +01:00