search

GaloisInc / ivory

The Ivory EDSL
http://ivorylang.org
BSD 3-Clause "New" or "Revised" License
393 stars 28 forks source link

http://ivorylang.org seems down #122

Closed TravisWhitaker closed 5 years ago

TravisWhitaker commented 5 years ago

https://downforeveryoneorjustme.com/ivorylang.org

As I recall there was some nice material hosted on that site that doesn't seem to be in this repository.

TravisWhitaker commented 5 years ago

Seems it's back up!