{"header":{"message":"Fixing some comments and reformatting","description":null,"timestamp":"2021-07-30T18:02:18.839941314Z","authors":[{}]},"hash":"HCDD6FX7YL5MDK757ZE6MYHB2YHCUAO2Y3Y347JBTG4DNCIJJBIQC","authors":[{"login":"pmeunier","key":"FZQ2g7VfnzLYM4mtTVDk9HAZjA8Jk9ndkwN1icgbtWUr"}],"deps":{"hashes":[["HCDD6FX7YL5MDK757ZE6MYHB2YHCUAO2Y3Y347JBTG4DNCIJJBIQC","Fixing some comments and reformatting"],["AA",null],["5JOD7M26QO2JKNLCPIZW6RQDHEWSDRVDSUWKXR2YHJGHUNGSIS5QC","Modifying cursor lengths when appending"],["DASFQGORX56YK5E4Y7GGYZSQQQMUXYTZZ4A6IVWSTI3QGRUORLPAC","Debugging"],["QEUTVAZ4F4EJXRDMWDMYXF6XEDMX7YPVG4IIXEKPIR3K54E5W5OAC","Splitting btree::page"],["RV2L6CZWTMUQ2A52YDAFVHDFGURZL3H4SSCDC347UGN23D3J5KZQC","A few comments"],["KMT3MF5NLEQIPZLHCRYDGQ5EA46HJCG3C2ANEPMZGKGHDK77ADPAC","Drop a database"],["OTWDDJE7TTE73D6BGF4ZN6BH2NFUFLPME2VJ3CPALH463UGWLEIQC","Trait/type cleanup"],["H3FVSQIQGFCFKCPXVOSFHP4OSUOBBURJESCZNGQTNDAAD3WQSBEQC","Unsized pages"],["WS4ZQM4RMIHZ6XZKSDQJGHN5SSSWFL4H236USOPUA33S6RC53RFAC","Debugging, tests, etc."],["LSQ6V7M66TEGLJ7QBLRVDX4E7UKJTDQTEXZOS3KGPGFKVXNLPKBQC","Cleanup + docs"],["XEU2QVLCHPYOOD4TQIPEEVYOVSFMKFPLJYWEJYXYJAZ7S54KWDZAC","Debugging after plugging this into Pijul"],["LPKM23EUHSWN3BQ3ZGRZTYUNJYJHCXONSJAE6X6LTYTU656TICFAC","Nailing this leak"],["G4JEQLLX6Q7VVFVAEJZAVQXX33MQ36CSCYSMJ5NQM5VZ76DXKU6QC","Debugging synchronisation"],["OFINGD26ZWCRDVVDI2ZIBLMHXKEMJA6MRNLANJYUHQPIJLPA7J2AC","implementing prev() on cursors (+ some cleanup)"],["APPY2E7M5NHNC6MFYXSVEKJVAILK7YAZVTVE3W75EK2JNFVS3XBQC","Unsized deletions + custom sizes back"],["QYDGYIZRNFRIQD7RUCY5YAN3F2THZA74E5UOHPIFWSULEJFAFVJQC","Split trait Representable into its mandatory part and an optional part"],["NXMFNPZ7VWJRLC3M5QJJVTICXCMGE24F3HVIZA7A7RLVMLQMLDVQC","Comments + debugging drop"],["UUUVNC4DWEEL7WV5IRPKPZ6HZMYCPA53XM7LJWICUD4E6GN37IRQC","Debugging/cleanup around cursors"],["73Z2UB3JGRLFNFORE7D64O4IHIFSZASD4G4FLJ4FJLHANT75MGIAC","Cleanup + comments"],["W2MIZD5BNL7A5HVFWTESF57QU7T6QMEF4RBSLFQXMEEU3XD2NU2QC","Single file databases + CRC for the root pages (checking the other pages makes everything very slow)"],["SYURNHHL3P22ZAERTML4YW3DYLATHY5ALZH4GL5NF3LENDSKL2NQC","Adding the `put_mut` and `set_left_child` methods"],["OP6SVMOD2GTQ7VNJ4E5KYFG4MIYA7HBMXJTADALMZH4PY7OQRMZQC","Resetting history"],["52X5P7NDBQHIJDIYNY3XUPDHHOO3PDPPNKGO2PGLXKVNM3EVECTQC","Cleaning up the unsized part"],["CCNPHVQCIGINWTLXCHOASGVWUPBZXFOLM2F7HTKMEA2DMFTOX7TAC","Cleanup, comments, renaming"],["Q7DRIBBRE4MNG4NP3PVIXAJF5PQYLFWYIVK2O4VVLEO6XY3BOSFQC","Debugging replace (which cannot be del+put)"],["DV4A2LR7Q5LAEGAQHLO34PZCHGJUHPAMRZFGT7GUFNKVQKPJNOYQC","Double-inserts (rebalancing near an internal deletion)"],["TSMS6W4DOKQNUQ4PEMTLOIODR33VFPN6MMNS73ZPSU4BOQVRGPNAC","Fully commented implementation of Sized nodes + massive cleanup"],["HN6Z5DU4WYMAIOOSNVHLIIMNF6Q53TNJ7YC27SLKWNXVYCTACQKQC","Cleanup"],["6UVFCERMGSGNRWCVC3GWO5HWV6MSWE433DXBJVC7KRPP6LLJLCSQC","Formatting, debugging, etc."]],"deps":["5JOD7M26QO2JKNLCPIZW6RQDHEWSDRVDSUWKXR2YHJGHUNGSIS5QC"],"known":["OP6SVMOD2GTQ7VNJ4E5KYFG4MIYA7HBMXJTADALMZH4PY7OQRMZQC","WS4ZQM4RMIHZ6XZKSDQJGHN5SSSWFL4H236USOPUA33S6RC53RFAC","DV4A2LR7Q5LAEGAQHLO34PZCHGJUHPAMRZFGT7GUFNKVQKPJNOYQC","QEUTVAZ4F4EJXRDMWDMYXF6XEDMX7YPVG4IIXEKPIR3K54E5W5OAC","OTWDDJE7TTE73D6BGF4ZN6BH2NFUFLPME2VJ3CPALH463UGWLEIQC","H3FVSQIQGFCFKCPXVOSFHP4OSUOBBURJESCZNGQTNDAAD3WQSBEQC","6UVFCERMGSGNRWCVC3GWO5HWV6MSWE433DXBJVC7KRPP6LLJLCSQC","APPY2E7M5NHNC6MFYXSVEKJVAILK7YAZVTVE3W75EK2JNFVS3XBQC","G4JEQLLX6Q7VVFVAEJZAVQXX33MQ36CSCYSMJ5NQM5VZ76DXKU6QC","KMT3MF5NLEQIPZLHCRYDGQ5EA46HJCG3C2ANEPMZGKGHDK77ADPAC","UUUVNC4DWEEL7WV5IRPKPZ6HZMYCPA53XM7LJWICUD4E6GN37IRQC","OFINGD26ZWCRDVVDI2ZIBLMHXKEMJA6MRNLANJYUHQPIJLPA7J2AC","XEU2QVLCHPYOOD4TQIPEEVYOVSFMKFPLJYWEJYXYJAZ7S54KWDZAC","Q7DRIBBRE4MNG4NP3PVIXAJF5PQYLFWYIVK2O4VVLEO6XY3BOSFQC","73Z2UB3JGRLFNFORE7D64O4IHIFSZASD4G4FLJ4FJLHANT75MGIAC","NXMFNPZ7VWJRLC3M5QJJVTICXCMGE24F3HVIZA7A7RLVMLQMLDVQC","RV2L6CZWTMUQ2A52YDAFVHDFGURZL3H4SSCDC347UGN23D3J5KZQC","HN6Z5DU4WYMAIOOSNVHLIIMNF6Q53TNJ7YC27SLKWNXVYCTACQKQC","LSQ6V7M66TEGLJ7QBLRVDX4E7UKJTDQTEXZOS3KGPGFKVXNLPKBQC","QYDGYIZRNFRIQD7RUCY5YAN3F2THZA74E5UOHPIFWSULEJFAFVJQC","CCNPHVQCIGINWTLXCHOASGVWUPBZXFOLM2F7HTKMEA2DMFTOX7TAC","TSMS6W4DOKQNUQ4PEMTLOIODR33VFPN6MMNS73ZPSU4BOQVRGPNAC","52X5P7NDBQHIJDIYNY3XUPDHHOO3PDPPNKGO2PGLXKVNM3EVECTQC","W2MIZD5BNL7A5HVFWTESF57QU7T6QMEF4RBSLFQXMEEU3XD2NU2QC","DASFQGORX56YK5E4Y7GGYZSQQQMUXYTZZ4A6IVWSTI3QGRUORLPAC","SYURNHHL3P22ZAERTML4YW3DYLATHY5ALZH4GL5NF3LENDSKL2NQC","LPKM23EUHSWN3BQ3ZGRZTYUNJYJHCXONSJAE6X6LTYTU656TICFAC"]},"hunks":[{"Replacement":{"inode":{"change":3,"pos":91},"path":"sanakirja-core/src/lib.rs","line":68,"ins":{"up_context":[{"change":3,"pos":1440}],"down_context":[{"change":3,"pos":0}],"flag":"BLOCK","start":0,"end":16,"inode":{"change":3,"pos":91}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1440},"to":{"change":3,"start":1440,"end":1477},"introduced_by":3}],"inode":{"change":3,"pos":91}},"ins_contents":[{"Add":"/// references."}],"del_contents":[{"Del":"/// references to out-of-tree pages.\n"}]}},{"Edit":{"inode":{"change":3,"pos":91},"path":"sanakirja-core/src/lib.rs","line":203,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":2077}],"down_context":[{"change":3,"pos":1663}],"flag":"BLOCK","start":17,"end":62,"inode":{"change":3,"pos":91}}},"contents":[{"Add":" assert_eq!(k.align_offset(K::ALIGN), 0);"}]}},{"Replacement":{"inode":{"change":3,"pos":91},"path":"sanakirja-core/src/lib.rs","line":206,"ins":{"up_context":[{"change":3,"pos":2159}],"down_context":[{"change":3,"pos":2225}],"flag":"BLOCK","start":63,"end":118,"inode":{"change":3,"pos":91}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2159},"to":{"change":3,"start":2159,"end":2225},"introduced_by":3}],"inode":{"change":3,"pos":91}},"ins_contents":[{"Add":" let v_off = (ks + V::ALIGN - 1) & !(V::ALIGN - 1);"}],"del_contents":[{"Del":" let va = V::ALIGN;\n let v_off = (ks + va - 1) & !(va - 1);\n"}]}},{"Replacement":{"inode":{"change":3,"pos":91},"path":"sanakirja-core/src/lib.rs","line":259,"ins":{"up_context":[{"change":3,"pos":401}],"down_context":[{"change":3,"pos":438}],"flag":"BLOCK","start":119,"end":153,"inode":{"change":3,"pos":91}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":401},"to":{"change":3,"start":401,"end":438},"introduced_by":3}],"inode":{"change":3,"pos":91}},"ins_contents":[{"Add":" self.data.add(8),"}],"del_contents":[{"Del":" self.data.offset(8),\n"}]}},{"Replacement":{"inode":{"change":3,"pos":91},"path":"sanakirja-core/src/lib.rs","line":274,"ins":{"up_context":[{"change":3,"pos":1928}],"down_context":[{"change":3,"pos":504}],"flag":"BLOCK","start":154,"end":214,"inode":{"change":3,"pos":91}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1928},"to":{"change":3,"start":1928,"end":1993},"introduced_by":3}],"inode":{"change":3,"pos":91}},"ins_contents":[{"Add":"/// `CowPage` to avoid checking the \"dirty\" bit at runtime."}],"del_contents":[{"Del":"/// `CowPage` to avoid checking the \"dirty\" bit at running time.\n"}]}},{"Replacement":{"inode":{"change":3,"pos":91},"path":"sanakirja-core/src/lib.rs","line":288,"ins":{"up_context":[{"change":3,"pos":907}],"down_context":[{"change":3,"pos":966}],"flag":"BLOCK","start":215,"end":271,"inode":{"change":3,"pos":91}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":907},"to":{"change":3,"start":907,"end":966},"introduced_by":3}],"inode":{"change":3,"pos":91}},"ins_contents":[{"Add":" let crc = (self.0.data as *mut u32).add(1);"}],"del_contents":[{"Del":" let crc = (self.0.data as *mut u32).offset(1);\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":110,"ins":{"up_context":[{"change":3,"pos":5381}],"down_context":[{"change":3,"pos":5475}],"flag":"BLOCK","start":272,"end":361,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":5381},"to":{"change":3,"start":5381,"end":5475},"introduced_by":3}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" // position `-1` has a right child (which is the first element's"},{"Add":" // left child)."}],"del_contents":[{"Del":" // position `-1` has a right child (which is the left child of the\n // first element).\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":143,"ins":{"up_context":[{"change":3,"pos":4501}],"down_context":[{"change":3,"pos":4615}],"flag":"BLOCK","start":362,"end":427,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":4501},"to":{"change":3,"start":4501,"end":4615},"introduced_by":3}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" if c.cur >= c.total as isize {"},{"Add":" return false;"}],"del_contents":[{"Del":" if c.cur < c.total as isize {\n c.cur += 1;\n true\n } else {\n false\n"}]}},{"Edit":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":146,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":4625}],"down_context":[{"change":3,"pos":4625}],"flag":"BLOCK","start":428,"end":461,"inode":{"change":3,"pos":8623}}},"contents":[{"Add":" c.cur += 1;"},{"Add":" true"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":151,"ins":{"up_context":[{"change":3,"pos":4680}],"down_context":[{"change":3,"pos":5729}],"flag":"BLOCK","start":462,"end":511,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":4680},"to":{"change":3,"start":4680,"end":4803},"introduced_by":3}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" if c.cur < 0 {"},{"Add":" return false;"}],"del_contents":[{"Del":" if c.cur > 0 {\n c.cur -= 1;\n true\n } else {\n c.cur = -1;\n false\n"}]}},{"Edit":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":154,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":5739}],"down_context":[{"change":3,"pos":5739}],"flag":"BLOCK","start":512,"end":545,"inode":{"change":3,"pos":8623}}},"contents":[{"Add":" c.cur -= 1;"},{"Add":" true"}]}},{"Edit":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":158,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":5746},"to":{"change":3,"start":5746,"end":5809},"introduced_by":3}],"inode":{"change":3,"pos":8623}}},"contents":[{"Del":" // This is the first non-trivial method, let's explain it.\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":171,"ins":{"up_context":[{"change":3,"pos":6282}],"down_context":[{"change":3,"pos":6506}],"flag":"BLOCK","start":546,"end":790,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":6282},"to":{"change":3,"start":6282,"end":6506},"introduced_by":3}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" // This means that the header may be followed by padding"},{"Add":" // (in order to align the entries). These are constants"},{"Add":" // known at compile-time, so `al` and `hdr` are optimised"},{"Add":" // away by the compiler."}],"del_contents":[{"Del":" // This means that the header may be followed by\n // padding. These are constants known at compile-time, by\n // the way, so `al` and `hdr` are optimised away by the\n // compiler.\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":183,"ins":{"up_context":[{"change":3,"pos":6896}],"down_context":[{"change":3,"pos":6952}],"flag":"BLOCK","start":791,"end":909,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":6896},"to":{"change":3,"start":6896,"end":6952},"introduced_by":3}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" // `f * cur` bytes after the padded header (because"},{"Add":" // `size_of` includes alignment padding)."}],"del_contents":[{"Del":" // `f * cur` bytes after the padded header:\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":225,"ins":{"up_context":[{"change":3,"pos":4988}],"down_context":[{"change":3,"pos":5088}],"flag":"BLOCK","start":910,"end":1013,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":4988},"to":{"change":3,"start":4988,"end":5088},"introduced_by":3}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" unsafe { *(page.data.as_ptr().offset((HDR as isize + c.cur * 8) - 8) as *const u64) };"}],"del_contents":[{"Del":" unsafe { *(page.data.as_ptr().add((HDR + c.cur as usize * 8) - 8) as *const u64) };\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":233,"ins":{"up_context":[{"change":3,"pos":5305}],"down_context":[{"change":3,"pos":5305}],"flag":"BLOCK","start":1014,"end":1097,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":5305},"to":{"change":3,"start":8676,"end":8763},"introduced_by":3}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" assert!(c.cur < c.total as isize && HDR as isize + c.cur * 8 <= 4088);"}],"del_contents":[{"Del":" assert!(c.cur < c.total as isize && HDR as isize + c.cur * 8 - 8 <= 4088);\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":256,"ins":{"up_context":[{"change":3,"pos":9175}],"down_context":[{"change":3,"pos":9275}],"flag":"BLOCK","start":1098,"end":1156,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":9175},"to":{"change":3,"start":9175,"end":9275},"introduced_by":3}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" // Just read the tuple and return it."}],"del_contents":[{"Del":" // Just read the tuple, as we did multiple times\n // before.\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":317,"ins":{"up_context":[{"change":3,"pos":10774}],"down_context":[{"change":3,"pos":1522}],"flag":"BLOCK","start":1157,"end":1212,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":10774},"to":{"change":3,"start":10774,"end":10826},"introduced_by":3}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" // leaf). This is implemented in the `put` module."}],"del_contents":[{"Del":" // leaf). This is implemented the `put` module.\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":341,"ins":{"up_context":[{"change":3,"pos":11472}],"down_context":[{"change":3,"pos":715}],"flag":"BLOCK","start":1213,"end":1303,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":11472},"to":{"change":3,"start":582,"end":633},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":633},"to":{"change":2,"start":54,"end":84},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":84},"to":{"change":3,"start":659,"end":715},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":659},"to":{"change":3,"start":659,"end":715},"introduced_by":3}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" unsafe fn put_mut(page: &mut MutPage, c: &mut Self::Cursor, k0: &K, v0: &V, r: u64) {"}],"del_contents":[{"Del":" unsafe fn put_mut(\n page: &mut MutPage,\n"},{"Del":" c: &mut Self::Cursor,\n"},{"Del":" k0: &K,\n v0: &V,\n r: u64,\n ) {\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":352,"ins":{"up_context":[{"change":3,"pos":963}],"down_context":[{"change":3,"pos":1070}],"flag":"BLOCK","start":1304,"end":1381,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":963},"to":{"change":3,"start":963,"end":1070},"introduced_by":3}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" unsafe fn set_left_child(page: &mut MutPage, c: &Self::Cursor, l: u64) {"}],"del_contents":[{"Del":" unsafe fn set_left_child(\n page: &mut MutPage,\n c: &Self::Cursor,\n l: u64\n ) {\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":366,"ins":{"up_context":[{"change":3,"pos":11050}],"down_context":[{"change":3,"pos":11672}],"flag":"BLOCK","start":1382,"end":1456,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":11050},"to":{"change":3,"start":11050,"end":11127},"introduced_by":3}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" assert!(!c.is_leaf && c.cur >= 0 && (c.cur as usize) <= c.total);"}],"del_contents":[{"Del":" assert!(!c.is_leaf && c.cur >= 0 && (c.cur as usize) < c.total + 1);\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":680,"ins":{"up_context":[{"change":3,"pos":5313}],"down_context":[{"change":3,"pos":5398}],"flag":"BLOCK","start":1457,"end":1588,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":5313},"to":{"change":3,"start":5313,"end":5398},"introduced_by":3}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" panic!("},{"Add":" \"off = {:?}, size = {:?}\","},{"Add":" off,"},{"Add":" core::mem::size_of::>()"},{"Add":" );"}],"del_contents":[{"Del":" panic!(\"off = {:?}, size = {:?}\", off, core::mem::size_of::>());\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":77,"ins":{"up_context":[{"change":3,"pos":9813}],"down_context":[{"change":3,"pos":8193}],"flag":"BLOCK","start":1589,"end":1653,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":9813},"to":{"change":3,"start":9813,"end":9882},"introduced_by":3}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":" /// element. Note that this is not the symmetric of `next`."}],"del_contents":[{"Del":" /// element. In that sense, this is not the symmetric of `next`.\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":114,"ins":{"up_context":[{"change":3,"pos":10740}],"down_context":[{"change":3,"pos":13803}],"flag":"BLOCK","start":1654,"end":1977,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":10740},"to":{"change":3,"start":10740,"end":10804},"introduced_by":3}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":" /// if `v0.is_none()`, and to `(k0, v0)` if `v0.is_some()`. If a"},{"Add":" /// match is found (on `k0` only if `v0.is_none()`, on `(k0, v0)`"},{"Add":" /// else), return the match along with the right child."},{"Add":" ///"},{"Add":" /// Else (in the `Err` case of the `Result`), return the position"},{"Add":" /// at which `(k0, v0)` can be inserted."}],"del_contents":[{"Del":" /// if `v0.is_none()`, and to `(k0, v0)` if `v0.is_some()`.\n"}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":127,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":8722}],"down_context":[{"change":3,"pos":10805}],"flag":"BLOCK","start":1978,"end":2150,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":""},{"Add":" /// Splits the cursor into two cursors: the elements strictly"},{"Add":" /// before the current position, and the elements greater than or"},{"Add":" /// equal the current element."}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":157,"ins":{"up_context":[{"change":3,"pos":44884}],"down_context":[{"change":3,"pos":45122}],"flag":"BLOCK","start":2151,"end":2472,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":44884},"to":{"change":3,"start":44884,"end":45122},"introduced_by":3}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":" /// `replace`. When `k1v1.is_some()`, we insert both `(k0, v0)`"},{"Add":" /// (as a replacement), followed by `(k1, v1)`. This is only ever"},{"Add":" /// used when deleting, and when the right child of a deleted"},{"Add":" /// entry (in an internal node) has split while we were looking"},{"Add":" /// for a replacement for the deleted entry."}],"del_contents":[{"Del":" /// `replace`. The \"double insertion\" is only ever used when\n /// deleting, and when the right child of a deleted entry (in an\n /// internal node) has split while we were looking for a\n /// replacement for the deleted entry.\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":190,"ins":{"up_context":[{"change":3,"pos":1533}],"down_context":[{"change":3,"pos":1572}],"flag":"BLOCK","start":2473,"end":2480,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1533},"to":{"change":3,"start":1533,"end":1572},"introduced_by":3}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":" );"}],"del_contents":[{"Del":" ) {\n unimplemented!()\n }\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":197,"ins":{"up_context":[{"change":3,"pos":1703}],"down_context":[{"change":3,"pos":1742}],"flag":"BLOCK","start":2481,"end":2488,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1703},"to":{"change":3,"start":1703,"end":1742},"introduced_by":3}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":" );"}],"del_contents":[{"Del":" ) {\n unimplemented!()\n }\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":424,"ins":{"up_context":[{"change":3,"pos":1286}],"down_context":[{"change":3,"pos":7394}],"flag":"BLOCK","start":2489,"end":2853,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1286},"to":{"change":3,"start":5515,"end":5650},"introduced_by":3}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":" // Here, either rc > 1 (in which case the only thing we need"},{"Add":" // to do in this iteration is to decrement the RC), or else"},{"Add":" // `P::move_next` returned `false`, meaning that the cursor is"},{"Add":" // after the last element (in which case we are done with this"},{"Add":" // page, and also need to decrement its RC, in order to free"},{"Add":" // it)."}],"del_contents":[{"Del":" // Here, either rc > 1, or else `P::move_next` returned\n // `false`, meaning that the cursor is after the last element.\n"}]}},{"Edit":{"inode":{"change":3,"pos":63682},"path":"sanakirja-core/src/btree/cursor.rs","line":121,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":34044}],"down_context":[{"change":3,"pos":39134}],"flag":"BLOCK","start":2854,"end":2938,"inode":{"change":3,"pos":63682}}},"contents":[{"Add":" /// Push the leftmost path starting at page `left_page` onto the"},{"Add":" /// stack."}]}},{"Replacement":{"inode":{"change":3,"pos":63682},"path":"sanakirja-core/src/btree/cursor.rs","line":147,"ins":{"up_context":[{"change":3,"pos":39945}],"down_context":[{"change":3,"pos":40187}],"flag":"BLOCK","start":2939,"end":3184,"inode":{"change":3,"pos":63682}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":39945},"to":{"change":3,"start":39945,"end":40187},"introduced_by":3}],"inode":{"change":3,"pos":63682}},"ins_contents":[{"Add":" // An invariant of cursors, fundamental to understanding the"},{"Add":" // `next` and `prev` functions below, is that the lower levels (in"},{"Add":" // the tree, upper levels on the stack) are the left children of"},{"Add":" // the cursor's position on a page."}],"del_contents":[{"Del":" // An invariant of cursors, fundamental to understand the `next`\n // and `prev` functions below, is that the lower levels (in the\n // tree, upper levels on the stack) are the left children of the\n // cursor's position on a page.\n"}]}},{"Replacement":{"inode":{"change":3,"pos":63682},"path":"sanakirja-core/src/btree/cursor.rs","line":160,"ins":{"up_context":[{"change":3,"pos":34117}],"down_context":[{"change":3,"pos":7698}],"flag":"BLOCK","start":3185,"end":3312,"inode":{"change":3,"pos":63682}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":3,"pos":34117},"to":{"change":3,"start":66035,"end":66162},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":66035},"to":{"change":3,"start":66035,"end":66162},"introduced_by":3}],"inode":{"change":3,"pos":63682}},"ins_contents":[{"Add":" // Set the \"cursor stack\" by setting a cursor in each page"},{"Add":" // on a path from the root to the appropriate leaf."}],"del_contents":[{"Del":" // Set the \"cursor stack\" by setting a skip list cursor in\n // each page from the root to the appropriate leaf.\n"}]}},{"Replacement":{"inode":{"change":3,"pos":63682},"path":"sanakirja-core/src/btree/cursor.rs","line":163,"ins":{"up_context":[{"change":3,"pos":7699}],"down_context":[{"change":3,"pos":18925}],"flag":"BLOCK","start":3313,"end":3407,"inode":{"change":3,"pos":63682}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":7699},"to":{"change":3,"start":7699,"end":7738},"introduced_by":3}],"inode":{"change":3,"pos":63682}},"ins_contents":[{"Add":" // Start from the bottom of the stack, which is also the root"},{"Add":" // of the tree."}],"del_contents":[{"Del":" // Start back from the bottom.\n"}]}}],"owner":"pijul","repo":"sanakirja","token":"rf1pAWc8nu7Wy8lktbCrG2IB9X8AH5C6FAyvuGbIOFo=","login":null}

…

Dependencies

Change contents