University of Cambridge, CBG-BSV Toy Bluespec Compiler - Download
Over the 2014 Christmas break I recoded the typechecker and added quite a few missing facilities and I expect the new version will be here for download in January 2015...
Open-Source, CBG-BSV, Toy Bluespec Compiler With Parser (coded in F-Sharp)
The compiled binaries (dotnet CIL for mono) of a rough version with a parser can be downloaded from here. If you would like git access to the source files or to be a code developer please request by email.
This software is implemented in F Sharp running on linux. It should also work on Windows without change.
In the future there may be a source code release and the toy compiler may be improved a bit, but our purpose is not to undermine the Bluespec market, but to help raise interest and to provide a vehicle for research (e.g. we are working on a Bluespec compiler that generates fault-tolerant hardware).
To download the current stable/unstable release of this software please complete a short form with name, company and email address.
Disclaimers: No assertion of quality or warranty of serviceability is made or implied. No liability for direct or consequential loss is assumed. No warranty against patent infringement is asserted. Bluespec Inc has at least one patent filed.
This page linked from: University of Cambridge, Computer Laboratory: Rudimentary/Toy Bluespec Compiler.