projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f6d864) | patch
fix TLS support for platforms (e.g. Mac OS X) where __thread storage class doesn...
authorMorgan Deters <mdeters@gmail.com>
Tue, 28 Sep 2010 20:09:33 +0000 (20:09 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 28 Sep 2010 20:09:33 +0000 (20:09 +0000)
commit5e9d8abe7c70181333dd6c1572aa74662cd71018
treecba5461b250e6733cdaf3c87ab9a95c36ce83aa3tree
parent6f6d864effd21db0f4428da78d9010c164cd669fcommit | diff
fix TLS support for platforms (e.g. Mac OS X) where __thread storage class doesn't exist, and clean up a few things in NodeManager
src/expr/node_manager.cpp diff | blob | history
src/expr/node_manager.h diff | blob | history
src/util/tls.h.in diff | blob | history