@npisanti no, I usually just write a small informal proof in a text editor and check it by hand stepping through it one line at a time.
I think you could prove it correct with frama-c. I believe the parts of orca-c that don't rely on opaque ncurses stuff should be clean.
sorry I don't have time to review code right now... writing C without bugs is hard and so far I've had to go back and forth with everyone who submits a PR several times to remove them (or at least the ones I can find)
@cancel i understand that, but, on the other side i don't feel right to always point to my own repo for a more updated version of orca-c, if you don't have time in the next weeks could we just merge the changes and then you clean it?
@npisanti I don't see anything wrong with pointing people to your own repo. I'm waiting until the design of the JS version has settled before overhauling the C version to match it again.
@cancel ok, its fine, i think it will some more weeks to settle down, in the meanwhile i can ask you for review of the most stable parts, thanks =)
Revel in the marvels of the universe.