Update 2024-06.md

hacspec · Jul 3, 2024 · e8b52a5 · e8b52a5
1 parent 88fb391
commit e8b52a5
Showing 1 changed file with 23 additions and 23 deletions.
diff --git a/content/posts/this-month-in-hax/2024-06.md b/content/posts/this-month-in-hax/2024-06.md
@@ -25,26 +25,26 @@ F* proof library. We also improved the bounded integer library and
 it's F* integration.
 
 # Merged Pull Requests
-[Translate `dyn Trait` information](https://github.com/hacspec/hax/pull/741)
-[fix(engine/fstar): use `Base.String.hash` instead of `String.hash`](https://github.com/hacspec/hax/pull/740)
-[feat: add LICENSE](https://github.com/hacspec/hax/pull/736)
-[Update rustc all at once](https://github.com/hacspec/hax/pull/735)
-[refactor(engine/fstar-ast): get rid of `zarith` and GMP](https://github.com/hacspec/hax/pull/734)
-[Update rustc](https://github.com/hacspec/hax/pull/733)
-[fix(engine/fstar): fix implicit discrepancies in traits](https://github.com/hacspec/hax/pull/726)
-[feat(nix): reduce closure size for hax-engine](https://github.com/hacspec/hax/pull/724)
-[Generalize bounded ints](https://github.com/hacspec/hax/pull/723)
-[Don't use strings to represent paths](https://github.com/hacspec/hax/pull/722)
-[Update rustc](https://github.com/hacspec/hax/pull/721)
-[fix(backends/fstar): no `__marker_trait` if parent bounds](https://github.com/hacspec/hax/pull/712)
-[feat(proof-libs): add `t_Default`](https://github.com/hacspec/hax/pull/711)
-[feat(hax): logging: enable tracing in release, add trait-related logs](https://github.com/hacspec/hax/pull/710)
-[fix(exporter): disable impl expr resolution under type aliases](https://github.com/hacspec/hax/pull/709)
-[fix: rename action for extracting ml-kem](https://github.com/hacspec/hax/pull/704)
-[feat: isolate `DefId`: faster build times](https://github.com/hacspec/hax/pull/703)
-[fix(README): always begin relative path with `./`, rewrite in action](https://github.com/hacspec/hax/pull/702)
-[fix(ci): newer version of `ppx_deriving` (6.0.2) loops indefinitely](https://github.com/hacspec/hax/pull/697)
-[Update to OCaml 5](https://github.com/hacspec/hax/pull/694)
-[Export discriminant values in `AdtDef`](https://github.com/hacspec/hax/pull/693)
-[Update README.md](https://github.com/hacspec/hax/pull/691)
-[Bump rustc version](https://github.com/hacspec/hax/pull/690)
+- [Translate `dyn Trait` information](https://github.com/hacspec/hax/pull/741)
+- [fix(engine/fstar): use `Base.String.hash` instead of `String.hash`](https://github.com/hacspec/hax/pull/740)
+- [feat: add LICENSE](https://github.com/hacspec/hax/pull/736)
+- [Update rustc all at once](https://github.com/hacspec/hax/pull/735)
+- [refactor(engine/fstar-ast): get rid of `zarith` and GMP](https://github.com/hacspec/hax/pull/734)
+- [Update rustc](https://github.com/hacspec/hax/pull/733)
+- [fix(engine/fstar): fix implicit discrepancies in traits](https://github.com/hacspec/hax/pull/726)
+- [feat(nix): reduce closure size for hax-engine](https://github.com/hacspec/hax/pull/724)
+- [Generalize bounded ints](https://github.com/hacspec/hax/pull/723)
+- [Don't use strings to represent paths](https://github.com/hacspec/hax/pull/722)
+- [Update rustc](https://github.com/hacspec/hax/pull/721)
+- [fix(backends/fstar): no `__marker_trait` if parent bounds](https://github.com/hacspec/hax/pull/712)
+- [feat(proof-libs): add `t_Default`](https://github.com/hacspec/hax/pull/711)
+- [feat(hax): logging: enable tracing in release, add trait-related logs](https://github.com/hacspec/hax/pull/710)
+- [fix(exporter): disable impl expr resolution under type aliases](https://github.com/hacspec/hax/pull/709)
+- [fix: rename action for extracting ml-kem](https://github.com/hacspec/hax/pull/704)
+- [feat: isolate `DefId`: faster build times](https://github.com/hacspec/hax/pull/703)
+- [fix(README): always begin relative path with `./`, rewrite in action](https://github.com/hacspec/hax/pull/702)
+- [fix(ci): newer version of `ppx_deriving` (6.0.2) loops indefinitely](https://github.com/hacspec/hax/pull/697)
+- [Update to OCaml 5](https://github.com/hacspec/hax/pull/694)
+- [Export discriminant values in `AdtDef`](https://github.com/hacspec/hax/pull/693)
+- [Update README.md](https://github.com/hacspec/hax/pull/691)
+- [Bump rustc version](https://github.com/hacspec/hax/pull/690)