Put extended time in separate file; added header guards
Fixed more runtime errors
removed some slow checks / debug msgs
removed some warnings
work on manual_orderer (formerly named ordered_stuff)
comments for manual_orderer (written by Isaac)
cleaned up some debug stuff
Tried to fix things in an overcomplicated way. It's still broken
Started throwing together a worst-case manual orderer
Started throwing together a better worst-case manual orderer
Continued throwing together the worst-case manual orderer
Continued throwing together the worst-case manual orderer
Continued throwing together the worst-case manual orderer
finished(?) the worst-case manual orderer (mostly untested)