andrew
0 Followers · 0 Following
  • Joined on 2023-03-22
Repositories Projects Packages Public Activity Starred Repositories
andrew pushed to main at weaselab/conflict-set 2024-06-11 19:56:01 +00:00
2eb461b8ea Fix build for llvm 18
andrew pushed to main at weaselab/conflict-set 2024-05-06 21:50:25 +00:00
e2e92f4ef5 Address some feedback on paper
andrew commented on issue weaselab/conflict-set#26 2024-05-03 01:16:01 +00:00
getBytes is currently const but not thread-safe

Actually maybe this is ok, since there's only a data race when called concurrently with a non-const method

andrew closed issue weaselab/conflict-set#26 2024-05-03 01:16:01 +00:00
getBytes is currently const but not thread-safe
andrew opened issue weaselab/conflict-set#26 2024-05-03 01:12:43 +00:00
getBytes is currently const but not thread-safe
andrew pushed to main at weaselab/conflict-set 2024-04-22 22:26:23 +00:00
f6f25cfcce Paper tweaks
c13dc88ff4 Update corpus
Compare 2 commits »
andrew pushed to main at weaselab/conflict-set 2024-04-22 21:16:55 +00:00
aa5dbb2887 Explicitly allow writeVersion to be non-decreasing
ea76e04cda Fix weird-looking url in ubsan reference
Compare 2 commits »
andrew pushed to main at weaselab/conflict-set 2024-04-19 21:56:05 +00:00
452007e079 Change paper title to emphasize usefulness outside fdb
andrew pushed to main at weaselab/conflict-set 2024-04-19 21:27:14 +00:00
37c75f747b Draft Testing section
andrew closed issue weaselab/conflict-set#25 2024-04-19 18:31:37 +00:00
Refactor so that c++ and c apis more directly share code
andrew pushed to main at weaselab/conflict-set 2024-04-19 18:31:37 +00:00
c96d682483 Fix memory error when SHOW_MEMORY = 1
6e63fd5126 Add internal entry points, with test coverage
f2678de811 Preserve version in clearConflictSet in fdb patch
Compare 3 commits »
andrew closed issue weaselab/conflict-set#24 2024-04-19 18:31:36 +00:00
Preserve version for conflict set swap for fdb patch
andrew pushed to main at weaselab/conflict-set 2024-04-18 21:33:04 +00:00
4d7ad075b2 Bump version
andrew released v0.0.4 at weaselab/conflict-set 2024-04-18 21:31:49 +00:00
andrew pushed tag v0.0.4 to weaselab/conflict-set 2024-04-18 21:31:48 +00:00
andrew closed issue weaselab/conflict-set#23 2024-04-18 19:48:48 +00:00
Rewrite "script tests" in python, and run in jenkins
andrew pushed to main at weaselab/conflict-set 2024-04-18 19:48:48 +00:00
d2e1863593 Account for every uncovered line in the implementation
bf91bca16d Include long common prefix in fuzz test
Compare 2 commits »
andrew pushed to main at weaselab/conflict-set 2024-04-18 19:44:31 +00:00
08ed17f47b Fail jenkins build if not 100% line coverage
andrew pushed to main at weaselab/conflict-set 2024-04-18 03:59:22 +00:00
76a45f16ad Exercise freelist size limiting code
andrew pushed to main at weaselab/conflict-set 2024-04-18 01:26:25 +00:00
c15d296432 Exercise copyChildrenAndKeyFrom for Node{48,256} to itself