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

projects / c11tester.git / commit

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

author	bdemsky <bdemsky@uci.edu>
	Thu, 27 Jun 2019 21:39:01 +0000 (14:39 -0700)
committer	bdemsky <bdemsky@uci.edu>
	Thu, 27 Jun 2019 21:39:01 +0000 (14:39 -0700)
commit	c56ca6ef155dc69125bfc53bf9893016b699a0c2
tree	3a5fb70e014b31142291c181ae43d62a48f90d17	tree \| snapshot
parent	c44681494532fc9b3cec1e9148324025a635017b	commit \| diff

revamp scheduler so we can start threads early

cmodelint.cc		diff \| blob \| history
execution.cc		diff \| blob \| history
main.cc		diff \| blob \| history
model.cc		diff \| blob \| history
model.h		diff \| blob \| history
pthread.cc		diff \| blob \| history
snapshot-interface.h		diff \| blob \| history
snapshot.cc		diff \| blob \| history
threads-model.h		diff \| blob \| history
threads.cc		diff \| blob \| history

C11 Tester Tool Public Repository