Project Group: edu.umass.cs

automan

edu.umass.cs : automan_2.11

Last Version: 1.2.0

Release Date: May 9, 2017

SurveyMan

edu.umass.cs : surveyman

The SurveyMan language, static analyzer, and simulator.

Last Version: 1.6.7

Release Date: Jun 9, 2016

automan

edu.umass.cs : automan_2.10

Last Version: 1.0.1

Release Date: Oct 8, 2015

cmpsci220

edu.umass.cs : cmpsci220_2.11

Last Version: 1.10

Release Date: Nov 6, 2014

docker

edu.umass.cs : docker_2.10

Last Version: 0.2

Release Date: Aug 7, 2014

docker

edu.umass.cs : docker_2.11

Last Version: 0.2

Release Date: Aug 7, 2014