|
|
6c3eae219d
|
Remove duplicated operator<=>
|
2024-05-30 11:14:44 -07:00 |
|
|
|
7a7eef2b7d
|
Tweak header documentation
|
2024-05-30 10:41:57 -07:00 |
|
|
|
5b6e610d54
|
Update corpus
|
2024-05-30 10:29:24 -07:00 |
|
|
|
16c2bb1d11
|
Enable asserts in fuzz target
|
2024-05-29 22:00:18 -07:00 |
|
|
|
10b032076e
|
Update corpus
|
2024-05-29 17:59:00 -07:00 |
|
|
|
887f400a47
|
Expand clears
|
2024-05-29 17:45:23 -07:00 |
|
|
|
dab6929e88
|
Add Entry::pointClear
|
2024-05-29 16:13:45 -07:00 |
|
|
|
f1f4d66678
|
Prepare to fully canonicalize views
|
2024-05-28 21:38:08 -07:00 |
|
|
|
93ff83e422
|
Start facade past window in bench
|
2024-05-28 17:17:30 -07:00 |
|
|
|
25dea71f00
|
Add TODO
|
2024-05-28 17:00:49 -07:00 |
|
|
|
0de303b6c6
|
Improve SHOW_MEMORY accounting
|
2024-05-28 16:54:46 -07:00 |
|
|
|
dc587e627b
|
Fuzzer thinks FdbVersionedMap seems ok
|
2024-05-28 16:35:58 -07:00 |
|
|
|
3aa192255e
|
Identify some FdbVersionedMap bugs
|
2024-05-28 14:01:51 -07:00 |
|
|
|
1b5ed72ab9
|
Add FdbVersionedMap. Not working yet
|
2024-05-28 13:47:13 -07:00 |
|
|
|
42298a911a
|
Prepare to add fdb implementation
Fixes a end iter deref and remove rpath from test
|
2024-05-28 13:23:06 -07:00 |
|
|
|
37f972145e
|
Re-use search implementation in insert
|
2024-05-24 14:49:59 -07:00 |
|
|
|
d11150926b
|
Preserve finger after insert
|
2024-05-24 14:17:11 -07:00 |
|
|
|
d51c58e6d5
|
Add operator== for Finger
|
2024-05-24 13:58:19 -07:00 |
|
|
|
8f8ea62ed5
|
Remove dead code
|
2024-05-23 21:15:12 -07:00 |
|
|
|
9917078682
|
Fix weird whitespace
|
2024-05-23 18:30:06 -07:00 |
|
|
|
021569f033
|
Templatize direction for move
|
2024-05-23 18:26:26 -07:00 |
|
|
|
b5dbf4a049
|
Avoid copies in Facade
|
2024-05-23 17:27:55 -07:00 |
|
|
|
2764a049a8
|
Merge two iterators approach for reverse case
|
2024-05-23 16:52:23 -07:00 |
|
|
|
5ff7ecc6fc
|
Facade: two iterator merge approach for forward case
|
2024-05-23 16:25:29 -07:00 |
|
|
|
5b4c7ddf7d
|
Don't scan+apply every setOldestVersion call
|
2024-05-23 14:54:07 -07:00 |
|
|
|
e08ec7c54d
|
Don't reapply mutations at unversionedVersion
|
2024-05-23 14:31:54 -07:00 |
|
|
|
c65004d60f
|
Skip applied mutations in Facade::setOldestVersion
|
2024-05-23 11:22:38 -07:00 |
|
|
|
262c9cd10c
|
Scan and remove old entries in addMutations
|
2024-05-22 16:07:34 -07:00 |
|
|
|
82c8f95dbe
|
More benchmarks
|
2024-05-22 14:26:05 -07:00 |
|
|
|
3e1bd9c7b8
|
Add benchmark. Looks slow :/
|
2024-05-22 13:14:25 -07:00 |
|
|
|
49a1ec0ab7
|
Add fuzz corpus and blackbox tests
|
2024-05-20 15:12:05 -07:00 |
|
|
|
89c6aae53a
|
Fix bugs found through fuzzing
|
2024-05-19 20:08:27 -07:00 |
|
|
|
e23f11c1f0
|
Add reference implementation
|
2024-05-19 17:02:27 -07:00 |
|
|
|
445aee2ce9
|
Fix bug where gc was scanning uninit memory
|
2024-05-17 13:36:03 -07:00 |
|
|
|
d3dc7406cf
|
Fix gc memory leak
|
2024-05-16 22:31:05 -07:00 |
|
|
|
ba9db0ddae
|
Add basic debug printing
|
2024-05-16 21:41:18 -07:00 |
|
|
|
2bc827f767
|
Fix linux includes
|
2024-05-16 21:16:29 -07:00 |
|
|
|
190cd05c13
|
Initialize version sooner in VersionedMap::begin
|
2024-05-16 18:45:26 -07:00 |
|
|
|
1e1f5d6d5c
|
Add FacadeFuzz
|
2024-05-16 17:29:02 -07:00 |
|
|
|
36779a068e
|
Remove cmp for now
|
2024-05-16 16:38:41 -07:00 |
|
|
|
3819b83d78
|
Logically revert 0071600
Return mutation intersecting query key if it exists
|
2024-05-16 16:09:39 -07:00 |
|
|
|
d0bfdcb07d
|
Remove redundant code
|
2024-05-15 19:47:30 -07:00 |
|
|
|
7526e119af
|
Annotate interposable calls to fix later
|
2024-05-15 17:05:14 -07:00 |
|
|
|
3eea0f6a60
|
s/readThrough/readFrom/g
|
2024-05-15 16:34:49 -07:00 |
|
|
|
007160098e
|
Change firstGeq to compare to param1
|
2024-05-15 16:31:34 -07:00 |
|
|
|
464d720a6b
|
Handle decrementing end
|
2024-05-15 14:53:58 -07:00 |
|
|
|
2b22a7823a
|
Add gRandom and gArbitrary and initFuzz
|
2024-05-15 14:14:44 -07:00 |
|
|
|
75d5e811de
|
Avoid some copies in Facade
|
2024-05-15 13:53:05 -07:00 |
|
|
|
63fdc5e4f5
|
Allow begin >= end for unversionedRead
|
2024-05-15 13:49:48 -07:00 |
|
|
|
3bdf345ae7
|
Add x86 linux symbols
|
2024-05-14 18:31:45 -07:00 |
|
