diy, Release Seven

The software suite diy provides tools to design and test weak memory models. It handles ARMv8 (AArch64), ARMv7 (ARM), Power (PPC) and X86 assembly models, plus a generic (LISA) assembly language.


November 2015, the 29th: Public release of the new, opam-based, version of our tools.

September 2015 the 23th: Release of diy 7.00 or diy “seven”. A long awaited release, featuring the first official release of herd7 our generic simulator, an abstract “LISA” input language in addition to supported native architectures, and a new (CeCiLL-B) License.

Old news