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 >= 1.0.0, < 2.0.0
Author
Michael Hanus <mh@informatik.uni-kiel.de>
Compiler requirements
pakcs >= 2.0.0, < 3.0.0 kics2 >= 2.0.0, < 3.0.0
Exported modules
Debug.Profile
License
BSD-3-Clause / License file
Further infos:

Uploaded at Aug 20 13:15:28 2020 (UTC)

Succesfully tested at Aug 28 04:23:02 2020

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 1.0.0
Package source:: profiling-1.0.0.tar.gz [browse]
Source repository:: https://git.ps.informatik.uni-kiel.de/curry-packages/profiling.git