You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Must reflect all the latest changes; must update usage examples; add some GIPHYs; create a wiki for the documentation of both the command line tool and the package API.
if kernel is prone to segfault, some times produces empty output (if lucky) or freezes for ever and must be killed
when the kernel is profile (i.e. instcounts) it is compiled and ran with NO optimizations (optimizations are normally used in all other modes)
THINKS IT IS CACHED BUT IT IS NOT: 1. time it (with --clear-cache to be sure) 2. instcounts and it breaks, because it thinks it is already instrumented and cached, which is wrong
Must include the following, at least:
The text was updated successfully, but these errors were encountered: