Blog Posts May 10, 2020 — Release of v1.3 Apr 18, 2019 — Release of v1.2 Apr 7, 2019 — Using SReachTools on CodeOcean Feb 14, 2019 — Release of v1.1 Oct 23, 2018 — Release of v1 (Stable) May 31, 2018 — Release of v0.2 May 25, 2018 — Release of v0.1