This is the last post of this series for 2024.
During this somewhat brief December, as many take time off for the holidays, we merged 21 PRs.
The focus this month was largely on bug fixes, improvements, and general cleanups, with most of the work concentrated on the engine. However, a few frontend updates made their way in as well.
A notable contribution from @maximebuyse introduces more consistent support for marking Rust items as opaque, establishing a unified approach to opaqueness across nearly all types of Rust items.
Additionally, we’ve expanded our documentation. I began outlining the technical architecture of hax in the book, providing a clearer overview for those interested in the inner workings of the project.
Merged Pull Requests
- #1210: fix(backend) Filter Impl after adding comments.
- #1209: fix(engine) Check attributes of descendants to build dependency graph.
- #1208: fix(engine) Add ascription to match scrutinees.
- #1205: Bundle naming fixes
- #1201: Update stale.yml
- #1198: Frontend/exporter: Add a
kindfield toDefIdContents - #1197: Engine: get rid of most of exception throwing function calls, improve parsers and error reports
- #1193: fix(frontend) Only include direct parent bounds for associated types in traits.
- #1191: Hint to check
$PATHin Readme - #1190: hax-types: version for serde-brief
- #1189: fix(engine) Opaque consts
- #1184: Skip generated impls using
Erasedattribute. - #1182: fix(engine) Fix generic type constraints naming bug.
- #1181: feat(publishing): use
--no-tag - #1174: Remove rejected type ascription patterns from generated f*.
- #1166: Clean up of F* libraries
- #1154: chore: Release
0.1.0-rc.1 - #1148: Book: small cleanup
- #1134: Opaque extensions
- #1120: doc(book): architecture of hax
- #971: doc: release procedure