Krushimir
cd0821961d
test: adds property-based testing and fuzzing for SMT ( #385 )
...
* Adds concurrent proptests
* Adds fuzzing for SMT
* fix: concurrent mutations without mutated entries
* fix: key sorting
2025-03-10 11:51:16 -07:00
polydez
7ee6d7fb93
feat: add support for hashmaps in Smt and SimpleSmt ( #363 )
2025-01-02 10:23:12 -08:00
Paul-Henry Kajfasz
e4a9a2ac00
Updated test in workflow
2024-08-21 16:53:28 +01:00
Paul-Henry Kajfasz
374a10f340
Updated ci + added scripts
2024-08-16 15:32:03 -07:00
Bobbin Threadbare
5a2e917dd5
Tracking PR for v0.9.0 release ( #278 )
...
* chore: update crate version to v0.9.0
* chore: remove deprecated re-exports
* chore: remove Box re-export
* feat: implement pure-Rust keygen and signing for RpoFalcon512 (#285 )
* feat: add reproducible builds (#296 )
* fix: address a few issues for migrating Miden VM (#298 )
* feat: add RngCore supertrait for FeltRng (#299 )
---------
Co-authored-by: Al-Kindi-0 <82364884+Al-Kindi-0@users.noreply.github.com>
Co-authored-by: Paul-Henry Kajfasz <42912740+phklive@users.noreply.github.com>
2024-03-24 08:38:08 -07:00
Augusto F. Hack
1004246bfe
ci: verify docs syntax
2024-02-14 11:52:40 -08:00
Bobbin Threadbare
f894ed9cde
chore: update CI.yaml
2024-02-14 11:52:40 -08:00
Bobbin Threadbare
ac7593a13c
chore: update CI jobs
2024-02-14 11:52:40 -08:00
Al-Kindi-0
8078021aff
feat: Falcon 512 signature
2023-10-03 20:45:18 +02:00
Grzegorz Swirski
01be4d6b9d
refactor: move arch specific code to rpo folder, don't run SVE on CI
2023-09-24 22:29:25 +02:00
Augusto F. Hack
956e4c6fad
chore: initial run pre-commit
2023-03-01 17:45:57 +01:00
Victor Lopez
3b9d515d00
feat: add no-std support
...
closes #5
2022-11-24 22:10:56 +01:00
Victor Lopez
940fd662cc
chore(ci): add github ci script
...
This commit introduces a script that will enforce the following
constraints:
- Tests are successful
- Rustfmt is executed for every Rust source
- Clippy warnings are resolved
The same model of Miden VM is adopted here. However, `no-std` check
wasn't added because the library, as of the moment, doesn't implement
that.
closes #3
2022-10-20 18:10:51 +02:00
