cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Age	Commit message (Collapse)	Author
2017-08-30	Use thread_local instead of compiler extensions (#210)	Andres Noetzli
	C++11 introduced the thread_local keyword, so we don't need to use non-standard extensions or our custom pthread extension anymore. The behavior was previously introduced as a workaround in commit 753a072c542c1c254d7c6adbf10e091ba585ede5. This commit introduces the macro CVC4_THREAD_LOCAL that can be used to declare variables as thread local. For Swig, this macro is defined to be empty.
2014-09-26	Clarify some licensing-related things.	Morgan Deters

2010-09-27	add workaround for systems (i.e., Mac OS X) that don't support __thread; ↵	ACSYS
	also configure script auto-detection of __thread support and syntax