100644 blob 5a79a1b9d5cb0af9a779751f07033e44ca3b14d8	LICENSE.TXT
100644 blob 1190adbd4f4fc9d0ee5e3a546c7bb7ca13930c2a	definitions.h
100644 blob 68ec00ddd9674768ef36957b68db7ffc510206d4	guarded_pool_allocator.cpp
100644 blob 9b77c007b883b17eac0206c9eb77f2d62afc2f41	guarded_pool_allocator.h
100644 blob c29df4cde16404529d970462137a5a61d4225fd5	mutex.h
040000 tree 4d41fc8f58b52abb63bccd3006851131346ae255	optional
100644 blob c1b6e67193a479d477c23e4cce4ce94448a0f00d	options.h
100644 blob 9042b11895aecace6105e51764416887b04b7897	options.inc
040000 tree 079ebae2e8f2b80e9719a81100292b02ab3f095b	platform_specific
100644 blob 67f4a22ef95252fe193aa0321d1fcfddd2288657	random.cpp
100644 blob 5fcf30d557eed7316aa285f5afc23b810f97ad1f	random.h
040000 tree 075988ad16baa8b38d0a582d682fc6deed120e09	tests