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