- Now with a seamless interface for DE2 off-chip SRAM. [10 Jan 2013]
- We have added ground-type call-by-value to the language syntax, so that if you call f(val M) the argument is evaluated before the function call (like in ML). [14 May 2012]
- New example added for Verity. [12 March 2012]
- Version 0.09 of the GOS compiler (technology preview) has been released! See Download pages. [03 March 2012]
|
|
