Post #2101344
2026-05-02 06:50 UTC
@regehr BTW, the link
https://embed.cs.utah.edu/creduce/using/
(along with all the other embed.cs.utah.edu URLs I tried) ends up on the github csmith repo. Not sure if this is intentional, but it does make the documentation hard to find.
Replies (1)
-
@regehr@mastodon.social 2026-05-02 19:45
@bremner@mathstodon.xyz which Csmith documents do you mean?