Hello As I understand it BitC was developed to allow easily prove some properties of programs written in the language.
It was used for the Coyotos kernel and I am not aware of any other use so far. Is there some example of what can be proven about the Coyotos kernel and how BitC is used in that proof ? Does CapROS also use BitC or do they use some more traditional compiler? Thanks Michal _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
