hey @cancel i'm working for making the orca-c operators up to date with orcaJS and i'd like to make the reviews faster, do you use any static analysis tool i can use before submitting?
@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?
Merveilles is a community project aimed at the establishment of new ways of speaking, seeing and organizing information — A culture that seeks augmentation through the arts of engineering and design. A warm welcome to any like-minded people who feel these ideals resonate with them.