3 Commits

Author	SHA1	Message	Date
Jean Sirmai	6f51ad8158	Progress report. Status: awaiting structure review	2024-07-04 08:04:58 +02:00
Jean Sirmai	5208a224e4	WIP: cleaning (before systematic re-verifications)	2024-07-03 22:30:08 +02:00
Jean Sirmai	a4a80c63fe	WIP: cleaning (systematic verifications III)	2024-07-01 07:26:16 +02:00

Renamed from include/callback.h (Browse further)