Allow the formal engine to perform a same-cycle result in the ALU
[soc.git] / flake.lock
2021-10-08 Luke Kenneth Casso... Merge branch 'pr' from nix-soc
2021-10-05 Las SafinUpdate lock file
2021-09-26 Las SafinAdd script for loading Libre-SOC onto Versa ECP5 board!
2021-09-25 Las SafinMerge remote-tracking branch 'upstream/master' into pr
2021-09-25 Las SafinPin version of yosys
2021-09-25 Las SafinGet further building for versa ecp5
2021-09-24 Las SafinUpdate nix-litex
2021-09-19 Las SafinLitex work
2021-09-18 Las SafinLitex work
2021-09-15 Las SafinInclude Litex dependency
2021-09-13 Las SafinFix nmigen dependencies
2021-09-12 Las SafinPackage c4m-jtag
2021-09-05 Las SafinAdd empty flake