Make it possible to choose the index type
Home /
Input Output /
lsm-tree
Dec 15, 1-2 AM (0)
Dec 15, 2-3 AM (0)
Dec 15, 3-4 AM (0)
Dec 15, 4-5 AM (0)
Dec 15, 5-6 AM (0)
Dec 15, 6-7 AM (0)
Dec 15, 7-8 AM (0)
Dec 15, 8-9 AM (0)
Dec 15, 9-10 AM (0)
Dec 15, 10-11 AM (0)
Dec 15, 11-12 PM (0)
Dec 15, 12-1 PM (0)
Dec 15, 1-2 PM (0)
Dec 15, 2-3 PM (0)
Dec 15, 3-4 PM (0)
Dec 15, 4-5 PM (0)
Dec 15, 5-6 PM (0)
Dec 15, 6-7 PM (0)
Dec 15, 7-8 PM (0)
Dec 15, 8-9 PM (0)
Dec 15, 9-10 PM (0)
Dec 15, 10-11 PM (0)
Dec 15, 11-12 AM (0)
Dec 16, 12-1 AM (0)
Dec 16, 1-2 AM (0)
Dec 16, 2-3 AM (0)
Dec 16, 3-4 AM (0)
Dec 16, 4-5 AM (0)
Dec 16, 5-6 AM (0)
Dec 16, 6-7 AM (0)
Dec 16, 7-8 AM (0)
Dec 16, 8-9 AM (0)
Dec 16, 9-10 AM (0)
Dec 16, 10-11 AM (0)
Dec 16, 11-12 PM (1)
Dec 16, 12-1 PM (0)
Dec 16, 1-2 PM (1)
Dec 16, 2-3 PM (4)
Dec 16, 3-4 PM (5)
Dec 16, 4-5 PM (0)
Dec 16, 5-6 PM (0)
Dec 16, 6-7 PM (0)
Dec 16, 7-8 PM (0)
Dec 16, 8-9 PM (0)
Dec 16, 9-10 PM (1)
Dec 16, 10-11 PM (0)
Dec 16, 11-12 AM (0)
Dec 17, 12-1 AM (0)
Dec 17, 1-2 AM (0)
Dec 17, 2-3 AM (0)
Dec 17, 3-4 AM (0)
Dec 17, 4-5 AM (0)
Dec 17, 5-6 AM (0)
Dec 17, 6-7 AM (0)
Dec 17, 7-8 AM (1)
Dec 17, 8-9 AM (1)
Dec 17, 9-10 AM (0)
Dec 17, 10-11 AM (4)
Dec 17, 11-12 PM (0)
Dec 17, 12-1 PM (0)
Dec 17, 1-2 PM (0)
Dec 17, 2-3 PM (0)
Dec 17, 3-4 PM (1)
Dec 17, 4-5 PM (0)
Dec 17, 5-6 PM (0)
Dec 17, 6-7 PM (0)
Dec 17, 7-8 PM (0)
Dec 17, 8-9 PM (0)
Dec 17, 9-10 PM (0)
Dec 17, 10-11 PM (0)
Dec 17, 11-12 AM (0)
Dec 18, 12-1 AM (0)
Dec 18, 1-2 AM (0)
Dec 18, 2-3 AM (0)
Dec 18, 3-4 AM (0)
Dec 18, 4-5 AM (0)
Dec 18, 5-6 AM (0)
Dec 18, 6-7 AM (0)
Dec 18, 7-8 AM (1)
Dec 18, 8-9 AM (4)
Dec 18, 9-10 AM (3)
Dec 18, 10-11 AM (0)
Dec 18, 11-12 PM (0)
Dec 18, 12-1 PM (6)
Dec 18, 1-2 PM (0)
Dec 18, 2-3 PM (0)
Dec 18, 3-4 PM (3)
Dec 18, 4-5 PM (1)
Dec 18, 5-6 PM (3)
Dec 18, 6-7 PM (1)
Dec 18, 7-8 PM (0)
Dec 18, 8-9 PM (1)
Dec 18, 9-10 PM (0)
Dec 18, 10-11 PM (0)
Dec 18, 11-12 AM (0)
Dec 19, 12-1 AM (0)
Dec 19, 1-2 AM (0)
Dec 19, 2-3 AM (0)
Dec 19, 3-4 AM (0)
Dec 19, 4-5 AM (0)
Dec 19, 5-6 AM (0)
Dec 19, 6-7 AM (0)
Dec 19, 7-8 AM (0)
Dec 19, 8-9 AM (0)
Dec 19, 9-10 AM (0)
Dec 19, 10-11 AM (0)
Dec 19, 11-12 PM (0)
Dec 19, 12-1 PM (1)
Dec 19, 1-2 PM (0)
Dec 19, 2-3 PM (11)
Dec 19, 3-4 PM (1)
Dec 19, 4-5 PM (0)
Dec 19, 5-6 PM (0)
Dec 19, 6-7 PM (0)
Dec 19, 7-8 PM (0)
Dec 19, 8-9 PM (0)
Dec 19, 9-10 PM (0)
Dec 19, 10-11 PM (0)
Dec 19, 11-12 AM (0)
Dec 20, 12-1 AM (0)
Dec 20, 1-2 AM (0)
Dec 20, 2-3 AM (0)
Dec 20, 3-4 AM (0)
Dec 20, 4-5 AM (0)
Dec 20, 5-6 AM (0)
Dec 20, 6-7 AM (0)
Dec 20, 7-8 AM (0)
Dec 20, 8-9 AM (1)
Dec 20, 9-10 AM (0)
Dec 20, 10-11 AM (0)
Dec 20, 11-12 PM (0)
Dec 20, 12-1 PM (3)
Dec 20, 1-2 PM (1)
Dec 20, 2-3 PM (0)
Dec 20, 3-4 PM (0)
Dec 20, 4-5 PM (0)
Dec 20, 5-6 PM (0)
Dec 20, 6-7 PM (0)
Dec 20, 7-8 PM (0)
Dec 20, 8-9 PM (0)
Dec 20, 9-10 PM (1)
Dec 20, 10-11 PM (0)
Dec 20, 11-12 AM (0)
Dec 21, 12-1 AM (0)
Dec 21, 1-2 AM (0)
Dec 21, 2-3 AM (0)
Dec 21, 3-4 AM (0)
Dec 21, 4-5 AM (0)
Dec 21, 5-6 AM (0)
Dec 21, 6-7 AM (0)
Dec 21, 7-8 AM (0)
Dec 21, 8-9 AM (0)
Dec 21, 9-10 AM (0)
Dec 21, 10-11 AM (0)
Dec 21, 11-12 PM (0)
Dec 21, 12-1 PM (0)
Dec 21, 1-2 PM (0)
Dec 21, 2-3 PM (0)
Dec 21, 3-4 PM (0)
Dec 21, 4-5 PM (0)
Dec 21, 5-6 PM (0)
Dec 21, 6-7 PM (0)
Dec 21, 7-8 PM (0)
Dec 21, 8-9 PM (0)
Dec 21, 9-10 PM (0)
Dec 21, 10-11 PM (0)
Dec 21, 11-12 AM (0)
Dec 22, 12-1 AM (0)
Dec 22, 1-2 AM (0)
61 commits this week
Dec 15, 2024
-
Dec 22, 2024
Test roundtrips of snapshot metadata to disk with FS error injection
This test is similar to the roundtrip test we already had, but now we test that the roundtrip holds even if there was a disk exception at some point, in particular during the part where we write metadata files to disk.
Test roundtrips of metadata to disk with FS error injection
Remove the named snapshot directory in case of errors
Merge pull request #504 from IntersectMBO/dcoutts/move-mergepolicy-from-mergingrun-to-incomingrun
Move MergePolicyForLevel from MergingRun to IncomingRun
Move MergePolicyForLevel from MergingRun to IncomingRun
As part of the changes to the scheduled merges prototype to introduce table unions, this refactoring was done. This is because the merging run gets reused in tree merges, where the merging policy makes no sense. So we move it up one level into something that's specific to the levels (the incomming run). So this is the corresonding refactoring as in the prototype, and is preparation for introducing table unions.
Fix NFData instance for SnapshotMetaData
Fix Encode instance for SnapshotMetaData
Write the WriteBuffer in createSnapshot
Use `ghc-9.12.1` in GHA in stead of the prerelease
Fix function invocation broken by type variable reordering
Move other `Index` and `IndexAcc` things to the end
Move `Index` and `IndexAcc` type parameters to the end
Abandon separate class `NewIndexAcc`
Undo accidentally committed changes to Cabal configuration
Merge pull request #484 from IntersectMBO/jdral/action-registry
Add `ActionRegistry` replacement for `TempRegistry`