Guys, does anyone know about the current status of the verifier? Is the README.JustIce still up-to-date? I would like to send that file over to ASM to see how they are doing regarding the verifier. As well this should be up-to-date for a release. cheers -- Torsten