andrew

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

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