Skip to content

Actions: openhwgroup/cv32e40p

Actions

lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
181 workflow runs
181 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

RVFI - Correction corner case conflict on mstatus_fs upades when integer load followed by fpu instr lint #477: Pull request #998 opened by YoannPruvost
June 6, 2024 07:44 16s YoannPruvost:dev_mstatus_fs_mismatch
YoannPruvost:dev_mstatus_fs_mismatch
June 6, 2024 07:44 16s
Adding formal rule for coverage holes on controller lint #476: Pull request #997 opened by YoannPruvost
June 6, 2024 07:39 16s YoannPruvost:dev_formal_2
YoannPruvost:dev_formal_2
June 6, 2024 07:39 16s
Merge pull request #996 from openhwgroup/dev lint #475: Commit 782283a pushed by davideschiavone
June 5, 2024 08:38 20s master
master
June 5, 2024 08:38 20s
merging dev to master after verifying LEC to v1 lint #474: Pull request #996 opened by davideschiavone
June 5, 2024 08:37 21s dev
dev
June 5, 2024 08:37 21s
Merge pull request #992 from pascalgouedo/dev_dd_pgo_doc lint #473: Commit 7a6961a pushed by pascalgouedo
June 3, 2024 15:38 19s dev
dev
June 3, 2024 15:38 19s
Merge pull request #995 from pascalgouedo/dev_dd_pgo_riscv_formal_rem… lint #472: Commit 141cc56 pushed by pascalgouedo
June 3, 2024 15:33 13s dev
dev
June 3, 2024 15:33 13s
Reverted PR #993. lint #471: Pull request #995 opened by pascalgouedo
June 3, 2024 15:33 18s pascalgouedo:dev_dd_pgo_riscv_formal_removal
pascalgouedo:dev_dd_pgo_riscv_formal_removal
June 3, 2024 15:33 18s
Merge pull request #993 from pascalgouedo/dev_dd_pgo_riscv_formal lint #470: Commit f1e13ed pushed by MikeOpenHWGroup
June 3, 2024 15:06 11s dev
dev
June 3, 2024 15:06 11s
RISC-V ISA Formal Verification files for SiemensEDA OneSpin tool. lint #469: Pull request #993 synchronize by pascalgouedo
June 3, 2024 15:05 14s pascalgouedo:dev_dd_pgo_riscv_formal
pascalgouedo:dev_dd_pgo_riscv_formal
June 3, 2024 15:05 14s
RISC-V ISA Formal Verification files for SiemensEDA OneSpin tool. lint #468: Pull request #993 synchronize by pascalgouedo
June 3, 2024 15:03 13s pascalgouedo:dev_dd_pgo_riscv_formal
pascalgouedo:dev_dd_pgo_riscv_formal
June 3, 2024 15:03 13s
RISC-V ISA Formal Verification files for SiemensEDA OneSpin tool. lint #467: Pull request #993 synchronize by pascalgouedo
June 3, 2024 14:58 12s pascalgouedo:dev_dd_pgo_riscv_formal
pascalgouedo:dev_dd_pgo_riscv_formal
June 3, 2024 14:58 12s
Merge pull request #994 from YoannPruvost/dev_formal lint #466: Commit ec295ef pushed by MikeOpenHWGroup
May 31, 2024 12:54 15s dev
dev
May 31, 2024 12:54 15s
Code coverage holes formal analysis lint #465: Pull request #994 opened by YoannPruvost
May 31, 2024 09:18 14s YoannPruvost:dev_formal
YoannPruvost:dev_formal
May 31, 2024 09:18 14s
RISC-V ISA Formal Verification files for SiemensEDA OneSpin tool. lint #464: Pull request #993 opened by pascalgouedo
May 30, 2024 15:10 14s pascalgouedo:dev_dd_pgo_riscv_formal
pascalgouedo:dev_dd_pgo_riscv_formal
May 30, 2024 15:10 14s
Merge pull request #991 from pascalgouedo/dev_dd_pgo_lec lint #463: Commit e72b3da pushed by davideschiavone
May 30, 2024 15:05 14s dev
dev
May 30, 2024 15:05 14s
User Manual verification section update. lint #462: Pull request #992 opened by pascalgouedo
May 30, 2024 14:45 16s pascalgouedo:dev_dd_pgo_doc
pascalgouedo:dev_dd_pgo_doc
May 30, 2024 14:45 16s
Few lec scripts cleanup and improvements. lint #461: 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… lint #460: Commit c6360f5 pushed by MikeOpenHWGroup
May 27, 2024 11:25 14s dev
dev
May 27, 2024 11:25 14s
Update pointer to v1.0.0 coverage reports lint #459: Pull request #989 opened by MikeOpenHWGroup
May 24, 2024 16:17 24s MikeOpenHWGroup:MikeOpenHWGroupMikeOpenHWGroup-dev_cov_rep
MikeOpenHWGroup:MikeOpenHWGroupMikeOpenHWGroup-dev_cov_rep
May 24, 2024 16:17 24s
Merge pull request #987 from pascalgouedo/dev_dd_pgo_doc lint #458: Commit a43277c pushed by pascalgouedo
April 26, 2024 11:10 20s cv32e40p_v1.8.1
cv32e40p_v1.8.1
April 26, 2024 11:10 20s
Merge pull request #987 from pascalgouedo/dev_dd_pgo_doc lint #457: Commit a43277c pushed by pascalgouedo
April 26, 2024 09:38 13s dev
dev
April 26, 2024 09:38 13s
Added HWloop CSRs save/restore lint #456: Pull request #987 opened by pascalgouedo
April 26, 2024 09:36 13s pascalgouedo:dev_dd_pgo_doc
pascalgouedo:dev_dd_pgo_doc
April 26, 2024 09:36 13s
Merge pull request #986 from YoannPruvost/dev_RVFI_mastus_fs_when_frm lint #455: Commit 1f744c6 pushed by davideschiavone
April 26, 2024 07:06 12s dev
dev
April 26, 2024 07:06 12s
Setting correct mstatus fs write mask when csrw to frm and correcting cv.beqimm & cv.bneimm printing in log file lint #454: Pull request #986 opened by YoannPruvost
April 26, 2024 05:15 17s YoannPruvost:dev_RVFI_mastus_fs_when_frm
YoannPruvost:dev_RVFI_mastus_fs_when_frm
April 26, 2024 05:15 17s
Merge pull request #985 from pascalgouedo/dev_dd_pgo_rtl lint #453: Commit cdd6955 pushed by pascalgouedo
April 18, 2024 14:48 14s cv32e40p_v1.8.0
cv32e40p_v1.8.0
April 18, 2024 14:48 14s