projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 236f53b 11265e8)
Merge branch 'sandbox' (remove finalize())
authorBrian Norris <banorris@uci.edu>
Thu, 21 Jun 2012 09:11:15 +0000 (02:11 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 21 Jun 2012 09:11:27 +0000 (02:11 -0700)
commitf3ef22bef8d339c7d45b7d7232cdcf183a0b7776
tree6c000e83fc32bc5b85613413b9d39c8027db8b4btree | snapshot
parent236f53b4a7b4c07e9f60b662e059838f75b24171commit | diff
parent11265e873a6618952820f76da4d702a6485b4678commit | diff
Merge branch 'sandbox' (remove finalize())

Merge in the fix from Subramanian and me that eliminates the need for a
finalize() call. It was a kind of bug, in a way, that hopefully is fixed now...
snapshot.cc diff1 | diff2 | blob | history
C++11 memory model checker