Commit Graph

4 Commits

Author SHA1 Message Date
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