GitHub repository: margnus1/swsc
Primary language: C
Description: A research prototype SMC testing tool exploring weak traces under sequential consistency