|
|
80a79aab1f
|
Still need a better way identify left/right sidedness
|
2024-02-09 15:17:37 -08:00 |
|
|
|
403608c794
|
WIP just need to identify nodes on begin -> end path
|
2024-02-09 12:51:09 -08:00 |
|
|
|
968e03403d
|
Revert to linear range checking, but keep short-circuiting
|
2024-02-08 10:05:22 -08:00 |
|
|
|
9363d7866c
|
Specify maxVersion meaning
|
2024-02-07 15:33:15 -08:00 |
|
|
|
98124d5493
|
Sublinear read range checking
Tests / Release [gcc] total: 337, passed: 337
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/6//gcc">weaselab » conflict-set » main #6</a>
Tests / Coverage total: 335, passed: 335
weaselab/conflict-set/pipeline/head This commit looks good
Still slow though
|
2024-02-06 16:52:20 -08:00 |
|
|
|
d2c89f605f
|
Use rangeVersion indicating < instead of >
This should allow us to use firstGeq (which should be possible to make
more efficient), and generally make things nicer
|
2024-02-06 11:11:45 -08:00 |
|
|
|
57ec97f2ee
|
Naive range reads implementation and test
|
2024-02-05 13:59:10 -08:00 |
|
|
|
a73e366dc9
|
Draw num writes directly
|
2024-02-03 17:03:23 -08:00 |
|
|
|
aa8327cb5d
|
Fix gcc warning
|
2024-02-01 17:01:47 -08:00 |
|
|
|
0eff5628bd
|
Fix lastLeq bug
|
2024-02-01 11:24:57 -08:00 |
|
|
|
96aca4a1da
|
Range write WIP
|
2024-01-31 17:06:59 -08:00 |
|
|
|
5a69ec82df
|
Partial keys seem to be working
|
2024-01-31 11:10:41 -08:00 |
|
|
|
2e6265b784
|
More __builtin_clz to std::countl_zero
|
2024-01-30 21:12:41 -08:00 |
|
|
|
ecd549857b
|
Add printTree
|
2024-01-30 17:16:46 -08:00 |
|
|
|
eca1b9993a
|
Improve symbols test
Remove seed argument and check for disallowed undefined symbols
|
2024-01-30 11:46:03 -08:00 |
|
|
|
3735a43553
|
Add TestDriver class
|
2024-01-30 11:13:21 -08:00 |
|
|
|
47faa51a35
|
Add Internal.h
|
2024-01-30 10:49:49 -08:00 |
|
