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
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip