Allow the formal engine to perform a same-cycle result in the ALU
[soc.git] / .gitmodules
2021-04-23 Luke Kenneth Casso... remove openpower-isa submodule
2021-04-23 Luke Kenneth Casso... removed submodule
2021-04-23 Luke Kenneth Casso... submodule update
2021-04-01 Luke Kenneth Casso... add soc-cocotb-sim submodule
2021-03-18 Jacob Lifshayre-add nmigen-type-annotations with libre-soc url
2021-03-18 Luke Kenneth Casso... remove nmigen-type-annotations temporarily
2021-03-18 Luke Kenneth Casso... remove nmigen-type-annotations temporarily
2021-03-12 Luke Kenneth Casso... remove old code
2020-10-02 Luke Kenneth Casso... add pinmux generator to create litex pinmap
2020-10-02 Luke Kenneth Casso... add pinmux as submodule
2020-09-22 Jacob Lifshayupdate submodule url
2020-04-01 Luke Kenneth Casso... add libreriscv as submodule
2019-04-22 Jacob LifshayMerge remote-tracking branch 'origin/master'
2019-04-22 Jacob Lifshayadd mypy typechecker integration