Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add a cast to thread_id(), to support more platforms | Adam Chlipala | 2016-02-13 |
| | |||
* | Merge bbaren's fix for bug 209. | Ziv Scully | 2015-10-13 |
|\ | |||
| * | Use correct OpenSSL thread safety macros on OS X (closes #209) | Benjamin Barenblat | 2015-09-20 |
| | | | | | | | | | | | | Create an Autoconf test to determine if pthread_t is a pointer or scalar type, and use the appropriate CRYPTO_THREADID_set macro based on the result. | ||
* | | Start work on pure expression caching. | Ziv Scully | 2015-09-13 |
|/ | |||
* | Make OpenSSL usage thread-safe (closes #206) | Benjamin Barenblat | 2015-08-06 |
| | | | | | Enable OpenSSL’s multithreading support by defining locking and thread-ID callbacks. Remove a lock obviated by this change. | ||
* | Fix silly mistake from last commit; also switch away from rand() in openssl.c | Adam Chlipala | 2015-01-22 |
| | |||
* | Switch from libmhash to OpenSSL | Adam Chlipala | 2010-12-26 |