20d9d5c fixed the existing CN lemma tests, but these should really be part of the CI. This requires re-working the CI script a bit to ensure coq and cerberus are on the same switch (it is possible, CHERI-C does it, but I couldn't figure it out and I'm away for the next 1.5 weeks).
20d9d5c fixed the existing CN lemma tests, but these should really be part of the CI. This requires re-working the CI script a bit to ensure coq and cerberus are on the same switch (it is possible, CHERI-C does it, but I couldn't figure it out and I'm away for the next 1.5 weeks).