projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5af7bf9) | patch
Makfile: add 'make pdfs' target to build PDF from .dot graph
authorBrian Norris <banorris@uci.edu>
Tue, 5 Feb 2013 23:16:03 +0000 (15:16 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 6 Feb 2013 21:41:10 +0000 (13:41 -0800)
commitae12df49c597460d923eeb71a5bdcdc708d57b11
treec78d8635919662961df2518c038d18be38973878tree | snapshot
parent5af7bf9e51795daa1b4dede1e27e4862170535f4commit | diff
Makfile: add 'make pdfs' target to build PDF from .dot graph
Makefile diff | blob | history
C++11 memory model checker