New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Documentation URL embed.cs.utah.edu/creduce/ doesn’t exist anymore? #268

Open

pramodk opened this issue Nov 18, 2023 · 1 comment

Contributor

pramodk commented Nov 18, 2023 •

edited

Loading

Hello!

First of all, thanks for very helpful tool!

The readme mentions http://embed.cs.utah.edu/creduce/ for documentation but it seems like it doesn’t exist.

Could you tell me where I can find relevant documentation?

Thanks!

Edit:

anyone ending up here, I can see a web archive copy from May 2023 here https://web.archive.org/web/20230522032409/https://embed.cs.utah.edu/creduce/ . Seems like from June onwards the URL became invalid.
from the mailing list thread, I see the upcoming branch with updated README & Usage instructions in https://github.com/csmith-project/creduce/tree/creduce-2.11

jwakely commented Sep 5, 2024

It's probably the same content, but https://web.archive.org/web/20230530222224/http://embed.cs.utah.edu/creduce/ seems to be the last snapshot in the archive before it went

DilumAluthge mentioned this issue

README: Change the URL for the C-Reduce link maleadt/creduce_julia#8

Merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment