/nmigen-toolchain

This is a container build for a toolchain that can be used for formal verification of nMigen RTLs. It attempts to use an entirely FLOSS toolchain.

Primary LanguageDockerfileGNU Affero General Public License v3.0AGPL-3.0

This set up no loger works. It is here for legacy reference purposes.

nmigen-toolchain

This is a container build for a toolchain that can be used for formal verification of nMigen RTLs. It attempts to use an entirely FLOSS toolchain.