projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eebc7e3) | patch
Makefile: build model checker as shared library (libmodel.so)
authorBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 20:00:35 +0000 (13:00 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 20:08:59 +0000 (13:08 -0700)
commite65adaea247a5163037efaa8e4f74b577566dbfa
treee146eb048392160fbb0bedb26c3b99462fc2bd7atree | snapshot
parenteebc7e307adab5e922ec93a5a8e9d18708dc6af2commit | diff
Makefile: build model checker as shared library (libmodel.so)
Makefile diff | blob | history
This is the public repository for the CDSSpec specification compiler.