projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f232550) | patch
README: improve sections, provide better intro
authorBrian Norris <banorris@uci.edu>
Fri, 31 May 2013 22:32:39 +0000 (15:32 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 31 May 2013 22:32:39 +0000 (15:32 -0700)
commit16b2fd3b0f423ce6ed9fa878ed35eb2d68ff5934
tree930a1657c9e877a69b14b7eb3bb6cce6ea22908btree | snapshot
parentf2325500e8d1264ea811d5e68419b28d154b54cacommit | diff
README: improve sections, provide better intro
README diff | blob | history
C++11 memory model checker