Consistency checker for memory subsystem traces - View it on GitHub