You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Cameron 5f57c9f588 Updated to latest version of Relacy and fixed incompatibility with GCC 5+ (tests still pass) (issue #102)		6 years ago
..
relacy	Updated to latest version of Relacy and fixed incompatibility with GCC 5+ (tests still pass) (issue #102)	6 years ago
freelist.cpp	Initial commit	11 years ago
integrated.cpp	Added more Relacy-based integration tests, one of which found a bug in the explicit producer destructor that could cause destructors to be called on already-destructed objects (this should fix issue #13)	10 years ago
makefile	Updated to latest version of Relacy and fixed incompatibility with GCC 5+ (tests still pass) (issue #102)	6 years ago
relacy_shims.h	Updated to latest version of Relacy and fixed incompatibility with GCC 5+ (tests still pass) (issue #102)	6 years ago
spmchash.cpp	Initial commit	11 years ago