Post #4209744
2026-05-02 22:39 UTC
@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 ;).
Replies (1)
-
@regehr@mastodon.social 2026-05-02 22:56
@bremner@mathstodon.xyz ah, got it-- I was wondering about Csmith documentation. yes, there are a few C-Reduce pages that I should find and move to github. it's not much...