andrew
5f3833e965
Change maxVersion to return by value, and add setMaxVersion
2024-06-26 15:33:15 -07:00
andrew
8b1cd9c052
Minor improvements to checkMaxBetweenExclusive
2024-06-26 15:06:50 -07:00
andrew
bb9bc3d7b5
Measure across different cardinalities for radix worst case bench
2024-06-26 15:06:36 -07:00
andrew
89b3354a80
Update README with new benchmark
2024-06-25 21:47:46 -07:00
andrew
488c723726
Improve worst-case radix tree checkRangeRead
2024-06-25 21:22:55 -07:00
andrew
76d0785b33
Add worst-case benchmark for radix tree
...
Closes #27
2024-06-25 20:50:22 -07:00
andrew
add0af11ad
Don't check paper/version.txt into version control
...
But also don't remove it in `make -C paper clean`
2024-06-25 19:21:14 -07:00
andrew
2c0adf4a8b
Fix test-only bug in script test
...
Previously conflict_set.py only worked for checking one read conflict
per call
2024-06-25 19:20:19 -07:00
andrew
e8ac78cce6
Bump version
2024-06-12 14:07:34 -07:00
andrew
13d447c9fe
Use version.txt instead of version.tex
...
latexmk seemed to have some trouble with it being a tex file
2024-06-12 13:47:16 -07:00
andrew
da7523c5cf
Add version to paper
2024-06-12 13:34:35 -07:00
andrew
a074bc6f72
include(CTest) before BUILD_TESTING
2024-06-11 16:21:38 -07:00
andrew
1553a44986
Make possible to use from FetchContent
2024-06-11 16:12:35 -07:00
andrew
859ac352e6
Bump version
2024-06-11 13:13:19 -07:00
andrew
2eb461b8ea
Fix build for llvm 18
2024-06-11 11:38:55 -07:00
andrew
e2e92f4ef5
Address some feedback on paper
2024-05-06 14:30:49 -07:00
andrew
f6f25cfcce
Paper tweaks
2024-04-22 15:26:00 -07:00
andrew
c13dc88ff4
Update corpus
2024-04-22 15:24:55 -07:00
andrew
aa5dbb2887
Explicitly allow writeVersion to be non-decreasing
...
Instead of strictly increasing.
2024-04-22 14:15:44 -07:00
andrew
ea76e04cda
Fix weird-looking url in ubsan reference
...
Also use the exact html title
2024-04-19 15:19:39 -07:00
andrew
452007e079
Change paper title to emphasize usefulness outside fdb
2024-04-19 14:53:31 -07:00
andrew
37c75f747b
Draft Testing section
2024-04-19 14:26:47 -07:00
andrew
c96d682483
Fix memory error when SHOW_MEMORY = 1
2024-04-19 11:28:49 -07:00
andrew
6e63fd5126
Add internal entry points, with test coverage
...
Closes #25
2024-04-19 11:23:25 -07:00
andrew
f2678de811
Preserve version in clearConflictSet in fdb patch
...
Closes #24
2024-04-19 11:00:43 -07:00
andrew
4d7ad075b2
Bump version
2024-04-18 14:32:51 -07:00
andrew
d2e1863593
Account for every uncovered line in the implementation
...
Closes #23
2024-04-18 12:43:48 -07:00
andrew
bf91bca16d
Include long common prefix in fuzz test
2024-04-18 12:43:48 -07:00
andrew
08ed17f47b
Fail jenkins build if not 100% line coverage
2024-04-18 12:43:48 -07:00
andrew
76a45f16ad
Exercise freelist size limiting code
2024-04-17 18:27:01 -07:00
andrew
c15d296432
Exercise copyChildrenAndKeyFrom for Node{48,256} to itself
2024-04-17 17:13:22 -07:00
andrew
64a98c529c
Fix conflict_set.py bug, and add full inner words test
...
Apparently all bytes were 0
2024-04-17 14:11:26 -07:00
andrew
ed1388ed21
Disable script tests when cross compiling
2024-04-17 12:25:16 -07:00
andrew
309d315956
Add DebugConflictSet, which asserts using skip list as a reference
...
CC #23
2024-04-17 12:08:39 -07:00
andrew
eab2e46a56
Mention that we modified SkipList.cpp
2024-04-17 12:08:33 -07:00
andrew
85db1a8786
Allow to choose implementation in python wrapper
...
And fix a few minor bugs to make the python tests pass for skip_list.
CC #23
2024-04-17 12:08:28 -07:00
andrew
717f9d6829
Remove ScriptTest.cpp, replace with test_conflict_set.py
...
CC #23
2024-04-17 12:08:08 -07:00
andrew
fd93300ce8
Tweaks and add more planned sections
2024-04-16 17:36:29 -07:00
andrew
b7e16b31ff
Fill out empty subsections
2024-04-16 12:57:57 -07:00
andrew
a324d31518
Second pass at "Checking range reads"
2024-04-16 12:14:04 -07:00
andrew
fdb05e0e33
First draft of "Checking range reads" subsection
2024-04-15 17:32:33 -07:00
andrew
7c27d4a972
Always target macos 11.0
2024-04-09 14:08:58 -07:00
andrew
738de01cb4
Add getBytes to conflict_set.py
2024-04-08 17:33:51 -07:00
andrew
325cab6a95
Target earliest convenient macos version
2024-04-08 17:16:01 -07:00
andrew
0b2821941a
Bump version
2024-04-08 15:52:06 -07:00
andrew
a40b5dcd74
Add script to build .pkg file for macos
2024-04-08 15:21:40 -07:00
andrew
193b1926ff
Fix python type annotation
2024-04-07 22:28:40 -07:00
andrew
1c900c5a8c
Use PRE_LINK
...
According to
https://cmake.org/cmake/help/latest/command/add_custom_command.html this
more accurately matches the intent
2024-04-04 17:03:57 -07:00
andrew
90fdcdd51a
Don't update mtime in privatize_symbols_macos.sh
...
It confuses ninja and we see things like the following:
ninja explain: stored deps info out of date for 'CMakeFiles/conflict-set-object.dir/ConflictSet.cpp.o' (1712275080328387291 vs 1712275080349012981)
2024-04-04 17:02:51 -07:00
andrew
eb3f6823eb
Remove prettier
...
It caused a weird jenkins error trying to look at /etc/passwd. Not worth
the trouble for formatting yaml and md, which I'm barely using.
2024-04-04 16:29:26 -07:00
andrew