Programming Languages Research Group: Git - c11tester.git/commit

projects / c11tester.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 76308d1) | patch

author	weiyu <weiyuluo1232@gmail.com>
	Tue, 8 Jan 2019 19:50:41 +0000 (11:50 -0800)
committer	weiyu <weiyuluo1232@gmail.com>
	Tue, 8 Jan 2019 19:50:41 +0000 (11:50 -0800)
commit	6e0d0a36ea0f00925308504a44c7b690a9a1d6b7
tree	0b72297d368ecab4b069b540f2fb52e1b5c088af	tree \| snapshot
parent	76308d1cc00abc4ab775977e9332c4992af2bef5	commit \| diff

change cds checker to accomdate llvm pass

25 files changed:

#cmodelint.cc#	[new file with mode: 0644]	blob
#main.cc#	[new file with mode: 0644]	blob
Makefile		diff \| blob \| history
action.cc		diff \| blob \| history
action.h		diff \| blob \| history
cmodelint.cc		diff \| blob \| history
execution.cc		diff \| blob \| history
include/cmodelint.h		diff \| blob \| history
include/impatomic.h		diff \| blob \| history
include/librace.h		diff \| blob \| history
include/memoryorder.h		diff \| blob \| history
include/stdatomic.h	[deleted file]	blob \| history
include/stdatomic2.h	[new file with mode: 0644]	blob
librace.cc		diff \| blob \| history
model.cc		diff \| blob \| history
snapshot.cc		diff \| blob \| history
test/memo/double-read-fv	[new file with mode: 0755]	blob
test/memo/fences	[new file with mode: 0755]	blob
test/memo/original	[new file with mode: 0644]	blob
test/memo/output	[new file with mode: 0644]	blob
test/memo/rmw2prog	[new file with mode: 0755]	blob
test/memo/script.sh	[new file with mode: 0755]	blob
test/memo/userprog	[new file with mode: 0755]	blob
test/rmw2prog.c		diff \| blob \| history
test/userprog.c		diff \| blob \| history

C11 Tester Tool Public Repository