May 2022 Archives by date

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

Starting: Mon May 2 10:14:07 BST 2022
Ending: Tue May 31 10:48:18 BST 2022
Messages: 251

• [Libre-soc-bugs] [Bug 784] Implement cl* instructions for carry-less operations   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 134] implement carry-less multiply   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 784] Implement cl* instructions for carry-less operations   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 539] After tapeout, continue discussion of budget for staf to port PDKMaster + FlexLib + FlexMem to Sky130   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 827] New: 2RW SRAM cell design; 1RW SRAM cell improvement   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 827] 2RW SRAM cell design; 1RW SRAM cell improvement   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 827] 2RW SRAM cell design; 1RW SRAM cell improvement   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 828] New: 2RW and 1RW SRAM compiler development   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 828] 2RW and 1RW SRAM compiler development   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 829] New: Post-layout verification of ASIC SRAM blocks   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 829] Post-layout verification of ASIC SRAM blocks   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 830] New: TSMC 0.18um setup   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 830] TSMC 0.18um setup   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 828] 2RW and 1RW SRAM compiler development   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 829] Post-layout verification of ASIC SRAM blocks   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 830] TSMC 0.18um setup   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 745] OP_TERNLOG instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 745] OP_TERNLOG instruction   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 745] OP_TERNLOG instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 831] New: Fix pseudo-code parser to correctly ignore html comments   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 831] Fix pseudo-code parser to correctly ignore html comments   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 781] create wrapper register files around 1R-or-1W SRAMs   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 831] Fix pseudo-code parser to correctly ignore html comments   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 781] create wrapper register files around 1R-or-1W SRAMs   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 755] add grev instruction (OP_GREV)   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 784] Implement cl* instructions for carry-less operations   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 784] Implement cl* instructions for carry-less operations   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 798] fix Ripple to use parallel prefix sum rather than a serial gate chain   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 798] fix Ripple to use parallel prefix sum rather than a serial gate chain   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 798] fix Ripple to use parallel prefix sum rather than a serial gate chain   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 784] Implement cl* instructions for carry-less operations   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 784] Implement cl* instructions for carry-less operations   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 818] Simulation of ls2 peripheral fabric with core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 813] FPGA Simulation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 813] FPGA Simulation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 821] Servers for running coriolis2 VLSI layout   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 821] Servers for running coriolis2 VLSI layout   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 816] FPGA equipment for NGI POINTER   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 813] FPGA Simulation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 818] Simulation of ls2 peripheral fabric with core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 821] Servers for running coriolis2 VLSI layout   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 784] Implement cl* instructions for carry-less operations   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 821] Servers for running coriolis2 VLSI layout   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 821] Servers for running coriolis2 VLSI layout   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 784] Implement cl* instructions for carry-less operations   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 821] Servers for running coriolis2 VLSI layout   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 821] Servers for running coriolis2 VLSI layout   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 258] Finish implementing support for Power in simple-soft-float   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 258] Finish implementing support for Power in simple-soft-float   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 258] Finish implementing support for Power in simple-soft-float   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 469] Create D-cache from microwatt dcache.vhdl   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 196] Formal correctness proof needed for the IEEE754 FPU   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 196] Formal correctness proof needed for the IEEE754 FPU   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 196] Formal correctness proof needed for the IEEE754 FPU   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 196] Formal correctness proof needed for the IEEE754 FPU   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 196] Formal correctness proof needed for the IEEE754 FPU   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 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 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 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 550] binutils support needed for svp64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 832] New: repeatedly had disabled membership for mailing list due to bounces   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 832] repeatedly had disabled membership for mailing list due to bounces   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 50] nmigen pinmux   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 750] Convert pinmux gpio, jtag-block bitmap diagrams to svg vector   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 791] dev-env-setup script for dfutil, openFPGALoader, ujprog and fujprog   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 723] implement standalone extsb/extsh/extsw tests   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 656] add v3.0B BCD instructions to simulator   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 712] introduce XLEN-friendly helper class which aggregates all helpers   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 748] NLnet toplevel Milestone 2021-08-049 coriolis2   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 723] implement standalone extsb/extsh/extsw tests   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 656] add v3.0B BCD instructions to simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 384] Documentation for the Libre-SOC Power ISA Core and internal architecture   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 671] convert spec pseudocode to use XLEN width   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 679] not cherry-picking popcntw XLEN or cnttz XLEN   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 684] XLEN-16 fails when XLEN=8   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 832] repeatedly had disabled membership for mailing list due to bounces   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 833] New: svp64: generate code for integrating SVP64 concepts into binutils   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 833] svp64: generate code for integrating SVP64 concepts into binutils   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 196] Formal correctness proof needed for the IEEE754 FPU   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 196] Formal correctness proof needed for the IEEE754 FPU   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 196] Formal correctness proof needed for the IEEE754 FPU   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 196] Formal correctness proof needed for the IEEE754 FPU   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 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 196] Formal correctness proof needed for the IEEE754 FPU   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 555] encode a dotproduct in a single instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 555] encode a dotproduct in a single instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 555] encode a dotproduct in a single instruction   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 196] Formal correctness proof needed for the IEEE754 FPU   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 196] Formal correctness proof needed for the IEEE754 FPU   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 196] Formal correctness proof needed for the IEEE754 FPU   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 196] Formal correctness proof needed for the IEEE754 FPU   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 834] New: binutils: support draft 32-bit instructions   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 834] binutils: support draft 32-bit instructions   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 834] binutils: support draft 32-bit instructions   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 834] binutils: support draft 32-bit 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 469] Create D-cache from microwatt dcache.vhdl   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 834] binutils: support draft 32-bit instructions   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 834] binutils: support draft 32-bit instructions   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 834] binutils: support draft 32-bit instructions   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 834] binutils: support draft 32-bit instructions   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 834] binutils: support draft 32-bit instructions   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 834] binutils: support draft 32-bit instructions   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 755] add grev instruction (OP_GREV)   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 755] add grev instruction (OP_GREV)   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 196] Formal correctness proof needed for the IEEE754 FPU   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 196] Formal correctness proof needed for the IEEE754 FPU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] New: add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 834] binutils: support draft 32-bit instructions   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 834] binutils: support draft 32-bit instructions (all but grev*)   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 834] binutils: support draft fsins/fcoss/ternlogi instructions   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 836] New: binutils: support the rest of bitmanip instructions   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 836] binutils: support the rest of bitmanip instructions   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 833] svp64: generate code for integrating SVP64 concepts into binutils   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 577] gcc compiler, binutils and assembly macros for OpenPOWER-SV   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 837] New: 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 755] add grev instruction (OP_GREV)   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 755] add grev instruction (OP_GREV)   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 837] dlopen/dlsym implementation   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 745] OP_TERNLOG instruction   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 755] add grev instruction (OP_GREV)   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 755] add grev instruction (OP_GREV)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 838] New: 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 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 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 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 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 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 839] New: 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 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 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 755] add grev instruction (OP_GREV)   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 775] Project Management   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 840] New: Formal proofs and unit tests for cryptoprimitives   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 840] Formal proofs and unit tests for cryptoprimitives   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 771] Creation of Cryptographic-Primitive OpenPower ISA Pseudo-code and Associated Unit-Tests   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 771] Creation of Cryptographic-Primitive OpenPower ISA Pseudo-code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 772] Creation of the HDL Code for the cryptoprimitive (bitmanip, bigint) Instructions   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 772] Creation of the HDL Code for the cryptoprimitive (bitmanip, bigint) Instructions   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 776] Documentation of designs, code, processes, and other relevant things as needed   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 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 762] Peripheral Pin Muxing Development   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 772] Creation of the HDL Code for the cryptoprimitive (bitmanip, bigint, etc.) Instructions   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 826] Trial run of ethmac (freecores) layout.   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 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 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 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 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 841] New: Idea for openpower/x86/aarch64/riscv/etc. programmable decoder   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 841] Idea for openpower/x86/aarch64/riscv/etc. programmable decoder   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 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 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 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

Last message date: Tue May 31 10:48:18 BST 2022
Archived on: Tue May 31 10:48:19 BST 2022

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