andrew
0 Followers · 0 Following
  • Joined on 2023-03-22
Repositories Projects Packages Public Activity Starred Repositories
andrew closed issue weaselab/versioned-map#5 2024-06-16 05:19:51 +00:00
Nondeterminism
andrew commented on issue weaselab/versioned-map#5 2024-06-16 05:19:45 +00:00
Nondeterminism

Fixed by 0af75f5e9c438aecc703344a5d69394d470bbef6 😆

andrew pushed to main at weaselab/versioned-map 2024-06-16 05:17:04 +00:00
b2ce851d56 Update corpus
e11ee26332 Allow stack to grow in gc
0af75f5e9c Make gRandom inline
43ba21329b Mark remainder of rightmost page no_access after gc
Compare 4 commits »
andrew pushed to main at weaselab/versioned-map 2024-06-15 16:51:13 +00:00
3e9c69e857 Update corpus
andrew opened issue weaselab/versioned-map#5 2024-06-15 16:50:43 +00:00
Nondeterminism
andrew commented on issue weaselab/versioned-map#2 2024-06-15 16:49:53 +00:00
Call move once per iteration

This is now fixed for forward iteration

andrew pushed to main at weaselab/versioned-map 2024-06-15 06:41:52 +00:00
edb76feadf Remove "next" argument from materializeMutations
2eea70f063 Fix a bug where a range end's version wasn't updated
be3032e2f3 Fix a use of an invalid iterator
b34d559c02 Strengthen valgrind checks
Compare 4 commits »
andrew opened issue weaselab/versioned-map#4 2024-06-15 06:22:29 +00:00
Detect use of invalid iterator in debug mode
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