Post #4209742
2026-05-02 19:45 UTC
@bremner@mathstodon.xyz which Csmith documents do you mean?
Replies (1)
-
@bremner@mathstodon.xyz 2026-05-02 22:39
@regehr@mastodon.social I was following the link from the creduce README on github to http://embed.cs.utah.edu/creduce/ which alleges to host "Documentation and other information". Then I tried the tutorial link mentioned above. I guess everything starting https://embed.cs.utah.edu redirects to the csmith github repo which isn't really documentation for creduce, except in some strained philosophical sense ;).