conflict-set

7 Commits

Include renames

Author	SHA1	Message	Date
andrew	451ac5b2b6	Improve ConflictSet.h readability Tests / Release [gcc] total: 704, passed: 704 Details 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/67//gcc">weaselab » conflict-set » main #67</a> Details Tests / Release [gcc,aarch64] total: 703, passed: 703 Details Tests / Coverage total: 702, passed: 702 Details weaselab/conflict-set/pipeline/head This commit looks good Details	2024-03-07 16:17:17 -08:00
andrew	be5f1b67c8	Interface change! addWrites now takes a single write version Tests / Release [gcc] total: 704, passed: 704 Details 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/57//gcc">weaselab » conflict-set » main #57</a> Details Tests / Release [gcc,aarch64] total: 703, passed: 703 Details Tests / Coverage total: 702, passed: 702 Details weaselab/conflict-set/pipeline/head This commit looks good Details	2024-03-05 16:55:27 -08:00
andrew	06f92722f0	Add license Tests / Release [gcc] total: 583, passed: 583 Details 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/22//gcc">weaselab » conflict-set » main #22</a> Details Tests / Coverage total: 581, passed: 581 Details weaselab/conflict-set/pipeline/head This commit looks good Details	2024-02-20 13:22:22 -08:00
andrew	e9d4403f3c	Remove sorted/canonicalized requirement for reads	2024-02-02 11:58:34 -08:00
andrew	eca1b9993a	Improve symbols test Remove seed argument and check for disallowed undefined symbols	2024-01-30 11:46:03 -08:00
andrew	cf79328414	gcc fixes	2024-01-24 11:13:03 -08:00
andrew	be712796f2	Add include dir	2024-01-22 12:58:03 -08:00