conflict-set

6 Commits

Include renames

Author	SHA1	Message	Date
andrew	aa6f237d50	Document and test thread safety properties Tests / Clang total: 1096, passed: 1096 Details Clang \|Total\|New\|Outstanding\|Fixed\|Trend \|:-:\|:-:\|:-:\|:-:\|:-: \|0\|0\|0\|0\|:clap: Details Tests / Release [gcc] total: 1096, passed: 1096 Details GNU C Compiler (gcc) \|Total\|New\|Outstanding\|Fixed\|Trend \|:-:\|:-:\|:-:\|:-:\|:-: \|0\|0\|0\|0\|:clap: Details Tests / Release [gcc,aarch64] total: 824, passed: 824 Details weaselab/conflict-set/pipeline/head Something is wrong with the build of this commit Details Closes #2	2024-03-19 16:27:24 -07:00
andrew	3c9c5bd9fb	Add benchmarks for getChild{L,G}eq	2024-01-30 13:08:01 -08:00
andrew	77ce12e070	Add corpus of tests	2024-01-24 10:49:46 -08:00
andrew	756f74c6de	Add fuzz test	2024-01-19 15:48:07 -08:00
andrew	9f9c248e6a	Add naive insertion, fix visualization	2024-01-17 16:23:20 -08:00
andrew	a6381a981e	Add test scaffolding	2024-01-17 12:40:27 -08:00