hi, When does seL4 get re-proven? When code gets pulled into the master branch on github? Once a year? Something in-between?
Is it clear what code is actually proven? Is everything in github under the proofs? Or are there things that fall outside the proven kernel? How would anybody see that? :-) Thanks! _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
