Skip to content

Actions: openhwgroup/cv32e40p

Actions

check_target

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check_target_on_pr.yml
206 workflow runs
206 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

merging dev to master after verifying LEC to v1 check_target #295: Pull request #996 opened by davideschiavone
June 5, 2024 08:37 12s dev
dev
June 5, 2024 08:37 12s
Merge pull request #992 from pascalgouedo/dev_dd_pgo_doc check_target #294: Commit 7a6961a pushed by pascalgouedo
June 3, 2024 15:38 11s dev
dev
June 3, 2024 15:38 11s
Merge pull request #995 from pascalgouedo/dev_dd_pgo_riscv_formal_rem… check_target #293: Commit 141cc56 pushed by pascalgouedo
June 3, 2024 15:33 10s dev
dev
June 3, 2024 15:33 10s
Reverted PR #993. check_target #292: Pull request #995 opened by pascalgouedo
June 3, 2024 15:33 10s pascalgouedo:dev_dd_pgo_riscv_formal_removal
pascalgouedo:dev_dd_pgo_riscv_formal_removal
June 3, 2024 15:33 10s
Merge pull request #993 from pascalgouedo/dev_dd_pgo_riscv_formal check_target #291: Commit f1e13ed pushed by MikeOpenHWGroup
June 3, 2024 15:06 12s dev
dev
June 3, 2024 15:06 12s
RISC-V ISA Formal Verification files for SiemensEDA OneSpin tool. check_target #290: Pull request #993 synchronize by pascalgouedo
June 3, 2024 15:05 9s pascalgouedo:dev_dd_pgo_riscv_formal
pascalgouedo:dev_dd_pgo_riscv_formal
June 3, 2024 15:05 9s
RISC-V ISA Formal Verification files for SiemensEDA OneSpin tool. check_target #289: Pull request #993 synchronize by pascalgouedo
June 3, 2024 15:03 9s pascalgouedo:dev_dd_pgo_riscv_formal
pascalgouedo:dev_dd_pgo_riscv_formal
June 3, 2024 15:03 9s
RISC-V ISA Formal Verification files for SiemensEDA OneSpin tool. check_target #288: Pull request #993 synchronize by pascalgouedo
June 3, 2024 14:58 10s pascalgouedo:dev_dd_pgo_riscv_formal
pascalgouedo:dev_dd_pgo_riscv_formal
June 3, 2024 14:58 10s
Merge pull request #994 from YoannPruvost/dev_formal check_target #287: Commit ec295ef pushed by MikeOpenHWGroup
May 31, 2024 12:54 10s dev
dev
May 31, 2024 12:54 10s
Code coverage holes formal analysis check_target #286: Pull request #994 opened by YoannPruvost
May 31, 2024 09:18 10s YoannPruvost:dev_formal
YoannPruvost:dev_formal
May 31, 2024 09:18 10s
RISC-V ISA Formal Verification files for SiemensEDA OneSpin tool. check_target #285: Pull request #993 opened by pascalgouedo
May 30, 2024 15:10 11s pascalgouedo:dev_dd_pgo_riscv_formal
pascalgouedo:dev_dd_pgo_riscv_formal
May 30, 2024 15:10 11s
Merge pull request #991 from pascalgouedo/dev_dd_pgo_lec check_target #284: Commit e72b3da pushed by davideschiavone
May 30, 2024 15:05 11s dev
dev
May 30, 2024 15:05 11s
User Manual verification section update. check_target #283: Pull request #992 opened by pascalgouedo
May 30, 2024 14:45 10s pascalgouedo:dev_dd_pgo_doc
pascalgouedo:dev_dd_pgo_doc
May 30, 2024 14:45 10s
Few lec scripts cleanup and improvements. check_target #282: Pull request #991 opened by pascalgouedo
May 30, 2024 14:43 13s pascalgouedo:dev_dd_pgo_lec
pascalgouedo:dev_dd_pgo_lec
May 30, 2024 14:43 13s
Merge pull request #989 from MikeOpenHWGroup/MikeOpenHWGroupMikeOpenH… check_target #281: Commit c6360f5 pushed by MikeOpenHWGroup
May 27, 2024 11:25 11s dev
dev
May 27, 2024 11:25 11s
Update pointer to v1.0.0 coverage reports check_target #280: Pull request #989 opened by MikeOpenHWGroup
May 24, 2024 16:17 12s MikeOpenHWGroup:MikeOpenHWGroupMikeOpenHWGroup-dev_cov_rep
MikeOpenHWGroup:MikeOpenHWGroupMikeOpenHWGroup-dev_cov_rep
May 24, 2024 16:17 12s
Merge pull request #987 from pascalgouedo/dev_dd_pgo_doc check_target #279: Commit a43277c pushed by pascalgouedo
April 26, 2024 11:10 11s cv32e40p_v1.8.1
cv32e40p_v1.8.1
April 26, 2024 11:10 11s
Merge pull request #987 from pascalgouedo/dev_dd_pgo_doc check_target #278: Commit a43277c pushed by pascalgouedo
April 26, 2024 09:38 9s dev
dev
April 26, 2024 09:38 9s
Added HWloop CSRs save/restore check_target #277: Pull request #987 opened by pascalgouedo
April 26, 2024 09:36 10s pascalgouedo:dev_dd_pgo_doc
pascalgouedo:dev_dd_pgo_doc
April 26, 2024 09:36 10s
Merge pull request #986 from YoannPruvost/dev_RVFI_mastus_fs_when_frm check_target #276: Commit 1f744c6 pushed by davideschiavone
April 26, 2024 07:06 14s dev
dev
April 26, 2024 07:06 14s
Setting correct mstatus fs write mask when csrw to frm and correcting cv.beqimm & cv.bneimm printing in log file check_target #275: Pull request #986 opened by YoannPruvost
April 26, 2024 05:15 9s YoannPruvost:dev_RVFI_mastus_fs_when_frm
YoannPruvost:dev_RVFI_mastus_fs_when_frm
April 26, 2024 05:15 9s
Merge pull request #985 from pascalgouedo/dev_dd_pgo_rtl check_target #274: Commit cdd6955 pushed by pascalgouedo
April 18, 2024 14:48 10s cv32e40p_v1.8.0
cv32e40p_v1.8.0
April 18, 2024 14:48 10s
Merge pull request #985 from pascalgouedo/dev_dd_pgo_rtl check_target #273: Commit cdd6955 pushed by pascalgouedo
April 18, 2024 14:39 12s dev
dev
April 18, 2024 14:39 12s
Merge pull request #984 from pascalgouedo/dev_dd_pgo_doc check_target #272: Commit c7e2623 pushed by pascalgouedo
April 18, 2024 14:39 18s dev
dev
April 18, 2024 14:39 18s
Added illegal instruction exception decoding on unused Imm6 bits for some SIMD instructions. check_target #271: Pull request #985 opened by pascalgouedo
April 18, 2024 14:39 20s pascalgouedo:dev_dd_pgo_rtl
pascalgouedo:dev_dd_pgo_rtl
April 18, 2024 14:39 20s