5 Commits

Author	SHA1	Message	Date
Albin Chaboissier	1c17aa20c2	Starts proof cache infra	2026-02-10 17:21:06 +01:00
Albin Chaboissier	a151b772aa	Starts a good tracing interface	2026-02-09 16:40:51 +01:00
Albin Chaboissier	b80077f3a7	Starting tracer	2026-02-09 10:56:15 +01:00
Albin Chaboissier	134ebc6dc6	Working	2026-02-08 22:48:51 +01:00
Albin Chaboissier	ced43b76bf	First	2026-02-08 16:34:55 +01:00