Skip to content

Actions: lowRISC/ibex

Actions

Ibex OSS Formal CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-formal.yml
80 workflow runs
80 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Vendor in latest OpenTitan IPs Ibex OSS Formal CI #57: Pull request #2339 synchronize by SamuelRiedel
56s SamuelRiedel:vendor
SamuelRiedel:vendor
56s
Fix the riscv_dret_test Ibex OSS Formal CI #56: Pull request #2338 synchronize by SamuelRiedel
1h 19m 14s SamuelRiedel:dret-test
SamuelRiedel:dret-test
1h 19m 14s
[rtl] Drop empty ifdef pair Ibex OSS Formal CI #55: Pull request #2340 opened by rswarbrick
1h 17m 48s rswarbrick:empty-ifdef
rswarbrick:empty-ifdef
1h 17m 48s
Vendor in latest OpenTitan IPs Ibex OSS Formal CI #54: Pull request #2339 synchronize by SamuelRiedel
55s SamuelRiedel:vendor
SamuelRiedel:vendor
55s
Vendor in latest OpenTitan IPs Ibex OSS Formal CI #53: Pull request #2339 opened by SamuelRiedel
55s SamuelRiedel:vendor
SamuelRiedel:vendor
55s
Fix the riscv_dret_test Ibex OSS Formal CI #52: Pull request #2338 opened by SamuelRiedel
2h 5m 49s SamuelRiedel:dret-test
SamuelRiedel:dret-test
2h 5m 49s
[rtl] Stop rvfi from reporting load information on stores Ibex OSS Formal CI #51: Pull request #2337 opened by SamuelRiedel
1h 18m 32s SamuelRiedel:rvfi-rmask
SamuelRiedel:rvfi-rmask
1h 18m 32s
Add RVVI-TEXT support to the tracer Ibex OSS Formal CI #50: Pull request #2336 opened by Timmmm
1h 18m 40s Timmmm:user/timh/rvvi_text
Timmmm:user/timh/rvvi_text
1h 18m 40s
[pmp] MSB and LSB of PMP address now params Ibex OSS Formal CI #49: Pull request #2328 synchronize by marnovandermaas
1h 21m 39s marnovandermaas:pmp_lsb
marnovandermaas:pmp_lsb
1h 21m 39s
[pmp] MSB and LSB of PMP address now params Ibex OSS Formal CI #48: Pull request #2328 synchronize by marnovandermaas
2h 35m 40s marnovandermaas:pmp_lsb
marnovandermaas:pmp_lsb
2h 35m 40s
[pmp] MSB and LSB of PMP address now params Ibex OSS Formal CI #47: Pull request #2328 synchronize by marnovandermaas
1h 18m 10s marnovandermaas:pmp_lsb
marnovandermaas:pmp_lsb
1h 18m 10s
[pmp] MSB and LSB of PMP address now params Ibex OSS Formal CI #46: Pull request #2328 synchronize by marnovandermaas
1h 20m 46s marnovandermaas:pmp_lsb
marnovandermaas:pmp_lsb
1h 20m 46s
[pmp] MSB and LSB of PMP address now params Ibex OSS Formal CI #45: Pull request #2328 synchronize by marnovandermaas
1h 19m 46s marnovandermaas:pmp_lsb
marnovandermaas:pmp_lsb
1h 19m 46s
[pmp] MSB and LSB of PMP address now params Ibex OSS Formal CI #44: Pull request #2328 opened by marnovandermaas
57s marnovandermaas:pmp_lsb
marnovandermaas:pmp_lsb
57s
Add Zcb and Zcmp extensions DV Ibex OSS Formal CI #43: Pull request #2324 synchronize by SamuelRiedel
9h 25m 49s SamuelRiedel:zcbzcmp
SamuelRiedel:zcbzcmp
9h 25m 49s
Remove dependency on srecord Ibex OSS Formal CI #42: Pull request #2327 synchronize by Timmmm
12m 4s Timmmm:user/timh/srec
Timmmm:user/timh/srec
12m 4s
Add Zcb and Zcmp extensions DV Ibex OSS Formal CI #41: Pull request #2324 synchronize by SamuelRiedel
6h 0m 21s SamuelRiedel:zcbzcmp
SamuelRiedel:zcbzcmp
6h 0m 21s
Add missing zicsr to -march in example Makefile Ibex OSS Formal CI #39: Pull request #2326 opened by Timmmm
1h 19m 50s Timmmm:user/timh/zicsr
Timmmm:user/timh/zicsr
1h 19m 50s
Add Zcb and Zcmp extensions DV Ibex OSS Formal CI #38: Pull request #2324 opened by SamuelRiedel
6h 0m 19s SamuelRiedel:zcbzcmp
SamuelRiedel:zcbzcmp
6h 0m 19s
Introduce an OSS Formal Flow Ibex OSS Formal CI #36: Pull request #2309 synchronize by mndstrmr
1h 20m 14s oss-formal
oss-formal
1h 20m 14s
Introduce an OSS Formal Flow Ibex OSS Formal CI #35: Pull request #2309 synchronize by mndstrmr
12m 44s oss-formal
oss-formal
12m 44s
Introduce an OSS Formal Flow Ibex OSS Formal CI #34: Pull request #2309 synchronize by mndstrmr
1h 46m 7s oss-formal
oss-formal
1h 46m 7s
Introduce an OSS Formal Flow Ibex OSS Formal CI #33: Pull request #2309 synchronize by mndstrmr
3m 22s oss-formal
oss-formal
3m 22s
Introduce an OSS Formal Flow Ibex OSS Formal CI #32: Pull request #2309 synchronize by mndstrmr
1h 21m 35s oss-formal
oss-formal
1h 21m 35s
Introduce an OSS Formal Flow Ibex OSS Formal CI #31: Pull request #2309 synchronize by mndstrmr
48m 5s oss-formal
oss-formal
48m 5s