Programming Languages Research Group: Git - cdsspec-compiler.git/commit

projects / cdsspec-compiler.git / commit

author	Brian Norris <banorris@uci.edu>
	Fri, 16 Nov 2012 23:23:40 +0000 (15:23 -0800)
committer	Brian Norris <banorris@uci.edu>
	Fri, 16 Nov 2012 23:23:40 +0000 (15:23 -0800)
commit	adf77053d498af32ab4c6764b50d4265bed5996c
tree	091928c1b0bd313f79b5d541a437240234f1ff50	tree \| snapshot
parent	19bf5b6e02169d18d1481876e50bfca7a29f4034	commit \| diff

printf -> model_print

As we move toward redirecting program output, we will need a special
printf function for model-checking prints. Just define a simple
model_print() for now.

action.cc		diff \| blob \| history
clockvector.cc		diff \| blob \| history
common.cc		diff \| blob \| history
common.h		diff \| blob \| history
hashtable.h		diff \| blob \| history
main.cc		diff \| blob \| history
model.cc		diff \| blob \| history
mymemory.cc		diff \| blob \| history
nodestack.cc		diff \| blob \| history
snapshot.cc		diff \| blob \| history
threads.cc		diff \| blob \| history

This is the public repository for the CDSSpec specification compiler.

RSS Atom