Skip to content

Actions: YoannPruvost/cv32e40p

Actions

check_target

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check_target_on_pr.yml
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1008 from pascalgouedo/dev_dd_pgo_riscv_formal check_target #57: Commit 98695ef pushed by YoannPruvost
June 24, 2024 05:52 10s dev
dev
June 24, 2024 05:52 10s
Merge pull request #1003 from mret55/dev check_target #56: Commit b2eebc5 pushed by YoannPruvost
June 21, 2024 06:56 10s dev
dev
June 21, 2024 06:56 10s
Merge pull request #996 from openhwgroup/dev check_target #55: Commit 782283a pushed by YoannPruvost
June 21, 2024 06:56 13s master
master
June 21, 2024 06:56 13s
Disabling all essertions but row 4 check_target #54: Commit 41c33ec pushed by YoannPruvost
June 17, 2024 07:19 10s formal_questa
formal_questa
June 17, 2024 07:19 10s
Merge pull request #998 from YoannPruvost/dev_mstatus_fs_mismatch check_target #53: Commit bdd5253 pushed by YoannPruvost
June 11, 2024 05:02 11s dev
dev
June 11, 2024 05:02 11s
Running verible check_target #52: Commit b281ced pushed by YoannPruvost
June 6, 2024 07:43 9s dev_mstatus_fs_mismatch
dev_mstatus_fs_mismatch
June 6, 2024 07:43 9s
RVFI - Correction corner case conflict on mstatus_fs upades when inte… check_target #51: Commit 54558a8 pushed by YoannPruvost
June 6, 2024 07:41 9s dev_mstatus_fs_mismatch
dev_mstatus_fs_mismatch
June 6, 2024 07:41 9s
RVFI - Correction corner case conflict on mstatus_fs upades when inte… check_target #50: Commit 54558a8 pushed by YoannPruvost
June 6, 2024 07:40 9s dev
dev
June 6, 2024 07:40 9s
Adding more assertions for code coverage holes in controller check_target #49: Commit c581a90 pushed by YoannPruvost
June 6, 2024 07:37 10s dev_formal_2
dev_formal_2
June 6, 2024 07:37 10s
Adding formal rule for coverage holes on controller check_target #48: Commit b7434ba pushed by YoannPruvost
June 4, 2024 06:21 14s dev_formal_2
dev_formal_2
June 4, 2024 06:21 14s
Merge pull request #992 from pascalgouedo/dev_dd_pgo_doc check_target #47: Commit 7a6961a pushed by YoannPruvost
June 4, 2024 03:45 11s dev
dev
June 4, 2024 03:45 11s
Merge pull request #994 from YoannPruvost/dev_formal check_target #46: Commit ec295ef pushed by YoannPruvost
June 3, 2024 06:50 14s dev
dev
June 3, 2024 06:50 14s
Uploading formal work related to code coverage analysis check_target #45: Commit f6bd677 pushed by YoannPruvost
May 31, 2024 08:41 12s dev_formal
dev_formal
May 31, 2024 08:41 12s
Merge pull request #989 from MikeOpenHWGroup/MikeOpenHWGroupMikeOpenH… check_target #44: Commit c6360f5 pushed by YoannPruvost
May 29, 2024 05:55 14s dev
dev
May 29, 2024 05:55 14s
RVFI - Set proper write mask for mstatus fs when writes to frm check_target #43: Commit 90e982e pushed by YoannPruvost
April 26, 2024 05:10 16s dev_RVFI_mastus_fs_when_frm
dev_RVFI_mastus_fs_when_frm
April 26, 2024 05:10 16s
Merge pull request #985 from pascalgouedo/dev_dd_pgo_rtl check_target #42: Commit cdd6955 pushed by YoannPruvost
April 23, 2024 06:10 15s dev
dev
April 23, 2024 06:10 15s
Merge pull request #983 from YoannPruvost/dev_ypr_Trace_file_ check_target #41: Commit 0c53c3f pushed by YoannPruvost
April 15, 2024 08:50 11s dev
dev
April 15, 2024 08:50 11s
Merge pull request #980 from pascalgouedo/dev_dd_pgo_rtl check_target #40: Commit 9654ec4 pushed by YoannPruvost
April 11, 2024 02:04 10s dev
dev
April 11, 2024 02:04 10s
Running verible check_target #39: Commit a963928 pushed by YoannPruvost
April 9, 2024 08:03 14s dev_ypr_Trace_file_
dev_ypr_Trace_file_
April 9, 2024 08:03 14s
RVFI - Adding mhpmevents csr reporting check_target #38: Commit 663a17d pushed by YoannPruvost
April 5, 2024 04:36 12s dev_ypr_Trace_file_
dev_ypr_Trace_file_
April 5, 2024 04:36 12s
Merge pull request #974 from pascalgouedo/dev_dd_pgo_lec check_target #37: Commit 3bfea13 pushed by YoannPruvost
April 5, 2024 04:24 13s dev
dev
April 5, 2024 04:24 13s
Merge pull request #972 from YoannPruvost/dev_rvfi_trace_log check_target #36: Commit 256a93d pushed by YoannPruvost
April 1, 2024 01:49 11s dev
dev
April 1, 2024 01:49 11s
RVFI - Correcting issue on trace log generation from rvfi check_target #35: Commit 8f98368 pushed by YoannPruvost
March 26, 2024 03:45 13s dev_rvfi_trace_log
dev_rvfi_trace_log
March 26, 2024 03:45 13s
Merge pull request #971 from pascalgouedo/dev_dd_pgo_rtl_clip check_target #34: Commit 0682d38 pushed by YoannPruvost
March 26, 2024 03:20 11s dev
dev
March 26, 2024 03:20 11s
Merge pull request #962 from pascalgouedo/dev_dd_pgo_lec check_target #33: Commit bfeff28 pushed by YoannPruvost
March 25, 2024 07:29 15s dev
dev
March 25, 2024 07:29 15s