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
|
Mon, 30 Oct 2023 21:28:30 +0100 |
Georges Racinet |
rust-revlog: using the ad-hoc `NodeTree` in scmutil
|
Mon, 30 Oct 2023 22:36:30 +0100 |
Georges Racinet |
rust-revlog: add invalidation detection to `NodeTree` class
|
Thu, 02 Nov 2023 15:50:13 +0100 |
Raphaël Gomès |
rust-index: add support for `del index[r]`
|
Mon, 30 Oct 2023 21:26:17 +0100 |
Georges Racinet |
rust-revlog: bare minimal NodeTree exposition
|
Mon, 30 Oct 2023 21:25:28 +0100 |
Georges Racinet |
rust-index: a property to identify the Rust index as such
|