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

projects / c11tester.git / commit

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

author	weiyu <weiyuluo1232@gmail.com>
	Thu, 5 Dec 2019 00:33:31 +0000 (16:33 -0800)
committer	weiyu <weiyuluo1232@gmail.com>
	Thu, 5 Dec 2019 00:33:31 +0000 (16:33 -0800)
commit	25b12680719a51fc81d1681a280e076920dcaabc
tree	fb42822dbc2859574d6202b847e09973058ad931	tree \| snapshot
parent	a21f6b6439fd0f52ec5ab316bf6cd46992e94301	commit \| diff

Using a for loop to prune writes that violate modification order is wrong

execution.cc		diff \| blob \| history
predicate.cc		diff \| blob \| history
predicate.h		diff \| blob \| history

C11 Tester Tool Public Repository