John Regehr on Nostr: npub1ncxka…4prul npub1qu56p…wqel2 years back I put some work into making C-Reduce ...

npub1ncxka2nmkqkndk4wkuf3tz3l39z9m8xax3aen3h8tvudwgjmf5mql4prul (npub1ncx…prul) npub1qu56p82wp0ucpu7jkwcvvtfdc7wcmuqkdrqvzpkwl78rdkkckucqswqel2 (npub1qu5…qel2) years back I put some work into making C-Reduce remove/obfuscate details from test cases, with the idea of evaluating whether this would make it relatively easy for people to declare its output free of proprietary details / declassified / whatever. but this was going to be a pain to evaluate and it seemed pretty obviously the case so I never wrote it up.