Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Improve EventList and data checkers #1751
This has no effect on high-level analyses, except for the edge case where someone was calling
There's still more work to do, I've left TODO comments in the checkers. Not sure if I'll have time for another PR this week, I'll try.