frenetic-lang / pyretic

The Pyretic language and runtime system
http://frenetic-lang.org/pyretic/
159 stars 99 forks source link

The website of Pyretic can not be accessed, return 404 not found #74

Open skydamon opened 6 years ago

skydamon commented 6 years ago

The website http://frenetic-lang.org/pyretic/ showed in the README can not be accessed, when I visit it, It return me a 404 Not Found,
The mail list of Pyretic http://lists.frenetic-lang.org/mailman/listinfo/pyretic also return 404 not found, Could anyone give me some help, I need to know the detailed grammar of Pyretic.

jrexford commented 6 years ago

Damon,

Thanks for your interest in Pyretic. Unfortunately, the Pyretic software is no longer supported. You may be interested in the Frenetic NetKAT software at

https://github.com/frenetic-lang/frenetic/ https://github.com/frenetic-lang/frenetic/

All the best...

— Jen

On Feb 28, 2018, at 1:47 AM, Damon Hu notifications@github.com wrote:

The website http://frenetic-lang.org/pyretic/ http://frenetic-lang.org/pyretic/ showed in the README can not be accessed, when I visit it, It return me a 404 Not Found, The mail list of Pyretic http://lists.frenetic-lang.org/mailman/listinfo/pyretic http://lists.frenetic-lang.org/mailman/listinfo/pyretic also return 404 not found, Could anyone give me some help, I need to know the detailed grammar of Pyretic.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/frenetic-lang/pyretic/issues/74, or mute the thread https://github.com/notifications/unsubscribe-auth/AA1c5y2GrO1wdeXdcGm2NhlvloMq7xWXks5tZPZwgaJpZM4SWKIv.

skydamon commented 6 years ago

Jen,

First, Thanks for your time and response. For some reason, I have to use Pyretic and read it's source code. Because the website can not be accessed, I can not get any information and documents about Pyretic(such as how to install and run it, how does it's source code organized ), Do you have any documents about Pyretic, If you does, could you please send them to my email (liujia.hu@outlook.com), That will be very wonderful, Thanks for that. If you doesn't have any documents, It's also OK, Thanks for your time. All the best... Damon