June 2022 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Wed Jun 1 06:27:34 BST 2022
Ending: Thu Jun 30 17:13:53 BST 2022
Messages: 647

• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 837] dlopen/dlsym implementation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 550] binutils support needed for svp64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 844] New: binutils: implement the first revision with magic instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 550] binutils support needed for svp64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 844] binutils: implement the first revision with magic instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 845] New: binutils: drop svmagic and deal with the prefix instead   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 844] binutils: implement the first revision with magic instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 550] binutils support needed for svp64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 845] binutils: drop svmagic and deal with the prefix instead   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 550] binutils support needed for svp64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 577] gcc compiler, binutils and assembly macros for OpenPOWER-SV   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 550] binutils support needed for svp64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 762] Peripheral Pin Muxing Development   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 762] Peripheral Pin Muxing Development   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 846] New: Pinmux Pinspec Interconnect Auto-Generation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 846] Pinmux Pinspec Interconnect Auto-Generation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 846] Pinmux Pinspec Interconnect Auto-Generation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 841] Idea for openpower/x86/aarch64/riscv/etc. programmable decoder   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 844] binutils: implement the first revision with magic instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 764] Documentation of I/O Core/Pad JTAG Tests   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 764] Documentation of I/O Core/Pad JTAG Tests   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 50] nmigen pinmux   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 764] Documentation of I/O Core/Pad JTAG Tests   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 764] Documentation of I/O Core/Pad JTAG Tests   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 764] Documentation of I/O Core/Pad JTAG Tests   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 762] Peripheral Pin Muxing Development   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 50] nmigen pinmux   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 762] Peripheral Pin Muxing Development   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 762] Peripheral Pin Muxing Development   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] New: dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 762] Peripheral Pin Muxing Development   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 848] New: FPGAs and equipment bought using FPGA-fund   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 774] Equipment needed, such as FPGA boards and Ethernet PMODs   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 848] FPGAs and equipment bought using FPGA-fund   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 50] nmigen pinmux   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 848] FPGAs and equipment bought using FPGA-fund   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 848] FPGAs and equipment bought using FPGA-fund   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 774] Equipment needed, such as FPGA boards and Ethernet PMODs   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] New: binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 844] binutils: implement the first revision with magic instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 844] binutils: implement the first revision with magic instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 844] binutils: implement the first revision with magic instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 764] Documentation of I/O Core/Pad JTAG Tests   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 762] Peripheral Pin Muxing Development   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 762] Peripheral Pin Muxing Development   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 764] Documentation of I/O Core/Pad JTAG Tests   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 826] Trial run of ethmac (freecores) layout.   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 850] New: NGI POINTER Milestone 3   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 814] NGI POINTER Milestone 2   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 850] NGI POINTER Milestone 3   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 142] Vector Ops needed (DOT, Cross, Dist, normalise, CORDIC, S/LERP etc)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 139] Swizzle needs to be high priority capability in ISA   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 255] formal standard documentation of 3D Opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 53] design and software simulation of some of the 3D custom instructions needed for the GPU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 850] NGI POINTER Milestone 3   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 778] strategy for connecting eth_mac suitable for ASIC deployment   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 826] Trial run of ethmac (freecores) layout.   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 850] NGI POINTER Milestone 3   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 826] Trial run of ethmac (freecores) layout.   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 826] Trial run of ethmac (freecores) layout.   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 850] NGI POINTER Milestone 3   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 762] Peripheral Pin Muxing Development   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 550] binutils support needed for svp64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 550] binutils support needed for svp64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 577] gcc compiler, binutils and assembly macros for OpenPOWER-SV   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 834] binutils: support draft fsins/fcoss/ternlogi instructions   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 577] gcc compiler, binutils and assembly macros for OpenPOWER-SV   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 833] svp64: generate code for integrating SVP64 concepts into binutils   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 833] svp64: generate code for integrating SVP64 concepts into binutils   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 660] "First developer steps" documentation page   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 656] add v3.0B BCD instructions to simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 657] unit tests needed for BCD instructions   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 712] introduce XLEN-friendly helper class which aggregates all helpers   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 723] implement standalone extsb/extsh/extsw tests   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 671] convert spec pseudocode to use XLEN width   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 671] convert spec pseudocode to use XLEN width   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 671] convert spec pseudocode to use XLEN width   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 775] Project Management   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 775] Project Management   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 755] add grev instruction (OP_GREV)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 852] New: implement grevlut*   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 755] add grev instruction (OP_GREV)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 852] implement grevlut*   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 852] implement grevlut*   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 852] implement grevlut*   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 755] add grev instruction (OP_GREV)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 840] Formal proofs and unit tests for cryptoprimitives   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 853] New: Name server config for lists.libre-riscv.org. is bad   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 854] New: https://bugs.libre-riscv.org/ does not have a SSL certificate   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 853] Name server config for lists.libre-riscv.org. is bad   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 854] https://bugs.libre-riscv.org/ does not have a SSL certificate   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 854] https://bugs.libre-riscv.org/ does not have a SSL certificate   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 854] https://bugs.libre-riscv.org/ does not have a SSL certificate   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] New: add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 739] NGI POINTER Gigabit Router Pinout Considerations   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 628] restore mistaken removal of OpenPOWER from wiki   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 628] restore mistaken removal of OpenPOWER from wiki   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 795] No console output from ls2 builds   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 853] Name server config for lists.libre-riscv.org. is bad   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 856] New: ECP5 PLL lock issue to keep an eye on   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 805] gram randomly comes up in an unworkable condition   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 856] ECP5 PLL lock issue to keep an eye on   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 853] Name server config for lists.libre-riscv.org. is bad   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 833] svp64: generate code for integrating SVP64 concepts into binutils   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 857] New: binutils: provide tests for setvl/svstep/svshape/svremap   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 577] gcc compiler, binutils and assembly macros for OpenPOWER-SV   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 762] Peripheral Pin Muxing Development   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 764] Documentation of I/O Core/Pad JTAG Tests   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 853] Name server config for lists.libre-riscv.org. is bad   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] New: SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 243] Documentation budget for OpenPower Member discussion and proposals   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 707] PartitionedSignal limited Cat function needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 709] PartitionedSignal eq needs to be more sophisticated   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 604] ISACaller simulator needs RADIX MMU support   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 653] investigate FFT, DCT, etc for REMAP in SVP64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 712] introduce XLEN-friendly helper class which aggregates all helpers   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 730] adapt ALU test cases to include expected results   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 654] dev-env-setup script for symbiflow (arty A7-100T)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 200] IEEE754 FPU Coriolis2 layout   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 485] Create I-Cache from microwatt icache.vhdl   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 491] MMU Function Unit needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 762] Peripheral Pin Muxing Development   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 790] dev-env-setup script for nextpnr-xilinx   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 802] Document steps for ls2 microwatt hello world for fpga boards   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 340] formal proof of POWER9 SHIFTROT pipeline needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 834] binutils: support draft fsins/fcoss/ternlogi instructions   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 844] binutils: implement the first revision with magic instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 845] binutils: drop svmagic and deal with the prefix instead   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 174] NLNet 2019 Formal Standards OpenPOWER proposal 2019-10-046   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 237] Variable encoding Standards writeup needed, 16/32/48/64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 237] Variable encoding Standards writeup needed, 16/32/48/64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 703] Initial SVP64 Power ISA Decoder   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 588] add SVP64 to PowerDecoder2   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 419] MUL pipeline formal proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 466] comprehensive evaluation and planning for 3D MESA driver   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 251] Initial 3D MESA non-accelerated software-only driver is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 251] Initial 3D MESA non-accelerated software-only driver is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 255] formal standard documentation of 3D Opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 139] Swizzle needs to be high priority capability in ISA   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 142] Vector Ops needed (DOT, Cross, Dist, normalise, CORDIC, S/LERP etc)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 255] formal standard documentation of 3D Opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 142] Vector Ops needed (DOT, Cross, Dist, normalise, CORDIC, S/LERP etc)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 142] Vector Ops needed (DOT, Cross, Dist, normalise, CORDIC, S/LERP etc)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 251] Initial 3D MESA non-accelerated software-only driver is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 139] Swizzle needs to be high priority capability in ISA   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 466] comprehensive evaluation and planning for 3D MESA driver   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 132] SIMD-like nmigen signal for partitioning   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 565] Improve formal verification on PartitionedSignal   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 583] Implement simple VL for-loop in nMigen for TestIssuer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 22] FPGA proof-of-concept test needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 22] FPGA proof-of-concept test needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 583] Implement simple VL for-loop in nMigen for TestIssuer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 451] Add PowerPC64 to Rust's new inline assembly implementation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 81] implement 6600-style "precise" out-of-order scoreboard   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 72] verilog to nmigen converter (full or partial) needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 132] SIMD-like nmigen signal for partitioning   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 62] nmigen-based general-purpose util / data handling / io-control library needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 632] Create Vector Math library shared with Rust's project portable SIMD (`std::simd`)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 54] Kazan Vulkan driver operational   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 53] design and software simulation of some of the 3D custom instructions needed for the GPU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 54] Kazan Vulkan driver operational   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 48] Complete IEEE754 floating point pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 50] nmigen pinmux   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 64] data handling / io control / data routing API needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 62] nmigen-based general-purpose util / data handling / io-control library needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 77] IEEE754 FP "mul" needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 77] IEEE754 FP "mul" needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 49] basic processor core (I/O and boot processor)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 191] NLNet 2019 Core Proposal 2019-02-012   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 77] IEEE754 FP "mul" needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 48] Complete IEEE754 floating point pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 61] Evaluate and research Formal Mathematical Proofs   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 70] evaluate Bus Architectures   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 87] investigate scoreboard global write pending change   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 88] investigate multi-issue (superscalar)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 92] Implement in order instruction retire refcounting   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 338] CompUnitALU needs go_die to be wired to ALU shadow mask   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 81] implement 6600-style "precise" out-of-order scoreboard   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 857] binutils: provide tests for setvl/svstep/svshape/svremap   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 857] binutils: provide tests for setvl/svstep/svshape/svremap   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 857] binutils: provide tests for setvl/svstep/svshape/svremap   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 577] gcc compiler, binutils and assembly macros for OpenPOWER-SV   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 469] Create D-cache from microwatt dcache.vhdl   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 485] Create I-Cache from microwatt icache.vhdl   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 491] MMU Function Unit needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 52] software simulator compliant with the latest SimpleV Vectorisation Standard (SVP64)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 167] a partitioned mux is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 132] SIMD-like nmigen signal for partitioning   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 167] a partitioned mux is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 709] PartitionedSignal eq needs to be more sophisticated   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 132] SIMD-like nmigen signal for partitioning   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 132] SIMD-like nmigen signal for partitioning   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 707] PartitionedSignal limited Cat function needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 176] partitioned dynamic bool/all/any/xor operators   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 716] PartitionedSignal Slice and Part needed for __getitem__   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 734] add Partitioned SimdSignal support for elwidth-based layouts (currently ElwidPartType)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 720] PartitionedSignal cast needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 719] PartitionedSignal signed and unsigned   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 718] PartitionedSignal __r*__ functions need review   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 469] Create D-cache from microwatt dcache.vhdl   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 132] SIMD-like nmigen signal for partitioning   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 62] nmigen-based general-purpose util / data handling / io-control library needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 541] implement nmigen HDL IEEE754 and Khronos FP transcendentals needed for 3D (CORDIC ones)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 53] design and software simulation of some of the 3D custom instructions needed for the GPU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 450] Create MMU from microwatt mmu.vhdl   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 846] Pinmux Pinspec Interconnect Auto-Generation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 251] Initial 3D MESA non-accelerated software-only driver is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 469] Create D-cache from microwatt dcache.vhdl   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 17] IOMMU needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 191] NLNet 2019 Core Proposal 2019-02-012   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 22] FPGA proof-of-concept test needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 306] Formal Correctness Proof for ALU pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 463] python based cycle accurate POWER9 simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 777] Add / documentation / relicense Tercel QSPI XIP core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 859] New: Implement SPR_KAIVB   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 859] Implement SPR_KAIVB   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 859] Implement SPR_KAIVB   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 859] Implement SPR_KAIVB   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 857] binutils: provide tests for setvl/svstep/svshape/svremap   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 628] restore mistaken removal of OpenPOWER from wiki   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 859] Implement SPR_KAIVB   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 857] binutils: provide tests for setvl/svstep/svshape/svremap   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 859] Implement SPR_KAIVB   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 860] New: PowerEL ppc64sffs   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 850] NGI POINTER Milestone 3   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 860] PowerEL ppc64sffs   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 860] PowerEL ppc64sffs   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 860] PowerEL ppc64sffs   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 860] PowerEL ppc64sffs   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 860] PowerEL ppc64sffs   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 861] New: PowerEL ppc64sffs building hardware   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 850] NGI POINTER Milestone 3   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 861] PowerEL ppc64sffs building hardware   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 857] binutils: provide tests for setvl/svstep/svshape/svremap   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 777] Add / documentation / relicense Tercel QSPI XIP core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 587] create setvl pseudocode, v3.0B fields, SVL-Form, and csv file   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 857] binutils: provide tests for setvl/svstep/svshape/svremap   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 583] Implement simple VL for-loop in nMigen for TestIssuer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 565] Improve formal verification on PartitionedSignal   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 588] add SVP64 to PowerDecoder2   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 196] Formal correctness proof needed for the IEEE754 FPU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 196] Formal correctness proof needed for the IEEE754 FPU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 101] IEEE754 pipeline "go_die" (Computation Unit Cancellation) needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 451] Add PowerPC64 to Rust's new inline assembly implementation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 120] implement RISC-V FSGNJ instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 129] FP comparisons needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 130] FMIN/MAX needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 120] implement RISC-V FSGNJ instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 491] MMU Function Unit needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 51] Virtual Memory Management system   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 491] MMU Function Unit needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 51] Virtual Memory Management system   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 203] potential improvements to coriolis2 for LibreSOC Layout   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 230] Video opcode development and discussion   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 863] New: AV opcode implementation, add to Decoder, CSV files   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 863] AV opcode implementation, add to Decoder, CSV files   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 234] Hardware implementation of video opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 234] Hardware implementation of video opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 863] AV opcode implementation, add to Decoder, CSV files   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 863] AV opcode implementation, add to Decoder, CSV files   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 863] AV opcode implementation, add to Decoder, CSV files   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 863] AV opcode implementation, add to Decoder, CSV files   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 863] AV opcode implementation, add to Decoder, CSV files   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 863] AV opcode implementation, add to Decoder, CSV files   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 863] AV opcode implementation, add to Decoder, CSV files   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 102] IEEE754 pipeline "early out" needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 102] IEEE754 pipeline "early out" needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 106] pipeline early-in, early-out on concurrent function units   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 114] reservation station "feedback" for further processing (FP64)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 140] Implement MESA 3D Vulkan Driver NLNet 2019-10-042   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 857] binutils: provide tests for setvl/svstep/svshape/svremap   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 74] preliminary exploratory software emulation of FP SQRT   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 762] Peripheral Pin Muxing Development   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 50] nmigen pinmux   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 857] binutils: provide tests for setvl/svstep/svshape/svremap   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 848] FPGAs and equipment bought using FPGA-fund   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 237] Variable encoding Standards writeup needed, 16/32/48/64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 139] Swizzle needs to be high priority capability in ISA   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 466] comprehensive evaluation and planning for 3D MESA driver   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 848] FPGAs and equipment bought using FPGA-fund   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 848] FPGAs and equipment bought using FPGA-fund   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 774] Equipment needed, such as FPGA boards and Ethernet PMODs   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 863] AV opcode implementation, add to Decoder, CSV files   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 864] New: implement parallel prefix reduction in simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 864] implement parallel prefix reduction in simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 233] Audio and Video unit tests needed to be run in simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 864] implement parallel prefix reduction in simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 857] binutils: provide tests for setvl/svstep/svshape/svremap   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 864] implement parallel prefix reduction in simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 864] implement parallel prefix reduction in simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 550] binutils support needed for svp64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 578] python-based svp64 "generator" class   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 857] binutils: provide tests for setvl/svstep/svshape/svremap   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 857] binutils: provide tests for setvl/svstep/svshape/svremap   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] New: implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 234] Hardware implementation of video opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 234] Hardware implementation of video opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 866] New: Pywriter Bug with Dropped Brackets when Converting Pseudo-Code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 866] Pywriter Bug with Dropped Brackets when Converting Pseudo-Code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 866] Pywriter Bug with Dropped Brackets when Converting Pseudo-Code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 866] Pywriter Bug with Dropped Brackets when Converting Pseudo-Code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 579] c/c++ macros for inline assembly supporting svp64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 861] PowerEL ppc64sffs building hardware   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 577] gcc compiler, binutils and assembly macros for OpenPOWER-SV   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 550] binutils support needed for svp64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 577] gcc compiler, binutils and assembly macros for OpenPOWER-SV   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 867] New: add svindex instruction to binutils   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 867] add svindex instruction to binutils   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 867] add svindex instruction to binutils   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 867] add svindex instruction to binutils   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 867] add svindex instruction to binutils (and openpower-isa infrastructure)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 550] binutils support needed for svp64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 577] gcc compiler, binutils and assembly macros for OpenPOWER-SV   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 867] add svindex instruction to binutils (and openpower-isa infrastructure)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 867] add svindex instruction to binutils (and openpower-isa infrastructure)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 867] add svindex instruction to binutils (and openpower-isa infrastructure)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 867] add svindex instruction to binutils (and openpower-isa infrastructure)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 868] New: Formal verification of fadd/fsub   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 869] New: Formal verification of fadd for just round-nearest-ties-to-even without exception flags/traps   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 869] Formal verification of fadd for just round-nearest-ties-to-even without exception flags/traps   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 868] Formal verification of fadd/fsub   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 196] Formal correctness proof needed for the IEEE754 FPU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 596] formal correctness proof for nmigen integration of Dynamic Partitioned Signal   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 238] POWER Compressed Formal Standard writeup   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 240] POWER-RISCV ISA switch formal standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 239] FP16 (and FP128) POWER Formal Standard proposal   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 214] ISAMUX/NS Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 240] POWER-RISCV ISA switch formal standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 240] POWER-RISCV ISA switch formal standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 647] add FP support to ISACaller simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 241] OpenPOWER SImulation is needed of standards   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 644] MP3: Basic SV impl   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 665] very basic nmigen-to-c compiler needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 241] OpenPOWER SImulation is needed of standards   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 238] POWER Compressed Formal Standard writeup   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 758] pypowersim and how to run bare metal programs/functions is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 306] Formal Correctness Proof for ALU pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 578] python-based svp64 "generator" class   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 857] binutils: provide tests for setvl/svstep/svshape/svremap   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 565] Improve formal verification on PartitionedSignal   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 214] ISAMUX/NS Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 239] FP16 (and FP128) POWER Formal Standard proposal   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 240] POWER-RISCV ISA switch formal standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 463] python based cycle accurate POWER9 simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 588] add SVP64 to PowerDecoder2   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 647] add FP support to ISACaller simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 665] very basic nmigen-to-c compiler needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 565] Improve formal verification on PartitionedSignal   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 276] SR NAND Latch needed in nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 201] create specifications for modifications needed for additional nmigen functionality.   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 138] NLNet 2019 Coriolis2 Layout proposal 2019-10-029   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 201] create specifications for modifications needed for additional nmigen functionality.   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 238] POWER Compressed Formal Standard writeup   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 863] AV opcode implementation, add to Decoder, CSV files   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 863] AV opcode implementation, add to Decoder, CSV files   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 132] SIMD-like nmigen signal for partitioning   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 458] PartitionedSignal needs nmigen constructs "m.If", Switch etc   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 362] improvements to nmigen and yosys   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 732] non-essential optimisation of Partitioned SimdSignal to reduce gate count   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 594] create nmigen RFC for Dynamic Partitioned signals support   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 484] Write VHDL to expose CR and XER from Microwatt so single-stepping is possible   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 717] Document Power ISA test API   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 733] document SimdSignal.__Slice__ as part of Partitioned SIMD RFC   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 716] PartitionedSignal Slice and Part needed for __getitem__   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 731] potential design oversight in Partitioned SimdSignal Cat/Assign/etc lhs/rhs   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 458] PartitionedSignal needs nmigen constructs "m.If", Switch etc   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 484] Write VHDL to expose CR and XER from Microwatt so single-stepping is possible   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 594] create nmigen RFC for Dynamic Partitioned signals support   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 717] Document Power ISA test API   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 733] document SimdSignal.__Slice__ as part of Partitioned SIMD RFC   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 864] implement parallel prefix reduction in simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 868] Formal verification of fadd/fsub   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 868] Formal verification of fadd/fsub   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 868] Formal verification of fadd/fsub   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 577] gcc compiler, binutils and assembly macros for OpenPOWER-SV   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 864] implement parallel prefix reduction in simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 550] binutils support needed for svp64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 838] sync or at least statically check fields.text, power_decoder, trans/svp64, CSVs between each other   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 864] implement parallel prefix reduction in simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 868] Formal verification of fadd/fsub   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 864] implement parallel prefix reduction in simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 864] implement parallel prefix reduction in simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 868] Formal verification of fadd/fsub   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 868] Formal verification of fadd/fsub   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 196] Formal correctness proof needed for the IEEE754 FPU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 868] Formal verification of fadd/fsub   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 869] Formal verification of fadd for just round-nearest-ties-to-even without exception flags/traps   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 864] implement parallel prefix reduction in simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 859] Implement SPR_KAIVB   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 859] Implement SPR_KAIVB   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 860] PowerEL ppc64sffs   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 861] PowerEL ppc64sffs building hardware   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 739] NGI POINTER Gigabit Router Pinout Considerations   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 861] PowerEL ppc64sffs building hardware   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 850] NGI POINTER Milestone 3   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 860] PowerEL ppc64sffs   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 860] PowerEL ppc64sffs   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 860] PowerEL ppc64sffs   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 550] binutils support needed for svp64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 577] gcc compiler, binutils and assembly macros for OpenPOWER-SV   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 850] NGI POINTER Milestone 3   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 850] NGI POINTER Milestone 3   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 690] NGI POINTER Gigabit Router ASIC, top level milestone   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 801] ls2/gram DDR3 controller not working on hardware   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 870] New: FPGA equipment for NGI POINTER (2)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 870] FPGA equipment for NGI POINTER (2)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 850] NGI POINTER Milestone 3   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 690] NGI POINTER Gigabit Router ASIC, top level milestone   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 857] binutils: provide tests for setvl/svstep/svshape/svremap   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 867] add svindex instruction to binutils (and openpower-isa infrastructure)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 867] add svindex instruction to binutils (and openpower-isa infrastructure)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 243] Documentation budget for OpenPower Member discussion and proposals   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 550] binutils support needed for svp64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 577] gcc compiler, binutils and assembly macros for OpenPOWER-SV   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 241] OpenPOWER SImulation is needed of standards   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 872] New: binutil needs support for new RM-2P-1S1D-PU form   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 872] binutil needs support for new RM-2P-1S1D-PU form   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 872] binutil needs support for new RM-2P-1S1D-PU form   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 243] Documentation budget for OpenPower Member discussion and proposals   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 868] Formal verification of fadd/fsub   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 869] Formal verification of fadd for just round-nearest-ties-to-even without exception flags/traps   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 869] Formal verification of fadd for just round-nearest-ties-to-even without exception flags/traps   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 869] Formal verification of fadd for just round-nearest-ties-to-even without exception flags/traps   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 178] first coriolis2 tutorial, workflow and "test project" page   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 204] Transition from symbolic to real Cell Library for 180nm layout   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 502] determine SRAM block size and implement it   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 490] Complete peripheral set including litex for first functional OpenPOWER Core (ls180)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 506] 8x VDD VSS pins needed in ioring   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 508] decide package size and pin allocation for 180nm ASIC   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 620] post-layout simulation needed using cocotb   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 490] Complete peripheral set including litex for first functional OpenPOWER Core (ls180)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 203] potential improvements to coriolis2 for LibreSOC Layout   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 502] determine SRAM block size and implement it   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 200] IEEE754 FPU Coriolis2 layout   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 506] 8x VDD VSS pins needed in ioring   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 178] first coriolis2 tutorial, workflow and "test project" page   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 507] ls180 asic needs an ioring, pads need defining and connecting   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 521] small example using JTAG for testing coriolis2 new multi clock plugin   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 550] binutils support needed for svp64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 739] NGI POINTER Gigabit Router Pinout Considerations   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 739] NGI POINTER Gigabit Router Pinout Considerations   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 739] NGI POINTER Gigabit Router Pinout Considerations   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 758] pypowersim and how to run bare metal programs/functions is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 758] pypowersim and how to run bare metal programs/functions is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 758] pypowersim and how to run bare metal programs/functions is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 758] pypowersim and how to run bare metal programs/functions is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 739] NGI POINTER Gigabit Router Pinout Considerations   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 758] pypowersim and how to run bare metal programs/functions is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 758] pypowersim and how to run bare metal programs/functions is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 758] pypowersim and how to run bare metal programs/functions is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 758] pypowersim and how to run bare metal programs/functions is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 873] New: missing libre-riscv-dev mailing list archive   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 874] New: Implementation and Formal verification of fadd for all rounding modes but without exception flags/traps   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 873] missing libre-riscv-dev mailing list archive   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 873] missing libre-riscv-dev mailing list archive   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 243] Documentation budget for OpenPower Member discussion and proposals   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 853] Name server config for lists.libre-riscv.org. is bad   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 853] Name server config for lists.libre-riscv.org. is bad   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 875] New: SVP64 Spec Document Generation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 243] Documentation budget for OpenPower Member discussion and proposals   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 875] SVP64 Spec Document Generation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 875] SVP64 Spec Document Generation   bugzilla-daemon at libre-soc.org

Last message date: Thu Jun 30 17:13:53 BST 2022
Archived on: Thu Jun 30 17:13:55 BST 2022

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...