Uploaded at Aug 28 11:35:14 2020
Succesfully tested at Dec 2 05:32:17 2021

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