embed.cs.utah.edu/csmith is gone

[amonakov]

The http://embed.cs.utah.edu/csmith and especially http://embed.cs.utah.edu/csmith/using.html pages are gone. They were available a few days ago.

[eeide]

Thanks. This is due to some website reorganization at the University of Utah. I expect that the content will be relocated soon, to a different URL—but I do not yet know where.

[regehr]

anything of it that we want to keep should get relocated into this git repo, is my view, I'm not interested in maintaining a separate site for Csmith (or C-Reduce)

[amonakov]

Curious about the history there — the using.html page is pretty important, how come it was not part of this repo in the first place?

[regehr]

it's because Csmith lived in a private repo for several years before github even existed

[regehr]

(iirc)

[chenrui333]

Just found http://embed.cs.utah.edu/csmith is gone, should I expect it come back any time soon?

[eeide]

@chenrui333 No, embed.cs.utah.edu will not be coming back. I believe that @regehr is in the process of moving the content into this GitHub repository. See his comment above.

[brdjns]

Any news on this?

[eeide]

No, I don't have any news to share with you about this. The plan is still the same, to move the content that was previously at the website into this GitHub repository.