Wed, 29 Nov 2023 10:04:41 -0500 |
Raphaël Gomès |
rust-index: implement faster retain heads using a vec instead of a hashset
|
Thu, 14 Dec 2023 11:52:05 +0100 |
Raphaël Gomès |
rust-index: allow inlining VCSGraph parents across crates
|
Thu, 23 Nov 2023 18:48:07 +0100 |
Raphaël Gomès |
rust-index: allow inlining `parents` across crates
|
Thu, 23 Nov 2023 18:47:42 +0100 |
Raphaël Gomès |
rust-index: allow inlining `check_revision` across crates
|
Thu, 23 Nov 2023 03:41:58 +0100 |
Raphaël Gomès |
rust-index: document safety invariants being upheld for every `unsafe` block
|
Sun, 29 Oct 2023 12:18:03 +0100 |
Georges Racinet on incendie.racinet.fr |
rust-index: renamed `MixedIndex` as `Index`
|
Sun, 29 Oct 2023 23:54:05 +0100 |
Georges Racinet |
rust-index: stop instantiating a C Index
|