search

termite2 / Termite

The Termite driver synthesis tool
30 stars 7 forks source link

ts.data61.csiro.au has an expired certificate #18

Closed bjorn3 closed 4 months ago

bjorn3 commented 4 years ago

I was redirected to that site from http://termite2.org.

bjorn3 commented 3 years ago

It now redirects to https://ssrg.nicta.com.au/projects/TS/drivers/synthesis/, which it times out.