5 Commits

Author	SHA1	Message	Date
rtldg	ef3ca621c4	add more contributors & copyright attributions. mostly done via git blame but also it's also likely i missed some people.	2022-05-25 11:43:57 +00:00
rtldg	554606a210	move Shavit_GetStageWR/PB docs to wr.inc	2022-03-23 10:42:00 +00:00
rtldg	2e791a8237	set wrname on wr for when the query takes a second	2022-02-21 19:15:32 +00:00
rtldg	b54de50c1a	mess with some #include's and include-guards	2021-10-25 13:01:38 +00:00
rtldg	966ceea5f8	finish splitting shavit.inc	2021-10-18 07:22:50 +00:00