Closed florence closed 9 years ago
Fixes #79 #77 and #59
Roughly this commit switches the instrumentation mechanism to use logging instead of a global hash table. This allows cover to work across phases, and means that cover no longer needs to lift definitions at compile time, fixing some submodule bugs.
Fixes #79 #77 and #59
Roughly this commit switches the instrumentation mechanism to use logging instead of a global hash table. This allows cover to work across phases, and means that cover no longer needs to lift definitions at compile time, fixing some submodule bugs.