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

projects / model-checker.git / commit

summary | shortlog | log | commit | commitdiff | tree
(merge: 96598fb 8c24abe)

author	Brian Demsky <bdemsky@uci.edu>
	Fri, 18 May 2012 23:32:38 +0000 (16:32 -0700)
committer	Brian Demsky <bdemsky@uci.edu>
	Fri, 18 May 2012 23:32:38 +0000 (16:32 -0700)
commit	810306cb85accaaace9a50f174264f105991230b
tree	c04144d8777218d2362ad78a4c588f57a3f3bb95	tree \| snapshot
parent	96598fb588eae2fa5050ab83cb3e362f2d6cbbec	commit \| diff
parent	8c24abefd5f4c7528a245ec786309f96601b5c58	commit \| diff

merging stuff...made need to clean up some stuff...but need to push it somewhere else for now
Merge branch 'subramanian'

Conflicts:
.gitignore
Makefile
action.h
userprog.c

.gitignore	diff1 \|	diff2 \|	blob \| history
Makefile	diff1 \|	diff2 \|	blob \| history
action.h	diff1 \|	diff2 \|	blob \| history
main.cc	diff1 \|	diff2 \|	blob \| history
model.cc	diff1 \|	diff2 \|	blob \| history
model.h	diff1 \|	diff2 \|	blob \| history
threads.cc	diff1 \|	diff2 \|	blob \| history
userprog.c	diff1 \|	diff2 \|	blob \| history

C++11 memory model checker