Files
mercury/runtime
Zoltan Somogyi 74559b7f4f Use better names than Deep.data for profiling data.
runtime/mercury_deep_profiling.c:
    Replace the "Deep" in "Deep.data" and "Deep.procrep" with

    - the name of the executable program, and
    - the date and time of the profiling run,

    yielding names such as

    mercury_compile_on_2024-10-05_at_08-43-34.data
    mercury_compile_on_2024-10-05_at_08-43-34.procrep

doc/user_guide.texi:
    Document the new filenames.

NEWS.md:
    Announce the change.
2024-10-05 08:53:50 +02:00
..
2023-06-26 20:05:24 +10:00
2021-06-06 19:07:20 +10:00
2021-04-09 17:41:23 +10:00
2024-01-26 15:52:35 +11:00
2023-11-06 16:15:34 +11:00
2023-12-03 00:19:48 +11:00
2024-04-02 12:44:41 +11:00
2022-01-31 14:11:08 +11:00
2019-06-10 13:30:49 +10:00