add more functions
authorbdemsky <bdemsky@uci.edu>
Wed, 26 Jun 2019 23:19:56 +0000 (16:19 -0700)
committerbdemsky <bdemsky@uci.edu>
Wed, 26 Jun 2019 23:19:56 +0000 (16:19 -0700)
commit72c0d3df7c506c4f2f1f6acfae87c1241e5b618e
tree8dde8ed61a7edd7978b9e8d1c5dee76dbb44a8f5
parentfb51932df3796f74631573eb3bb9d1b631f5947a
add more functions
cmodelint.cc
include/mutex.h