Akash Mozumdar c877d9cd31 use raii for process records and mutexes. remove a lot of manual resource management		2018-10-31 12:04:32 -04:00
..
common.h	using shared_ptr to improve thread safety	2018-10-31 01:20:44 -04:00
const.h	use raii for process records and mutexes. remove a lot of manual resource management	2018-10-31 12:04:32 -04:00
defs.h	remove overly defensive programming (that doesnt even work)	2018-08-28 15:18:05 -04:00
types.h	use raii for process records and mutexes. remove a lot of manual resource management	2018-10-31 12:04:32 -04:00