Skip to content

Actions: lowRISC/ibex

Actions

Ibex OSS Formal CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
doc: Add Windows WSL simulation setup guide Ibex OSS Formal CI #153: Pull request #2399 opened by scarletnova20
Action required scarletnova20:doc/windows-wsl-simulation-guide
scarletnova20:doc/windows-wsl-simulation-guide
Action required
[dv] Add RV32ZC handling to ISA strings Ibex OSS Formal CI #152: Pull request #2398 opened by AnastasiyaChernikova
Action required AnastasiyaChernikova:support_selecting_extensions
AnastasiyaChernikova:support_selecting_extensions
Action required
[rtl] Move prim_generic dependency to ibex_top Ibex OSS Formal CI #151: Pull request #2397 opened by SamuelRiedel
1h 18m 0s SamuelRiedel:core-files
SamuelRiedel:core-files
1h 18m 0s
[rtl] Clean up iCache Tweak Infection Ibex OSS Formal CI #132: Pull request #2379 opened by nasahlpa
2h 30m 22s nasahlpa:icache_tweak_lint
nasahlpa:icache_tweak_lint
2h 30m 22s
[doc] Ibex Concierge updated Ibex OSS Formal CI #131: Pull request #2378 opened by marnovandermaas
1h 21m 46s marnovandermaas:concierge_docs
marnovandermaas:concierge_docs
1h 21m 46s
[doc] Extend security documentation Ibex OSS Formal CI #130: Pull request #2377 synchronize by nasahlpa
2h 35m 39s nasahlpa:sec_doc
nasahlpa:sec_doc
2h 35m 39s
[doc] Extend security documentation Ibex OSS Formal CI #129: Pull request #2377 opened by nasahlpa
1h 18m 55s nasahlpa:sec_doc
nasahlpa:sec_doc
1h 18m 55s
[icache/rtl] Tweak infection Ibex OSS Formal CI #128: Pull request #2376 opened by nasahlpa
1h 17m 37s nasahlpa:icache_tweak_infection
nasahlpa:icache_tweak_infection
1h 17m 37s
[rtl] Flush Zcmp state machine on exception or interrupt Ibex OSS Formal CI #126: Pull request #2374 opened by SamuelRiedel
1h 20m 23s SamuelRiedel:fix-zcmp
SamuelRiedel:fix-zcmp
1h 20m 23s
[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