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-07-08 22:42:09 +00:00

d895be36d2 Declare dependency on version.txt in Makefile

andrew pushed to main at weaselab/conflict-set 2024-07-08 18:14:38 +00:00

65f8462e88 Remove dead code

andrew pushed to main at weaselab/conflict-set 2024-07-08 18:03:55 +00:00

46e01af027 Specialize scan16 for Node16 in checkMaxBetweenExclusive

andrew pushed to main at weaselab/conflict-set 2024-07-08 05:16:04 +00:00

c9d0d72684 Remove some branches for Node3 in checkMaxBetweenExclusive

andrew pushed to main at weaselab/conflict-set 2024-07-08 00:33:54 +00:00

9046dc5a8f Only switch on type once in checkMaxBetweenExclusive

andrew pushed to main at weaselab/conflict-set 2024-07-03 23:41:10 +00:00

e2927bf0fa Simplify condition for TooOld in check

andrew pushed to main at weaselab/conflict-set 2024-07-03 21:48:34 +00:00

75a2b8d06c Remove bogus assert

andrew pushed to main at weaselab/conflict-set 2024-07-03 21:22:27 +00:00

76df63a9d7 Allow writeVersion, oldestVersion, and readVersion to span 2e9

9c5b38b09a Revert setOldestVersion interface change

7142dab7ae Update c api documentation for ConflictSet_setOldestVersion

Compare 3 commits »

andrew pushed to main at weaselab/conflict-set 2024-07-03 17:32:33 +00:00

3db3d975fc Interface change! Allow decreasing setOldestVersion

andrew pushed to main at weaselab/conflict-set 2024-07-03 17:01:43 +00:00

982b31af34 Explicitly convert uint32x4_t to int32x4_t

andrew pushed to main at weaselab/conflict-set 2024-07-03 16:48:13 +00:00

cc716ef16b Attempt to fix memory leak

andrew pushed to main at weaselab/conflict-set 2024-07-03 16:37:48 +00:00

88bcc7b75c Update corpus

3e6be6bd83 Allow write version to jump by more than 2e9

Compare 2 commits »

andrew pushed to main at weaselab/conflict-set 2024-07-03 15:39:00 +00:00

e59fee39c7 Start versions at zero in fuzz test for now

3e2c8310bb Fix several bugs related to extant versions too old

8264f1342d Fix some precision issues

5d7e9c6f85 Compare against oldestVersionFullPrecision at full precision

cdf42fcb34 Add gcScanStep

Compare 9 commits »

andrew pushed to main at weaselab/conflict-set 2024-07-02 17:27:21 +00:00

01488880ef Fix outdated comment

andrew deleted branch try-eliminating-some-branches from weaselab/conflict-set 2024-07-02 00:23:35 +00:00

andrew created branch try-eliminating-some-branches in weaselab/conflict-set 2024-07-02 00:09:54 +00:00

andrew pushed to try-eliminating-some-branches at weaselab/conflict-set 2024-07-02 00:09:54 +00:00

535560ec45 Try eliminating some branches

andrew pushed to main at weaselab/conflict-set 2024-07-01 20:10:20 +00:00

bb84792cff Use avx512f across entire checkRangeRead call tree

andrew reopened issue weaselab/conflict-set#30 2024-07-01 04:49:02 +00:00

Get back to 100% test coverage

andrew pushed to main at weaselab/conflict-set 2024-07-01 04:48:56 +00:00

1f421e95ff Resuppress coverage