Synopsis
Simple profiling library with operations to access run-time data
Category
Debugging
Versions
3.0.0 1.1.0 1.0.0
Dependencies
base >= 3.0.0, < 4.0.0
Author
Michael Hanus <mh@informatik.uni-kiel.de>
Compiler requirements
pakcs >= 3.0.0, < 4.0.0 kics2 >= 3.0.0, < 4.0.0 curry2go >= 1.0.0 kmcc >= 0.1.0
Exported modules
Debug.Profile
License
BSD-3-Clause / License file
Further infos:

Uploaded at Aug 16 15:34:01 2023 (UTC)

Succesfully tested at Mar 13 04:37:35 2024

Curry Package profiling

profiling: Support for simple profiling

This package contains a simple profiling library containing operations to access run-time data.

Download

Checkout with CPM:: cypm checkout profiling 3.0.0
Package source:: profiling-3.0.0.tar.gz [browse]
Source repository:: https://git.ps.informatik.uni-kiel.de/curry-packages/profiling.git