Programming Languages Research Group: Git - model-checker.git/commit

projects / model-checker.git / commit

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

author	Brian Norris <banorris@uci.edu>
	Mon, 16 Apr 2012 06:01:24 +0000 (23:01 -0700)
committer	Brian Norris <banorris@uci.edu>
	Mon, 16 Apr 2012 06:01:24 +0000 (23:01 -0700)
commit	df437a93a0599b75a4df8967d2943a01ca931a9a
tree	363f5c43b47ec8f9139f9a3cb0b1004ed0a33f8b	tree \| snapshot
parent	eb5d233dfb48cf8628a8c8669666f7c1ae86d8f3	commit \| diff

major rewrite - 'struct thread' replaced with internal 'class Thread'

Rewrite code such that most thread data is kept internally, not within the user
program.

libatomic.cc		diff \| blob \| history
libthreads.cc		diff \| blob \| history
libthreads.h		diff \| blob \| history
model.cc		diff \| blob \| history
model.h		diff \| blob \| history
schedule.cc		diff \| blob \| history
schedule.h		diff \| blob \| history
threads_internal.h		diff \| blob \| history
userprog.c		diff \| blob \| history

C++11 memory model checker