nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqhxatvn8sm87kkhrnqku097p5ddqhmhwtn385v3are3gk208p3dqqpvlv9g this is only a new compiler, not a new language! we're proving it correct, which means...
@nprofile1q... ah I just assumed that writing a new compiler implies a new language too. Doing that for an existing language is a lot harder. Which version (of C?) are you targeting? AFAICT both Kcc and Compcert are at C11.