July 2020 Archives by date

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

Starting: Wed Jul 1 02:04:21 BST 2020
Ending: Fri Jul 31 19:46:22 BST 2020
Messages: 612

[Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG 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 70] evaluate Bus Architectures bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 70] evaluate Bus Architectures 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 409] New: deal with illegal instruction in simulator and hardware 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 410] New: Design Bus Protocol suitable for speculative execution bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 410] Design Bus Protocol suitable for speculative execution bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 411] New: set up sphinx for all repos and upload to website bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 412] New: set up litex for peripherals and linking to core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] New: DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 414] New: debug port needed (JTAG, other frontend) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 415] New: miscellaneous POWER9 instructions needed: OP_NOP, ATTN, ILLEGAL and unit tests bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 416] New: dec and tb POWER9 SPRs needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 416] dec and tb POWER9 SPRs needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] New: FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 323] create POWER9 MUL pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 418] New: SPR pipeline formal correctness proof needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 419] New: MUL pipeline formal proof needed 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 420] New: DIV pipeline formal correctness proof needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 420] DIV pipeline formal correctness proof needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 315] SPR Pipeline needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 348] POWER9 SPR pipeline needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 383] Complete first functional POWER9 Core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 421] New: TRAP pipeline formal correctness proof needed 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 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 415] miscellaneous POWER9 instructions needed: OP_NOP, ATTN, ILLEGAL and unit tests bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 415] miscellaneous POWER9 instructions needed: OP_NOP, ATTN, ILLEGAL and unit tests bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 422] New: Migrate away from nmigen Record bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 66] a nmigen "Object" is needed that acts like a multiply-inheritable python class 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 422] Migrate away from nmigen Record bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 422] Migrate away from nmigen Record bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 422] Migrate away from nmigen Record bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 422] Migrate away from nmigen Record bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 422] Migrate away from nmigen Record bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 422] Migrate away from nmigen Record bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 422] Migrate away from nmigen Record bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 195] Formal correctness framework is needed for Power ISA bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 323] create POWER9 MUL pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 422] Migrate away from nmigen Record bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 423] New: st*cx. needs to be able to update CR0 bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 424] New: need to respect 32/64 bit mode bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 425] New: DIV overflow not being calculated correctly bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] test Alain D D Williams
[Libre-soc-bugs] test - II Alain D D Williams
[Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 323] create POWER9 MUL pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 426] New: LDST sign-extension support needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 427] New: LDST cache-inhibit instructions needed (l*cix, st*cix) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 11] Wishbone Interface / Bridge bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 11] Wishbone Interface / Bridge bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 349] privileged-instruction decoding function needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 404] adding nmigen-soc as a dependency needs documentation updated bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 404] adding nmigen-soc as a dependency needs documentation updated bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 359] cut down on wires between decode and function units bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 339] create POWER9 ROTATE (SHIFTROT) pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 305] Create Pipelined ALU similar to alu_hier.py bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 195] Formal correctness framework is needed for Power ISA bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 305] Create Pipelined ALU similar to alu_hier.py 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 313] Create Branch Pipeline for POWER9 bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 383] Complete first functional POWER9 Core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 314] Create POWER9 Condition Register pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 383] Complete first functional POWER9 Core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 195] Formal correctness framework is needed for Power ISA bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 314] Create POWER9 Condition Register pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 332] Formal correctness proof needed for CR pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 311] countzero function for Logic Pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 312] Formal Correctness Proof for CountZero needed (basically PriorityEncoder) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 313] Create Branch Pipeline for POWER9 bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 335] Formal Correctness Proof for Branch pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 331] Formal Correctness Proof for LOGICAL pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 195] Formal correctness framework is needed for Power ISA bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 330] create POWER9 Logic Pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 330] create POWER9 Logic Pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 383] Complete first functional POWER9 Core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 345] define POWER9 regfiles bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 305] Create Pipelined ALU similar to alu_hier.py bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 341] unit tests needed for soc.fu.compunits (shared with soc.fu.*/test_pipe_caller.py) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 383] Complete first functional POWER9 Core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 393] Hook up augmented-Wishbone Memory Bus to LDSTCompUnit (via PortInterface) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 11] Wishbone Interface / Bridge bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 346] simplified test link between compunits and regfile bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 383] Complete first functional POWER9 Core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 339] create POWER9 ROTATE (SHIFTROT) pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 344] missing mtmsr and mfsprd bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 404] adding nmigen-soc as a dependency needs documentation updated bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 404] adding nmigen-soc as a dependency needs documentation updated 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 349] privileged-instruction decoding function needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 344] missing mtmsr and mfsprd bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 348] POWER9 SPR pipeline needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 383] Complete first functional POWER9 Core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 349] privileged-instruction decoding function needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 349] privileged-instruction decoding function needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 428] New: create separate MSR regfile bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 383] Complete first functional POWER9 Core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 409] deal with illegal instruction in simulator and hardware bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 429] New: pipeline main_stage formal verification does not check ctx fields fully bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 195] Formal correctness framework is needed for Power ISA 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 305] Create Pipelined ALU similar to alu_hier.py 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 430] New: default practice is to use "python setup.py develop" bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 430] default practice is to use "python setup.py develop" bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 429] pipeline main_stage formal verification does not check ctx fields fully bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 429] pipeline main_stage formal verification does not check ctx fields fully bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 430] default practice is to use "python setup.py develop" bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 430] default practice is to use "python setup.py develop" bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 429] pipeline main_stage formal verification does not check ctx fields fully bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 429] pipeline main_stage formal verification does not check ctx fields fully bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 429] pipeline main_stage formal verification does not check ctx fields fully bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 431] New: need to move FPPipeContext into nmutil bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 429] pipeline main_stage formal verification does not check ctx fields fully bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 431] need to move FPPipeContext into nmutil bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 431] need to move FPPipeContext into nmutil bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 431] need to move FPPipeContext into nmutil bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 432] New: mulld pseudocode overflow calculation incorrect bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 349] privileged-instruction decoding function needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect 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 432] mulld pseudocode overflow calculation incorrect bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] New: building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 349] privileged-instruction decoding function needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 195] Formal correctness framework is needed for Power ISA bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 315] SPR Pipeline needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 348] POWER9 SPR pipeline needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 429] pipeline main_stage formal verification does not check ctx fields fully bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 429] pipeline main_stage formal verification does not check ctx fields fully bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed 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 421] TRAP pipeline formal correctness proof needed 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 421] TRAP pipeline formal correctness proof needed 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 421] TRAP pipeline formal correctness proof needed 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 421] TRAP pipeline formal correctness proof needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) 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 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 434] New: remove mask_wid from TestMemPspec bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core 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 421] TRAP pipeline formal correctness proof needed 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 421] TRAP pipeline formal correctness proof needed 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 421] TRAP pipeline formal correctness proof needed 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 421] TRAP pipeline formal correctness proof needed 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 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) 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 421] TRAP pipeline formal correctness proof needed 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 421] TRAP pipeline formal correctness proof needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm 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 435] New: PC and MSR need to be in the "state" (Decode2Execute1Type) 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 348] POWER9 SPR pipeline needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 355] game theory "state" packet engine needed 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 435] PC and MSR need to be in the "state" (Decode2Execute1Type) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 410] Design Bus Protocol suitable for speculative execution bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 410] Design Bus Protocol suitable for speculative execution bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 383] Complete first functional POWER9 Core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 384] Documentation for the Libre-SOC POWER9 Core and internal architecture bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 244] Wishbone B4 Streaming Specification enhancement. bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 245] Wisbone B4 Streaming Reference Implementations with unit tests bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 383] Complete first functional POWER9 Core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 435] PC and MSR need to be in the "state" (Decode2Execute1Type) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 313] Create Branch Pipeline for POWER9 bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 435] PC and MSR need to be in the "state" (Decode2Execute1Type) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 335] Formal Correctness Proof for Branch pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 313] Create Branch Pipeline for POWER9 bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 313] Create Branch Pipeline for POWER9 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 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 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 335] Formal Correctness Proof for Branch 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 421] TRAP pipeline formal correctness proof needed 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 199] Layout using coriolis2 main core, 180nm 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 199] Layout using coriolis2 main core, 180nm 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 325] create POWER9 TRAP 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 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm 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 356] fu POWER9 pipeline unit tests need to test RA=0 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 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core 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 325] create POWER9 TRAP pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm 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 199] Layout using coriolis2 main core, 180nm 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 325] create POWER9 TRAP 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 325] create POWER9 TRAP 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 325] create POWER9 TRAP 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 325] create POWER9 TRAP 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 412] set up litex for peripherals and linking to core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 436] New: isa simulator appears to calculate wrong result for test_divwuo_regression_1 bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 436] isa simulator appears to calculate wrong result for test_divwuo_regression_1 bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm 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 437] New: div test cases coordinated across different software/hdl 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 437] div test cases coordinated across different software/hdl 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 438] New: add caching/memoization to soc.simulator.program.Program bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 439] New: generated op_divde appears to be incorrect 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 325] create POWER9 TRAP 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 325] create POWER9 TRAP 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 325] create POWER9 TRAP 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 325] create POWER9 TRAP 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 325] create POWER9 TRAP pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 438] add caching/memoization to soc.simulator.program.Program bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 439] generated op_divde appears to be incorrect bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 439] generated op_divde appears to be incorrect bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 439] generated op_divde appears to be incorrect bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 438] add caching/memoization to soc.simulator.program.Program bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 438] add caching/memoization to soc.simulator.program.Program bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 438] add caching/memoization to soc.simulator.program.Program bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 438] add caching/memoization to soc.simulator.program.Program 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 436] isa simulator appears to calculate wrong result for test_divwuo_regression_1 bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 436] isa simulator appears to calculate wrong result for test_divwuo_regression_1 bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit) 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 325] create POWER9 TRAP pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV 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 325] create POWER9 TRAP 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 417] FSM-based ALU example needed (compliant with ALU CompUnit) bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 439] generated op_divde appears to be incorrect 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 325] create POWER9 TRAP 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 325] create POWER9 TRAP pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 438] add caching/memoization to soc.simulator.program.Program bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 438] add caching/memoization to soc.simulator.program.Program bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 438] add caching/memoization to soc.simulator.program.Program bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 438] add caching/memoization to soc.simulator.program.Program bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented 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 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 325] create POWER9 TRAP 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 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 440] New: Changes committed to submodule need to be pushed to submodule's upstream repo 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 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 324] create POWER DIV pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 323] create POWER9 MUL pipeline bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 441] New: Avoid unit tests that depend on other unit tests being run first bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 441] Avoid unit tests that depend on other unit tests being run first bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 441] Avoid unit tests that depend on other unit tests being run first bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 441] Avoid unit tests that depend on other unit tests being run first bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 441] Avoid unit tests that depend on other unit tests being run first bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 441] Avoid unit tests that depend on other unit tests being run first bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 441] Avoid unit tests that depend on other unit tests being run first bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed 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 421] TRAP pipeline formal correctness proof needed 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 340] formal proof of POWER9 SHIFTROT pipeline needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm 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 70] evaluate Bus Architectures bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 397] design and discuss user-tag flags in wishbone to provide phase 1 / 2 "speculative" memory accesses bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 410] Design Bus Protocol suitable for speculative execution bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 389] Review all diagrams on wiki for translation into SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 442] New: Convert comp_unit_req_rel diagram to SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 442] Convert comp_unit_req_rel diagram to SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 442] Convert comp_unit_req_rel diagram to SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 442] Convert comp_unit_req_rel diagram to SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 442] Convert comp_unit_req_rel diagram to SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 442] Convert comp_unit_req_rel diagram to SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 404] adding nmigen-soc as a dependency needs documentation updated bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 430] default practice is to use "python setup.py develop" bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 440] Changes committed to submodule need to be pushed to submodule's upstream repo bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 440] Changes committed to submodule need to be pushed to submodule's upstream repo bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 440] Changes committed to submodule need to be pushed to submodule's upstream repo bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 440] Changes committed to submodule need to be pushed to submodule's upstream repo bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 439] generated op_divde appears to be incorrect bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 439] generated op_divde appears to be incorrect bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 440] Changes committed to submodule need to be pushed to submodule's upstream repo bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 440] Changes committed to submodule need to be pushed to submodule's upstream repo bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 440] Changes committed to submodule need to be pushed to submodule's upstream repo bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 440] Changes committed to submodule need to be pushed to submodule's upstream repo bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 440] Changes committed to submodule need to be pushed to submodule's upstream repo bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 440] Changes committed to submodule need to be pushed to submodule's upstream repo bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 291] HDL Workflow and Coriolis2 chroot automated setup scripts bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 316] bperm TODO bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 70] evaluate Bus Architectures bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 70] evaluate Bus Architectures bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 316] bperm TODO 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 340] formal proof of POWER9 SHIFTROT pipeline needed 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 441] Avoid unit tests that depend on other unit tests being run first bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 441] Avoid unit tests that depend on other unit tests being run first bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 441] Avoid unit tests that depend on other unit tests being run first 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 364] CXXRTL Python Interface bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 441] Avoid unit tests that depend on other unit tests being run first bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 441] Avoid unit tests that depend on other unit tests being run first bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 345] define POWER9 regfiles bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 383] Complete first functional POWER9 Core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 346] simplified test link between compunits and regfile bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 316] bperm TODO bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 443] New: Bperm optimization bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 383] Complete first functional POWER9 Core bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 443] Bperm optimization bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 366] Create new buzilla product "Systemes Libres Organization" bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 366] Create new buzilla product "Systemes Libres Organization" bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 367] Setup weekly 30 min organizational video call like OPF Virtual Coffee Calls bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 375] Finding new project members who can help with complex detailed work such as LDSTCompUnit bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 285] bugzilla to be made available "offline" bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 375] Finding new project members who can help with complex detailed work such as LDSTCompUnit bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 378] Additional project management infrastructure bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 70] evaluate Bus Architectures bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 375] Finding new project members who can help with complex detailed work such as LDSTCompUnit bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 375] Finding new project members who can help with complex detailed work such as LDSTCompUnit bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 375] Finding new project members who can help with complex detailed work such as LDSTCompUnit bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 375] Finding new project members who can help with complex detailed work such as LDSTCompUnit bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 375] Finding new project members who can help with complex detailed work such as LDSTCompUnit bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 394] Reach out to developers of 'BlackParrot' RV64GC Multicore SoC bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 444] New: Convert compunit_multi_rw diagram to SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 444] Convert compunit_multi_rw diagram to SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 444] Convert compunit_multi_rw diagram to SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 444] Convert compunit_multi_rw diagram to SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 444] Convert compunit_multi_rw diagram to SVG bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed 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 340] formal proof of POWER9 SHIFTROT pipeline needed 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 340] formal proof of POWER9 SHIFTROT pipeline needed bugzilla-daemon at libre-soc.org
[Libre-soc-bugs] [Bug 340] formal proof of POWER9 SHIFTROT pipeline needed bugzilla-daemon at libre-soc.org

Last message date: Fri Jul 31 19:46:22 BST 2020
Archived on: Fri Jul 31 19:46:24 BST 2020

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

This archive was generated by Pipermail 0.09 (Mailman edition).