The .deb file for ACMgen 1.2 was finally released. Good look folks, and sorry for the delay.
Due to some technical problems, the release 1.2 is available only at the repository. I'm working to make a package available soon (ftp is closed from were I'm now).
In this release we have included a new generator for verilog code. On the old machine the RRBB, OWBB and OWRRBB policies were supported. However, besides the fact the that code could be simulated, the hardware synthesis of was not feasible.
On this new version, only the RRBB policy is supported. Simulation has been performed for a number of different sizes (from 3 to 9) and in all cases freshness and coherence properties were performed.... read more
Since 2007, the numbering schema of ACMgen was based on the Ubuntu style. I just decided the this was rubbish, and it was an error to do it. So, the ACMgen team (i.e. myself, for now) decided to go back to the old style. And preparin to release version 1.2.