Commit Graph

874 Commits

Author SHA1 Message Date
andrew fc3cc98d64 Use Arena allocator 2024-01-18 17:26:55 -08:00
andrew 5f3313a3bf Use runInterleaved in lastLeqMulti 2024-01-18 16:57:23 -08:00
andrew 1bab3b7555 Remove unused code 2024-01-18 16:49:23 -08:00
andrew a7a999a240 Fix off by one error in invariant 2024-01-18 16:33:36 -08:00
andrew dff976ec0a Shuffle keys before inserting 2024-01-18 16:23:37 -08:00
andrew 0bcad7686f Check parent pointers 2024-01-18 16:23:25 -08:00
andrew 7849623597 Don't trash worklist initial contents 2024-01-18 16:23:07 -08:00
andrew b749c0604a Worklist algorithm for rotations 2024-01-18 15:32:35 -08:00
andrew 321993baab WIP - need to use worklist algorithm for rotations 2024-01-18 14:38:22 -08:00
andrew b2de5c82e3 Phase enum 2024-01-18 11:58:57 -08:00
andrew 7d695fe6cf Interleave insert stepwise 2024-01-18 11:52:30 -08:00
andrew 1497f4f890 Tidy 2024-01-18 10:42:29 -08:00
andrew 8c15cb28d0 Finish addWriteNaive for singleton writes 2024-01-18 10:34:22 -08:00
andrew eb579dfc1e Write 10 keys 2024-01-17 17:39:47 -08:00
andrew 6365e01d5b Remove dead code 2024-01-17 17:18:32 -08:00
andrew 3e16b30253 Make operator<=> static
Apparently this counts as "namespace scope" (as opposed to an anonymous
namespace), and it still won't be visible outside the translation unit.
2024-01-17 17:12:22 -08:00
andrew 9f9c248e6a Add naive insertion, fix visualization 2024-01-17 16:23:20 -08:00
andrew d515332906 Require oldestVersion increasing 2024-01-17 14:13:22 -08:00
andrew aa85c77d8f add debugPrintDot 2024-01-17 14:10:50 -08:00
andrew a6381a981e Add test scaffolding 2024-01-17 12:40:27 -08:00
andrew 8a6973e2cd Implement all but check and addWrites 2024-01-17 12:26:41 -08:00
andrew c6ff1ff64d Add PImpl scaffolding 2024-01-17 11:03:10 -08:00
andrew 8edcd02f91 Add .gitignore, CMakeLists.txt, ConflictSet.cpp 2024-01-17 10:51:22 -08:00
andrew 41cd14a5d7 Add ConflictSet.h 2024-01-17 10:46:55 -08:00