projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e759b60) | patch
Adding STL stuff and operator news of snapshot to model-checker. Need to actuallly...
authorSubramanian Ganapathy <sganapat@uci.edu>
Wed, 9 May 2012 22:48:29 +0000 (15:48 -0700)
committerSubramanian Ganapathy <sganapat@uci.edu>
Wed, 9 May 2012 22:48:29 +0000 (15:48 -0700)
commit1d6c949fef3b5da936f8499dde464f8df634267a
treec4c87d5310f02f203228524122687a78b5a0a933tree | snapshot
parente759b60e0b2dc31623ba3b03303a9d0d204fdd4ccommit | diff
Adding STL stuff and operator news of snapshot to model-checker. Need to actuallly find the hooks which do the actual snapshotting
36 files changed:
Makefile diff | blob | history
Makefile~ [new file with mode: 0644] blob
___malloc.c [new file with mode: 0644] blob
action.h diff | blob | history
action.h~ [new file with mode: 0644] blob
common.h diff | blob | history
common.h~ [new file with mode: 0644] blob
malloc.c diff | blob | history
model.cc diff | blob | history
model.cc~ [new file with mode: 0644] blob
model.h diff | blob | history
model.h~ [new file with mode: 0644] blob
mymemory.cc [new file with mode: 0644] blob
mymemory.cc~ [new file with mode: 0644] blob
mymemory.h [new file with mode: 0644] blob
run.sh diff | blob | history
run.sh~ [new file with mode: 0644] blob
schedule.cc diff | blob | history
schedule.cc~ [new file with mode: 0644] blob
schedule.h diff | blob | history
schedule.h~ [new file with mode: 0644] blob
snapshot.cc [new file with mode: 0644] blob
snapshot.cc~ [new file with mode: 0644] blob
snapshot.h [new file with mode: 0644] blob
snapshot.h~ [new file with mode: 0644] blob
snapshotimp.h [new file with mode: 0644] blob
threads.cc diff | blob | history
threads.cc~ [new file with mode: 0644] blob
threads.h diff | blob | history
threads.h~ [new file with mode: 0644] blob
tree.cc diff | blob | history
tree.cc~ [new file with mode: 0644] blob
tree.h diff | blob | history
tree.h~ [new file with mode: 0644] blob
userprog.c diff | blob | history
userprog.c~ [new file with mode: 0644] blob
C++11 memory model checker