Release 0.2.0#2

Merged

ijchen merged 111 commits intomainfrom

Mar 15, 2025

Commits on Feb 11, 2025

Commits on Feb 16, 2025

Commits on Feb 17, 2025

genuinely gross generics gymnastics guaranteed to gather gags
ijchen
committed

Commits on Feb 18, 2025

Commits on Feb 20, 2025

Merge pull request #1 from ijchen/hrtb_over_gat
ijchen
authored

Commits on Feb 21, 2025

Commits on Feb 24, 2025

made Context a ltGAT, started tests
ijchen
committed

Commits on Feb 25, 2025

Commits on Feb 27, 2025

added drop tests
ijchen
committed

Commits on Mar 4, 2025

Commits on Mar 6, 2025

Organized (perhaps excessively) Cargo.toml
ijchen
committed

Commits on Mar 7, 2025

updated to-do list
ijchen
committed

Commits on Mar 12, 2025

improved ci.sh
root
committed
moved build after lint (minor)
root
committed
moved to-do list from lib.rs to TO-DO.md
root
committed
enabled strict provenance checks in MIRI, cleaned up ci.sh
root
committed
documented feature flags in README.md, updated TO-DO.md
root
committed
cut trybuild, hand-rolled test framework
root
committed

Commits on Mar 13, 2025

deleted TO-DO.md
root
committed
TO-DO.md is so back
root
committed
updated docs CI job to run on nightly as well
root
committed
improved documentation
root
committed
updated TO-DO.md
root
committed
added header for first section
root
committed
updated TO-DO.md
root
committed
added test that builds against nostd target
ijchen
committed
added nostd tests to CI
ijchen
committed
swapped test order in ci.yaml
ijchen
committed
added non-1-ZSTs to ZST tests
ijchen
committed
cut code coverage (too many false positives)
ijchen
committed

Commits on Mar 14, 2025

Commits on Mar 16, 2025

ready for release 0.2.0
root
committed