2 commits

Author	SHA1	Message	Date
Jose Gracia	ca0b9964f7	Disable recording of events for MPI_Comm_{size,rank}, etc	2024-01-15 09:13:34 +01:00
Jose Gracia	cef6b54cc2	Add Extrea helpers	2023-08-01 13:59:43 +02:00