Home

This is an old version of this page. You can view the most recent version or browse the history.

Useful links:

Spot website
Development Snapshots
HACKING & README
how to write a commit
the old build farm is being migrated to gitlab-ci
Hanoi Omega Automata Format
Release procedure
Web Statistics
Spot Calendar: https://calendar.google.com/calendar/ical/nq336vlnojv6i5qhkmu5qbak3s%40group.calendar.google.com/public/basic.ics