3 Commits

Author	SHA1	Message	Date
Rodrigo Arias	43792fb349	Clarify push and pop value in mark API	2024-06-20 11:48:31 +02:00
Rodrigo Arias	c803a7566f	Prevent zero values in the mark API ... These values cannot be differentiated from a null value, due to a Paraver limitation.	2024-06-20 11:41:09 +02:00
Rodrigo Arias	670edb6ddc	Add documentation for the mark API ... Includes the runtime usage as well as how to adjust the Paraver configuration.	2024-06-20 11:08:29 +02:00