conflict-set

6 Commits

Include renames

Author	SHA1	Message	Date
andrew	ea76e04cda	Fix weird-looking url in ubsan reference Also use the exact html title	2024-04-19 15:19:39 -07:00
andrew	37c75f747b	Draft Testing section Tests / Clang total: 1162, passed: 1162 Details Clang \|Total\|New\|Outstanding\|Fixed\|Trend \|:-:\|:-:\|:-:\|:-:\|:-: \|0\|0\|0\|0\|:clap: Details Tests / SIMD fallback total: 1162, passed: 1162 Details Tests / Release [gcc] total: 1162, passed: 1162 Details GNU C Compiler (gcc) \|Total\|New\|Outstanding\|Fixed\|Trend \|:-:\|:-:\|:-:\|:-:\|:-: \|0\|0\|0\|0\|:clap: Details Tests / Release [gcc,aarch64] total: 868, passed: 868 Details Tests / Coverage total: 872, passed: 872 Details weaselab/conflict-set/pipeline/head This commit looks good Details	2024-04-19 14:26:47 -07:00
andrew	fdb05e0e33	First draft of "Checking range reads" subsection Tests / Clang total: 1096, passed: 1096 Details Clang \|Total\|New\|Outstanding\|Fixed\|Trend \|:-:\|:-:\|:-:\|:-:\|:-: \|0\|0\|0\|0\|:clap: Details Tests / SIMD fallback total: 1096, passed: 1096 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 Tests / Coverage total: 823, passed: 823 Details weaselab/conflict-set/pipeline/head This commit looks good Details	2024-04-15 17:32:33 -07:00
andrew	939b791e01	Paper tinkering	2024-02-19 13:29:16 -08:00
andrew	e956c526b2	Draft paper introduction	2024-02-16 16:27:55 -08:00
andrew	10b7f405a0	Add beginning of paper	2024-02-05 12:08:49 -08:00