projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18fb657) | patch
Changes needed to run on OS X... Example runs on my laptop now. No need to push...
authorBrian Demsky <bdemsky@uci.edu>
Mon, 4 Jun 2012 05:35:41 +0000 (22:35 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Mon, 4 Jun 2012 05:35:41 +0000 (22:35 -0700)
commit843f65d8af9e9b4c73f844ecc2a22fbafaee7967
tree84c8e2a739d14a5f9fbd00e293213a65b9244081tree | snapshot
parent18fb657b0c6f8abfe4048e5252a9ffab960acabccommit | diff
Changes needed to run on OS X...  Example runs on my laptop now.  No need to push code back and forth to test...

Out of time for fun hack, have to get back to real work now.  :(
snapshot-interface.cc diff | blob | history
snapshot.cc diff | blob | history
snapshot.h diff | blob | history
C++11 memory model checker