4 Commits

Author	SHA1	Message	Date
Thomas Harte	0b771ce61a	Removes all instances of the copyright symbol.	2018-05-13 15:19:52 -04:00
Thomas Harte	2e15fab651	Doubles down on <cX> over <X.h> for C includes, and usage of the namespace for those types and functions.	2017-11-11 15:28:40 -05:00
Thomas Harte	7f2febeec9	Ensures complete DPLL initial state assignment.	2017-10-17 22:13:37 -04:00
Thomas Harte	698e4fe550	Tidies the Disk file hierarchy.	2017-09-22 22:39:23 -04:00