mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-05-01 17:24:34 +00:00
aa7743278a
Estimated hours taken: 1 Branches: main Update deep profiling documentation: include information regarding the coverage profiling parts of the deep profiling structures, the new modules added to the deep profiler directory and the new query pipeline. deep_profiler/notes/deep_profiling.html: As above.