Allow the formal engine to perform a same-cycle result in the ALU
[soc.git] / flake.nix
2021-10-08 Las Safinnix: Remove outdated comment about license
2021-10-08 Luke Kenneth Casso... Merge branch 'pr' from nix-soc
2021-10-06 Las Safinflake.nix: Clean up
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 SafinAttempt to build for versa ecp5
2021-09-24 Las SafinUpdate nix-litex
2021-09-19 Las SafinLitex work
2021-09-18 Las SafinLitex work
2021-09-16 Las SafinSplit up into several derivations
2021-09-15 Las SafinInclude Litex dependency
2021-09-15 Las SafinWIP
2021-09-13 Las SafinFix nmigen dependencies
2021-09-12 Las SafinFix c4m-jtag
2021-09-12 Las SafinPackage c4m-jtag
2021-09-11 Las SafinPython dependencies
2021-09-11 Las Safinwip
2021-09-05 Las SafinAdd empty flake