andrew
0 Followers · 0 Following
  • Joined on 2023-03-22
Repositories Projects Packages Public Activity Starred Repositories
andrew pushed to main at weaselab/versioned-map 2024-06-15 05:13:59 +00:00
e4a77c88d8 Fix two canonicalization bugs
a63fd3970b Reworking the representation for the beginning of a clear range
685b49c96d WIP adhoc test looks ok
8b22fbe261 Tinker with main
729fcdb616 Avoid some insertions in point clears
Compare 5 commits »
andrew pushed to main at weaselab/versioned-map 2024-06-15 02:16:05 +00:00
551f34baf4 Add whitebox tests
andrew pushed to main at weaselab/conflict-set 2024-06-12 21:07:42 +00:00
e8ac78cce6 Bump version
andrew pushed tag v0.0.6 to weaselab/conflict-set 2024-06-12 21:06:42 +00:00
andrew released v0.0.6 at weaselab/conflict-set 2024-06-12 21:06:42 +00:00
andrew pushed to main at weaselab/conflict-set 2024-06-12 20:47:48 +00:00
13d447c9fe Use version.txt instead of version.tex
andrew pushed to main at weaselab/conflict-set 2024-06-12 20:37:54 +00:00
da7523c5cf Add version to paper
andrew pushed to main at weaselab/conflict-set 2024-06-11 23:21:53 +00:00
a074bc6f72 include(CTest) before BUILD_TESTING
andrew pushed to main at weaselab/conflict-set 2024-06-11 23:13:36 +00:00
1553a44986 Make possible to use from FetchContent
andrew pushed to main at weaselab/conflict-set 2024-06-11 20:13:30 +00:00
859ac352e6 Bump version
andrew pushed tag v0.0.5 to weaselab/conflict-set 2024-06-11 20:11:38 +00:00
andrew released v0.0.5 at weaselab/conflict-set 2024-06-11 20:11:38 +00:00
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