Commit Graph

Select branches

Hide Pull Requests

cf-integrity

erase-between

inline-leafs

interleave-checks

interleaved-writes

main

tagged-pointer2

v0.0.1

v0.0.10

v0.0.11

v0.0.12

v0.0.13

v0.0.2

v0.0.3

v0.0.4

v0.0.5

v0.0.6

v0.0.7

v0.0.8

v0.0.9

Mono Color

• 86978c057e Inline nextPhysical and nextSibling in checkRangeRead Andrew Noyes 2024-02-13 14:43:12 -08:00
• 961fb18066 Resume firstGeq search from within tree Andrew Noyes 2024-02-13 12:08:13 -08:00
• 3aa081a9ce Add short-circuiting back to checkRangeRead Andrew Noyes 2024-02-13 11:53:43 -08:00
• 1059f2a237 Use std::countr_zero Andrew Noyes 2024-02-12 17:32:05 -08:00
• d5bde56921 Range reads are slow with dense keys Andrew Noyes 2024-02-12 15:46:56 -08:00
• f8acc5ee86 Use longestCommonPrefix instead of strinc in checkRangeRead Andrew Noyes 2024-02-12 15:00:46 -08:00
• ad14db5d7c Add skiplist Andrew Noyes 2024-02-12 12:43:36 -08:00
• d60da4c087 Add benchmark Andrew Noyes 2024-02-11 09:16:04 -08:00
• 0cae645c17 Fix always true condition Andrew Noyes 2024-02-10 15:34:02 -08:00
• 2929a341db Whitelist __stack_chk_fail Andrew Noyes 2024-02-09 23:03:44 -08:00
• 35a3289ab9 Simplify and fix bugs Andrew Noyes 2024-02-09 22:45:38 -08:00
• 418bab61f5 Fix some bugs. Still buggy. Keep fuzzing Andrew Noyes 2024-02-09 18:47:08 -08:00
• ddca6e8511 Rely on bitSet for child existence in Node48 Andrew Noyes 2024-02-09 18:14:07 -08:00
• f961947e33 Share one arena across batch Andrew Noyes 2024-02-09 17:57:29 -08:00
• 855d72d9a7 Oversize search path buffer Andrew Noyes 2024-02-09 17:47:10 -08:00
• daa04129ac Track search path. Looks clean! Andrew Noyes 2024-02-09 17:25:39 -08:00
• 593657c9aa Remove duplicate code Andrew Noyes 2024-02-09 15:32:06 -08:00
• d1ee3d8b69 Bring back nextSibling Andrew Noyes 2024-02-09 15:26:54 -08:00
• 80a79aab1f Still need a better way identify left/right sidedness Andrew Noyes 2024-02-09 15:17:37 -08:00
• f3e7279c2c Do less work Andrew Noyes 2024-02-09 13:08:14 -08:00
• 403608c794 WIP just need to identify nodes on begin -> end path Andrew Noyes 2024-02-09 12:45:34 -08:00
• 8e918acc05 Remove dead code Andrew Noyes 2024-02-09 11:51:51 -08:00
• d320fb6eee Remove dead code Andrew Noyes 2024-02-08 14:59:27 -08:00
• 2bd1bf93a9 Check indices between left and right after they diverge Andrew Noyes 2024-02-08 14:50:53 -08:00
• b018ccc3ae Add TODO Andrew Noyes 2024-02-08 10:16:31 -08:00
• d388f6488d Remove dead code Andrew Noyes 2024-02-08 10:13:53 -08:00
• b663325991 Update corpus Andrew Noyes 2024-02-08 10:06:23 -08:00
• 968e03403d Revert to linear range checking, but keep short-circuiting Andrew Noyes 2024-02-08 10:05:22 -08:00
• 2cbb6e0170 Short-circuiting, efficient checkRangeRead Andrew Noyes 2024-02-07 16:31:54 -08:00
• 9363d7866c Specify maxVersion meaning Andrew Noyes 2024-02-07 15:33:15 -08:00
• 855b7fa069 Prepare for new invariant Andrew Noyes 2024-02-07 13:44:46 -08:00
• 98124d5493 Sublinear read range checking Andrew Noyes 2024-02-06 16:52:20 -08:00
• 6be23803a3 Add standalone bench target Andrew Noyes 2024-02-06 15:03:54 -08:00
• 9a80c96533 Short circuit point reads based on maxVersion Andrew Noyes 2024-02-06 14:38:39 -08:00
• 68239cd80b Maintain nextSib in firstGeq Andrew Noyes 2024-02-06 12:37:02 -08:00
• 03e9dc01fd Implement firstGeq directly Andrew Noyes 2024-02-06 12:11:50 -08:00
• d2c89f605f Use rangeVersion indicating < instead of > Andrew Noyes 2024-02-06 11:11:45 -08:00
• 0aa2f67f88 Check that all children have reachable present entries Andrew Noyes 2024-02-05 16:59:21 -08:00
• d78afe0823 Interleave checks for point reads Andrew Noyes 2024-02-05 16:44:57 -08:00
• 57ec97f2ee Naive range reads implementation and test Andrew Noyes 2024-02-05 13:59:10 -08:00
• e3e0e7ba44 Install texlive-full Andrew Noyes 2024-02-05 12:41:35 -08:00
• 4b7d6d6cfb Try building paper in jenkins Andrew Noyes 2024-02-05 12:29:53 -08:00
• 10b7f405a0 Add beginning of paper Andrew Noyes 2024-02-05 12:08:49 -08:00
• ee14b5f66f Sort before diff Andrew Noyes 2024-02-04 18:12:28 -08:00
• c4c86a69c6 Jenkins fix attempts Andrew Noyes 2024-02-04 18:08:58 -08:00
• 345af773fb Try building in jenkins Andrew Noyes 2024-02-04 17:56:16 -08:00
• cbf48e2d60 Make linker language c for release build Andrew Noyes 2024-02-04 17:39:55 -08:00
• d0ff4ed4d3 Build object library Andrew Noyes 2024-02-04 15:27:22 -08:00
• 2d220a3f7d Update corpus Andrew Noyes 2024-02-03 20:15:31 -08:00
• a73e366dc9 Draw num writes directly Andrew Noyes 2024-02-03 17:03:23 -08:00
• a632d0cbbb gcc fixes Andrew Noyes 2024-02-03 13:16:13 -08:00
• 584f2d0c54 Don't link to gcc_s on Apple Andrew Noyes 2024-02-02 11:59:52 -08:00
• e9d4403f3c Remove sorted/canonicalized requirement for reads Andrew Noyes 2024-01-31 12:45:14 -08:00
• e527e198c6 Fix typo Andrew Noyes 2024-01-31 12:42:12 -08:00
• fbf8f3eb73 Don't check for libfuzzer on Apple Andrew Noyes 2024-01-31 12:36:32 -08:00
• bc002f4e3b Disable symbol tests for MacOS Andrew Noyes 2024-01-31 12:32:25 -08:00
• 81f178face Remove unused code Andrew Noyes 2024-02-01 18:31:36 -08:00
• 20bd5c2fa6 More corpus tinkering. Missing coverage for Node256 Andrew Noyes 2024-02-01 18:22:45 -08:00
• aa8327cb5d Fix gcc warning Andrew Noyes 2024-02-01 17:01:47 -08:00
• 906c53ea63 Update corpus Andrew Noyes 2024-02-01 16:58:42 -08:00
• 22daf0b9cb Improve range write performance Andrew Noyes 2024-02-01 16:52:22 -08:00
• 802615e38b Update corpus Andrew Noyes 2024-02-01 11:47:13 -08:00
• 0eff5628bd Fix lastLeq bug Andrew Noyes 2024-02-01 11:24:57 -08:00
• 96aca4a1da Range write WIP Andrew Noyes 2024-01-31 17:06:59 -08:00
• 812eb27708 Return inserted physical node from insert Andrew Noyes 2024-01-31 16:22:34 -08:00
• 31a555c44c Use bitset index for Node48 too Andrew Noyes 2024-01-31 16:04:03 -08:00
• bafe1edfa4 Remove call to memcmp for partial keys Andrew Noyes 2024-01-31 14:32:25 -08:00
• e84ea10d20 Update corpus Andrew Noyes 2024-01-31 11:27:32 -08:00
• 5a69ec82df Partial keys seem to be working Andrew Noyes 2024-01-31 11:10:41 -08:00
• 2e6265b784 More __builtin_clz to std::countl_zero Andrew Noyes 2024-01-30 21:12:41 -08:00
• 220c5caf27 WIP compressed key. Tests fail Andrew Noyes 2024-01-30 17:31:44 -08:00
• ecd549857b Add printTree Andrew Noyes 2024-01-30 17:16:46 -08:00
• dad3a8b5ad Update corpus Andrew Noyes 2024-01-30 15:34:23 -08:00
• 906a007c3a Fix use of uninitialized memory Andrew Noyes 2024-01-30 14:50:26 -08:00
• f2c9267b48 Use a bitset to speed up Node256 scans Andrew Noyes 2024-01-30 14:21:30 -08:00
• 8edac4d811 Use c++20 std::count{l,r}_zero Andrew Noyes 2024-01-30 13:19:20 -08:00
• 3c9c5bd9fb Add benchmarks for getChild{L,G}eq Andrew Noyes 2024-01-30 13:08:01 -08:00
• 017cffd580 Add third_party/nanobench.h Andrew Noyes 2024-01-30 12:01:49 -08:00
• ee01ca5f1e Add forgotten file Andrew Noyes 2024-01-30 11:56:26 -08:00
• f2a8832766 Remove empty else Andrew Noyes 2024-01-30 11:53:01 -08:00
• 023e0caa8f Add test flags to blackbox testing Andrew Noyes 2024-01-30 11:52:12 -08:00
• bd39e9f654 Revert "Rename fuzz to whitebox for pre-baked tests" Andrew Noyes 2024-01-30 11:52:01 -08:00
• 2dc0997e72 Tinker whitespace Andrew Noyes 2024-01-30 11:50:10 -08:00
• d99a478f74 Rename fuzz to whitebox for pre-baked tests Andrew Noyes 2024-01-30 11:49:00 -08:00
• 808ffbcbdf Add blackbox, valgrind tests Andrew Noyes 2024-01-30 11:46:49 -08:00
• eca1b9993a Improve symbols test Andrew Noyes 2024-01-30 11:46:03 -08:00
• 3735a43553 Add TestDriver class Andrew Noyes 2024-01-30 11:13:21 -08:00
• 47faa51a35 Add Internal.h Andrew Noyes 2024-01-30 10:49:49 -08:00
• 79176757fc Test symbol visibility Andrew Noyes 2024-01-30 10:39:43 -08:00
• 831088aad9 Leave in the faster version for now Andrew Noyes 2024-01-26 10:25:48 -08:00
• b8de633ca1 Update maxVersion to max(maxVersion, writeVersion) Andrew Noyes 2024-01-26 10:25:32 -08:00
• 270f887584 Annotate unused functions Andrew Noyes 2024-01-25 15:31:48 -08:00
• e8f52ee34b CPack set up for debian Andrew Noyes 2024-01-25 15:11:59 -08:00
• 4d71cf5b75 Implement x86 getChildLeq/getChildGeq Andrew Noyes 2024-01-25 14:57:03 -08:00
• b15bec6b38 SIMD for Node16 in lastLeq and firstGeq Andrew Noyes 2024-01-25 12:40:11 -08:00
• 35cf3f3132 MacOS fixes Andrew Noyes 2024-01-24 15:55:44 -08:00
• d76ac2a254 Try exported symbols list for Apple Andrew Noyes 2024-01-24 15:18:00 -08:00
• ae528d3f81 Add files that I didn't add yet but meant to Andrew Noyes 2024-01-24 15:10:21 -08:00
• a6a2ad61d9 Export shared and static libraries Andrew Noyes 2024-01-24 15:10:06 -08:00
• 2d152b9a62 Add pre-commit config Andrew Noyes 2024-01-24 14:24:58 -08:00