Code cleanup
More refactoring
NotBlocked -> CanAccessMemory
Make assertions unconditionally enabled
Got rid of foreach
Got rid of unused NaivePrinter
First attempt to implement trench::SCSemantics
Faster SC reachability
Favourite thread heuristic
Bugfixes + switching to the new model checker
Got rid of SpinModelChecker
Replaced boost::chrono with std::chrono
Removed any mentioning of Spin
More cleanup
More cleanup
Using unordered containers from Boost everywhere
Fixed warnings from GCC
Profiling CMake flag, faster DFS
Added missing comparison
Small performance improvement