M

mor1kx

Settings | Report Duplicate

1

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 14 hours ago. based on code collected about 18 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 24, 2023 — Apr 24, 2024 Showing page 1 of 27 Search / Filter on:
Merge pull request #154 from stffrdhrn/update-ci	Stafford Horne	More...				7 months ago
ci: Add nightly CI to check if anything external broke us	Stafford Horne	More...				8 months ago
ci: Use python2 for formal	Stafford Horne	More...				8 months ago
ci: Remove call to obsolete fusesoc init	Stafford Horne	More...				8 months ago
ci: Get working on latest ubuntu	Stafford Horne	More...				8 months ago
Merge pull request #147 from stffrdhrn/or1k-linux-failing	Stafford Horne	More...				almost 2 years ago
ctrl: Update formal to fix on new yosys	Stafford Horne	More...				almost 2 years ago
cpu: Disable induction formal verification	Stafford Horne	More...				almost 2 years ago
lsu: Fix error handling and priority pointed out by formal	Stafford Horne	More...				almost 2 years ago
mor1kx: Add top level gtkw file	Stafford Horne	More...				almost 2 years ago
cpu: Update formal properties to work when testing CPU + LSU	Stafford Horne	More...				almost 2 years ago
lsu: Disable induction formal verification	Stafford Horne	More...				almost 2 years ago
dcache: Fix issue with missing writes during invalidate	Stafford Horne	More...				almost 2 years ago
dcache: Working on dcache bugs pointed out by formal	Stafford Horne	More...				almost 2 years ago
mor1kx: Disable induction formal verification	Stafford Horne	More...				almost 2 years ago
lsu: Wait for registration to disable dc	Stafford Horne	More...				about 2 years ago
stages: Add formal for stage buffers	Stafford Horne	More...				about 2 years ago
rtl: Fix use without driver warnings	Stafford Horne	More...				about 2 years ago
store_buffer: Rewrite formal was not capturing bad states	Stafford Horne	More...				about 2 years ago
dmmu: Fix tlb_reload_huge is used but has no driver	Stafford Horne	More...				about 2 years ago
lsu: Rewrite formal properties	Stafford Horne	More...				about 2 years ago
true_dpram: Update formal properties to cover all read cases	Stafford Horne	More...				about 2 years ago
dmmu: Update formal properties, fix issue with reload impacting bmc	Stafford Horne	More...				about 2 years ago
dmmu: Add some basic docs on the Data MMU	Stafford Horne	More...				about 2 years ago
github/workflows: Install dataclasses pip module	Stafford Horne	More...				about 2 years ago
simple_dpram: Update formal parameters for better coverage	Stafford Horne	More...				about 2 years ago
dcache: Add docs rename ports to describe function	Stafford Horne	More...				about 2 years ago
dcache: only raise invalidate_ack when we are invalidating	Stafford Horne	More...				about 2 years ago
dcache: rename refill_allowed to refill_allowed_i to indicate input	Stafford Horne	More...				about 2 years ago
ci: Add ability to upload failed test artifacts	Stafford Horne	More...				about 2 years ago

←
1
2
3
4
5
6
7
8
9
…
26
27
→