joaoraf / kiama

Automatically exported from code.google.com/p/kiama
GNU Lesser General Public License v3.0
7 stars 2 forks source link

Finish the abstract state machine library #43

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
Much of this is working and is ready to go, but we are writing larger specs 
using it to test the library 
in real applications.  Some enhancements are pending the results of that work. 
We also need to 
write some documentation.

Original issue reported on code.google.com by inkytonik on 18 Jan 2010 at 11:38

GoogleCodeExporter commented 9 years ago
The bigger specs seem to be working and the main enhancements are in the repo 
(rfb3a4a1e763e), but we still need documentation.

Original comment by inkytonik on 21 Jun 2010 at 6:48

GoogleCodeExporter commented 9 years ago
Documentation pushed to wiki on June 17.

Original comment by inkytonik on 17 Jul 2010 at 11:51