5 Commits

Author	SHA1	Message	Date
r4bbit	38e90509b2	add smart contracts unit milestones ... This adds a few maintenance milestones as well as a new milestone for collaborating with Codex on formally verifyign their smart contracts.	2024-06-24 16:20:01 +02:00
r4bbit	87add911c0	chore(vac/sc): update `codex` and `secureum-upskilling` milestones (#32)	2024-02-14 19:27:52 +01:00
Corey	c9120be9b9	add back	2023-10-25 14:20:23 -04:00
Corey	ee0e82f529	delete first	2023-10-25 14:15:14 -04:00
Corey	1244e15de3	removed `roadmap` dir, added some nomos milestones	2023-09-18 16:19:59 -04:00