Today, the (hopefully) last release before the final version of yacc-cosi has been released. It contains some important bugfixes in the arithmetic logical unit - the core of the simulation.
To avoid defective simulation results, we recommend users of the program to update their versions as soon as possible.