|
|
038b9d8564
|
Document usage rules for the mark API
|
2024-07-23 10:35:08 +02:00 |
|
|
|
43792fb349
|
Clarify push and pop value in mark API
|
2024-06-20 11:48:31 +02:00 |
|
|
|
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 |
|
|
|
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 |
|
