Merge pull request #14 from hacspec/this-month-in-hax-dec-24

this month in hax: december 24

Author: W95Psp

content/posts/this-month-in-hax/2024-12.md

@@ -0,0 +1,48 @@
+---
+author: "Lucas Franceschino"
+title: "This month in hax: December 2024"
+date: "2024-12-06"
+tags: ["this-month-in-hax"]
+ShowToc: false
+ShowBreadCrumbs: false
+---
+
+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](https://github.com/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.](https://github.com/hacspec/hax/pull/1210)
+* #1209: [fix(engine) Check attributes of descendants to build dependency graph.](https://github.com/hacspec/hax/pull/1209)
+* #1208: [fix(engine) Add ascription to match scrutinees.](https://github.com/hacspec/hax/pull/1208)
+* #1205: [Bundle naming fixes](https://github.com/hacspec/hax/pull/1205)
+* #1201: [Update stale.yml](https://github.com/hacspec/hax/pull/1201)
+* #1198: [Frontend/exporter: Add a `kind` field to `DefIdContents`](https://github.com/hacspec/hax/pull/1198)
+* #1197: [Engine: get rid of most of exception throwing function calls, improve parsers and error reports](https://github.com/hacspec/hax/pull/1197)
+* #1193: [fix(frontend) Only include direct parent bounds for associated types in traits.](https://github.com/hacspec/hax/pull/1193)
+* #1191: [Hint to check `$PATH` in Readme](https://github.com/hacspec/hax/pull/1191)
+* #1190: [hax-types: version for serde-brief](https://github.com/hacspec/hax/pull/1190)
+* #1189: [fix(engine) Opaque consts](https://github.com/hacspec/hax/pull/1189)
+* #1184: [Skip generated impls using `Erased` attribute.](https://github.com/hacspec/hax/pull/1184)
+* #1182: [fix(engine) Fix generic type constraints naming bug.](https://github.com/hacspec/hax/pull/1182)
+* #1181: [feat(publishing): use `--no-tag`](https://github.com/hacspec/hax/pull/1181)
+* #1174: [Remove rejected type ascription patterns from generated f*.](https://github.com/hacspec/hax/pull/1174)
+* #1166: [Clean up of F* libraries](https://github.com/hacspec/hax/pull/1166)
+* #1154: [chore: Release `0.1.0-rc.1`](https://github.com/hacspec/hax/pull/1154)
+* #1148: [Book: small cleanup](https://github.com/hacspec/hax/pull/1148)
+* #1134: [Opaque extensions](https://github.com/hacspec/hax/pull/1134)
+* #1120: [doc(book): architecture of hax](https://github.com/hacspec/hax/pull/1120)
+* #971: [doc: release procedure](https://github.com/hacspec/hax/pull/971)
+
+### Contributors
+* [@W95Psp](https://github.com/W95Psp)
+* [@franziskuskiefer](https://github.com/franziskuskiefer)
+* [@jschneider-bensch](https://github.com/jschneider-bensch)
+* [@karthikbhargavan](https://github.com/karthikbhargavan)
+* [@maximebuyse](https://github.com/maximebuyse)