Hi, my name is Ori Bar. I've been thinking of the concept of a "more formal language with C semantics" for a while and was glad when I learned about your project. It is hard to discern from your webpage what is your progress (it says the webpage has not been updated since 2010?), so I wanted to ask how far have bitc progressed in the last year? Also, I wanted to know if you are looking for any assistance with BitC, as I would be glad to contribute my time to help with this project (I have been programming for several years, in functional languages as well, and was working for a while on a lisp-syntax C-semantics language). Finally, something that I was thinking of. In order to give this kind of a project more traction, I think it would be useful if anyone was working on a method to automatically convert existing C code (especially libraries) to BitC. Did anyone consider this? Possiibly with the conversion tools getting "hints" from a human to make the output code readable?
-- 1110101111111110 - it's a way of life _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
