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?
Revel in the marvels of the universe. We are a collective of forward-thinking individuals who strive to better ourselves and our surroundings through constant creation. We express ourselves through music, art, games, and writing. We also put great value in play. A warm welcome to any like-minded people who feel these ideals resonate with them. Check out our Patreon to see our donations.