Skip to content

Actions: lowRISC/ibex

Actions

Ibex OSS Formal CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[dv] Remove unused assertion Ibex OSS Formal CI #125: Pull request #2371 opened by nasahlpa
1h 18m 48s nasahlpa:remove_assertion
nasahlpa:remove_assertion
1h 18m 48s
Update README.md Ibex OSS Formal CI #124: Pull request #2368 synchronize by marnovandermaas
2h 36m 10s johngt-typo
johngt-typo
2h 36m 10s
Update README.md Ibex OSS Formal CI #123: Pull request #2368 synchronize by marnovandermaas
1h 16m 48s johngt-typo
johngt-typo
1h 16m 48s
[rtl] Expose lockstep and shadow bus interface core signals to ibex_top Ibex OSS Formal CI #122: Pull request #2365 synchronize by nasahlpa
1h 19m 39s nasahlpa:upstream_expose_lockstep_signals
nasahlpa:upstream_expose_lockstep_signals
1h 19m 39s
[rtl] Split data and ECC of the register file Ibex OSS Formal CI #121: Pull request #2364 synchronize by nasahlpa
1h 17m 48s nasahlpa:upstream_split_rf
nasahlpa:upstream_split_rf
1h 17m 48s
[rtl] Split data and ECC of the register file Ibex OSS Formal CI #120: Pull request #2364 synchronize by nasahlpa
1h 19m 58s nasahlpa:upstream_split_rf
nasahlpa:upstream_split_rf
1h 19m 58s
[rtl] Reduce the lockstep delay to 1 cycle Ibex OSS Formal CI #119: Pull request #2363 synchronize by nasahlpa
2h 38m 11s nasahlpa:upstream_lockstep_delay
nasahlpa:upstream_lockstep_delay
2h 38m 11s
[rtl] Expose lockstep and shadow bus interface core signals to ibex_top Ibex OSS Formal CI #118: Pull request #2365 synchronize by nasahlpa
1h 20m 19s nasahlpa:upstream_expose_lockstep_signals
nasahlpa:upstream_expose_lockstep_signals
1h 20m 19s
[simple_system] Upgrade config in simple systems' README.md Ibex OSS Formal CI #117: Pull request #2369 opened by luismarques
1h 53m 17s luismarques:maxperf-pmp-bmfull
luismarques:maxperf-pmp-bmfull
1h 53m 17s
[rtl] Reduce the lockstep delay to 1 cycle Ibex OSS Formal CI #116: Pull request #2363 synchronize by nasahlpa
1h 18m 9s nasahlpa:upstream_lockstep_delay
nasahlpa:upstream_lockstep_delay
1h 18m 9s
Update README.md Ibex OSS Formal CI #115: Pull request #2368 opened by johngt
1h 18m 58s johngt-typo
johngt-typo
1h 18m 58s
RAM delay in Simple system Ibex OSS Formal CI #114: Pull request #2367 synchronize by marnovandermaas
1h 57m 19s marnovandermaas:benchmark_instructions
marnovandermaas:benchmark_instructions
1h 57m 19s
RAM delay in Simple system Ibex OSS Formal CI #113: Pull request #2367 synchronize by marnovandermaas
39m 51s marnovandermaas:benchmark_instructions
marnovandermaas:benchmark_instructions
39m 51s
RAM delay in Simple system Ibex OSS Formal CI #112: Pull request #2367 synchronize by marnovandermaas
1h 19m 16s marnovandermaas:benchmark_instructions
marnovandermaas:benchmark_instructions
1h 19m 16s
[rtl] Split data and ECC of the register file Ibex OSS Formal CI #111: Pull request #2364 synchronize by nasahlpa
1h 17m 18s nasahlpa:upstream_split_rf
nasahlpa:upstream_split_rf
1h 17m 18s
RAM delay in Simple system Ibex OSS Formal CI #110: Pull request #2367 opened by marnovandermaas
1h 17m 22s marnovandermaas:benchmark_instructions
marnovandermaas:benchmark_instructions
1h 17m 22s
[rtl] Expose lockstep and shadow bus interface core signals to ibex_top Ibex OSS Formal CI #109: Pull request #2365 synchronize by nasahlpa
1h 19m 6s nasahlpa:upstream_expose_lockstep_signals
nasahlpa:upstream_expose_lockstep_signals
1h 19m 6s
[rtl] Split data and ECC of the register file Ibex OSS Formal CI #108: Pull request #2364 synchronize by nasahlpa
1h 19m 9s nasahlpa:upstream_split_rf
nasahlpa:upstream_split_rf
1h 19m 9s
[rtl] Reduce the lockstep delay to 1 cycle Ibex OSS Formal CI #107: Pull request #2363 synchronize by nasahlpa
1h 18m 22s nasahlpa:upstream_lockstep_delay
nasahlpa:upstream_lockstep_delay
1h 18m 22s
[rtl] Split data and ECC of the register file Ibex OSS Formal CI #106: Pull request #2364 synchronize by nasahlpa
28m 1s nasahlpa:upstream_split_rf
nasahlpa:upstream_split_rf
28m 1s
[simple_system] UNOPTFLAT Verilator lint waived Ibex OSS Formal CI #105: Pull request #2355 synchronize by marnovandermaas
19m 58s marnovandermaas:simple_system_lint
marnovandermaas:simple_system_lint
19m 58s
[simple_system] RV32ZC parameter added Ibex OSS Formal CI #104: Pull request #2366 opened by marnovandermaas
1h 40m 50s marnovandermaas:simple_system_zc_fix
marnovandermaas:simple_system_zc_fix
1h 40m 50s
[rtl] Split data and ECC of the register file Ibex OSS Formal CI #103: Pull request #2364 synchronize by nasahlpa
2h 3m 36s nasahlpa:upstream_split_rf
nasahlpa:upstream_split_rf
2h 3m 36s
[rtl] Split data and ECC of the register file Ibex OSS Formal CI #102: Pull request #2364 synchronize by nasahlpa
1h 49m 23s nasahlpa:upstream_split_rf
nasahlpa:upstream_split_rf
1h 49m 23s
[rtl] Expose lockstep and shadow bus interface core signals to ibex_top Ibex OSS Formal CI #101: Pull request #2365 opened by nasahlpa
26m 15s nasahlpa:upstream_expose_lockstep_signals
nasahlpa:upstream_expose_lockstep_signals
26m 15s