andrew
0 Followers · 0 Following
  • Joined on 2023-03-22
Repositories Projects Packages Public Activity Starred Repositories
andrew closed issue weaselab/conflict-set#2 2024-03-19 23:28:05 +00:00
Document and test thread safety properties
andrew closed issue weaselab/conflict-set#4 2024-03-19 22:44:30 +00:00
Get some feedback on the public interface
andrew pushed to main at weaselab/conflict-set 2024-03-19 21:29:27 +00:00
cb4c2b7e1e Avoid redundant null check in some cases
ef9b789745 Remove unused code
Compare 2 commits »
andrew pushed to main at weaselab/conflict-set 2024-03-19 17:47:33 +00:00
edd7bcaa1e Check ConflictSet preconditions in script_test
andrew pushed to main at weaselab/conflict-set 2024-03-19 00:28:07 +00:00
be8ac879c5 Update README benchmarks
andrew commented on issue weaselab/conflict-set#3 2024-03-18 23:28:18 +00:00
Address missing coverage

a5710b828208fb8bca6e9c774598db186558e8d0 is also relevant. I'm happy with the coverage now.

andrew closed issue weaselab/conflict-set#3 2024-03-18 23:28:18 +00:00
Address missing coverage
andrew pushed to main at weaselab/conflict-set 2024-03-18 23:27:08 +00:00
83c7f66d67 Remove some redundant nullptr checks
a5710b8282 Remove performance-only code from debug build for increased coverage
c31eebd5de No caller of CheckRangeRightSide::downLeftSpine has null n
ddeb059968 Remove more dead code
5a0bcf9a5a Strengthen precondition to checkRangeStartsWith
Compare 6 commits »
andrew pushed to main at weaselab/conflict-set 2024-03-18 21:03:39 +00:00
6a13c43a78 Remove mistakenly checked in printfs
c6c438bae2 Address more missing coverage
7d4f832b43 Address some missing coverage
5b0c3c2428 Exclude more from coverage
f2b5e9b0bf Change max key len to 8, update corpus
Compare 6 commits »
andrew pushed to main at weaselab/conflict-set 2024-03-17 21:43:06 +00:00
5aab76847a Add inner-full-word test
andrew pushed to main at weaselab/conflict-set 2024-03-17 05:04:53 +00:00
1a51aa00e5 Run scripted tests
3975bada0c Add a simple language for scripting tests
a5330b6e23 Minor paper tweaks
Compare 3 commits »
andrew pushed to main at weaselab/conflict-set 2024-03-16 15:46:58 +00:00
2e246ec6a4 Cachegrind says this is fewer instructions
andrew pushed to main at weaselab/conflict-set 2024-03-16 04:37:39 +00:00
6d7e3c9849 Fix invalid offsetof warnings
andrew pushed to main at weaselab/conflict-set 2024-03-16 02:00:22 +00:00
671da5d096 Collect gcc warnings again in Jenkins
andrew pushed to main at weaselab/conflict-set 2024-03-16 01:29:58 +00:00
303b368fc5 Add Type template parameter to maybeDownsize to avoid branch
andrew pushed to main at weaselab/conflict-set 2024-03-16 00:36:56 +00:00
9f5a68e2c0 Use plain loop for Node3
dfbb3ce5f1 Use assume
Compare 2 commits »
andrew opened issue weaselab/conflict-set#11 2024-03-16 00:15:02 +00:00
Rewrite addWriteRange to erase more efficiently
andrew pushed to main at weaselab/conflict-set 2024-03-16 00:10:12 +00:00
e7719b6e0b Disable sanitizers when cross-compiling
83fedf1f9e Remove dead code
8556caf360 Cachegrind says memset uses fewer instructions here
9d13ca84f5 Fix bug spotted by hand. No test coverage there yet
a79436ee9b Use statically-known numChildren in Node3 -> Node16
Compare 7 commits »
andrew pushed to main at weaselab/conflict-set 2024-03-15 15:22:46 +00:00
e35d698b21 Improve copyChildrenAndKeyFrom-related codegen
30496d14e7 Don't print out filename in TestDriver.cpp
Compare 2 commits »
andrew pushed to main at weaselab/conflict-set 2024-03-15 02:27:19 +00:00
eb93157ddf Improve codegen in freeAndMakeCapacityAtLeast