projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f190f9a) | patch
use my{Malloc,Free} in model-checking code
authorBrian Norris <banorris@uci.edu>
Thu, 5 Apr 2012 03:14:27 +0000 (20:14 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 5 Apr 2012 17:05:44 +0000 (10:05 -0700)
commitedf8e50ce806cf2d16fa78143bc3e6861aae0772
tree8e80038f9b8cc7759e5daf03c809203cd6d4921btree | snapshot
parentf190f9ac34ade6276b1ce4f500d9537907adf55ecommit | diff
use my{Malloc,Free} in model-checking code

Also, fixes 'leak' where we forgot to free the main_thread.
libthreads.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.