Skip to content

Actions: PLSysSec/tock

Actions

litex-sim-ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
litex_sim.yml
142 workflow runs
142 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor all invariant crucial fields to be behind a map cell litex-sim-ci #142: Pull request #6 synchronize by vrindisbacher
March 10, 2025 23:21 2m 29s vrindisbacher/connect-process
vrindisbacher/connect-process
March 10, 2025 23:21 2m 29s
put MPU stuff behind a pair so we can actually start reasoning about it! litex-sim-ci #141: Commit 45a257e pushed by vrindisbacher
March 10, 2025 23:21 2m 29s vrindisbacher/connect-process
vrindisbacher/connect-process
March 10, 2025 23:21 2m 29s
Refactor all invariant crucial fields to be behind a map cell litex-sim-ci #140: Pull request #6 synchronize by vrindisbacher
March 10, 2025 22:50 2m 35s vrindisbacher/connect-process
vrindisbacher/connect-process
March 10, 2025 22:50 2m 35s
simplify things even more litex-sim-ci #139: Commit 355cc9a pushed by vrindisbacher
March 10, 2025 22:50 2m 53s vrindisbacher/connect-process
vrindisbacher/connect-process
March 10, 2025 22:50 2m 53s
Refactor all invariant crucial fields to be behind a map cell litex-sim-ci #138: Pull request #6 synchronize by vrindisbacher
March 10, 2025 22:46 2m 48s vrindisbacher/connect-process
vrindisbacher/connect-process
March 10, 2025 22:46 2m 48s
remove unnecessary predicates litex-sim-ci #137: Commit 9d946e5 pushed by vrindisbacher
March 10, 2025 22:46 2m 49s vrindisbacher/connect-process
vrindisbacher/connect-process
March 10, 2025 22:46 2m 49s
Refactor all invariant crucial fields to be behind a map cell litex-sim-ci #136: Pull request #6 synchronize by vrindisbacher
March 10, 2025 22:45 2m 48s vrindisbacher/connect-process
vrindisbacher/connect-process
March 10, 2025 22:45 2m 48s
start refining the allocate_region and change the sig to return the r… litex-sim-ci #135: Commit 3a6e751 pushed by vrindisbacher
March 10, 2025 22:45 2m 40s vrindisbacher/connect-process
vrindisbacher/connect-process
March 10, 2025 22:45 2m 40s
Refactor all invariant crucial fields to be behind a map cell litex-sim-ci #134: Pull request #6 synchronize by vrindisbacher
March 10, 2025 16:47 2m 31s vrindisbacher/connect-process
vrindisbacher/connect-process
March 10, 2025 16:47 2m 31s
add definition for invariant on rasr and rbar values litex-sim-ci #133: Commit d19d2d5 pushed by vrindisbacher
March 10, 2025 16:47 2m 29s vrindisbacher/connect-process
vrindisbacher/connect-process
March 10, 2025 16:47 2m 29s
Refactor all invariant crucial fields to be behind a map cell litex-sim-ci #132: Pull request #6 synchronize by vrindisbacher
March 10, 2025 16:47 2m 53s vrindisbacher/connect-process
vrindisbacher/connect-process
March 10, 2025 16:47 2m 53s
blah litex-sim-ci #131: Commit ef5dad4 pushed by vrindisbacher
March 10, 2025 16:47 2m 22s vrindisbacher/connect-process
vrindisbacher/connect-process
March 10, 2025 16:47 2m 22s
Refactor all invariant crucial fields to be behind a map cell litex-sim-ci #130: Pull request #6 synchronize by vrindisbacher
March 10, 2025 16:45 3m 7s vrindisbacher/connect-process
vrindisbacher/connect-process
March 10, 2025 16:45 3m 7s
add definition for invariant on rasr and rbar values litex-sim-ci #129: Commit 9c4928f pushed by vrindisbacher
March 10, 2025 16:45 3m 7s vrindisbacher/connect-process
vrindisbacher/connect-process
March 10, 2025 16:45 3m 7s
Refactor all invariant crucial fields to be behind a map cell litex-sim-ci #128: Pull request #6 synchronize by vrindisbacher
March 9, 2025 18:41 2m 32s vrindisbacher/connect-process
vrindisbacher/connect-process
March 9, 2025 18:41 2m 32s
modify post condition to split on whether region1 is enabled litex-sim-ci #127: Commit f81f11a pushed by vrindisbacher
March 9, 2025 18:41 2m 31s vrindisbacher/connect-process
vrindisbacher/connect-process
March 9, 2025 18:41 2m 31s
Refactor all invariant crucial fields to be behind a map cell litex-sim-ci #126: Pull request #6 synchronize by vrindisbacher
March 9, 2025 18:36 2m 24s vrindisbacher/connect-process
vrindisbacher/connect-process
March 9, 2025 18:36 2m 24s
split region::new into two methods - one with subregions and the othe… litex-sim-ci #125: Commit 0ffd762 pushed by vrindisbacher
March 9, 2025 18:36 2m 29s vrindisbacher/connect-process
vrindisbacher/connect-process
March 9, 2025 18:36 2m 29s
Refactor all invariant crucial fields to be behind a map cell litex-sim-ci #124: Pull request #6 synchronize by vrindisbacher
March 9, 2025 18:31 2m 30s vrindisbacher/connect-process
vrindisbacher/connect-process
March 9, 2025 18:31 2m 30s
split region::new into two methods - one with subregions and the othe… litex-sim-ci #123: Commit d89b67a pushed by vrindisbacher
March 9, 2025 18:31 2m 56s vrindisbacher/connect-process
vrindisbacher/connect-process
March 9, 2025 18:31 2m 56s
Refactor all invariant crucial fields to be behind a map cell litex-sim-ci #122: Pull request #6 synchronize by vrindisbacher
March 9, 2025 18:08 2m 28s vrindisbacher/connect-process
vrindisbacher/connect-process
March 9, 2025 18:08 2m 28s
Add spec for new and reason about the last enabled subregion not cove… litex-sim-ci #121: Commit e9d8f25 pushed by vrindisbacher
March 9, 2025 18:08 2m 29s vrindisbacher/connect-process
vrindisbacher/connect-process
March 9, 2025 18:08 2m 29s
Refactor all invariant crucial fields to be behind a map cell litex-sim-ci #120: Pull request #6 synchronize by vrindisbacher
March 9, 2025 17:40 2m 39s vrindisbacher/connect-process
vrindisbacher/connect-process
March 9, 2025 17:40 2m 39s
Add a solid annotation for allocate_app_memory_region litex-sim-ci #119: Commit f501984 pushed by vrindisbacher
March 9, 2025 17:40 3m 42s vrindisbacher/connect-process
vrindisbacher/connect-process
March 9, 2025 17:40 3m 42s
Refactor all invariant crucial fields to be behind a map cell litex-sim-ci #118: Pull request #6 synchronize by vrindisbacher
March 9, 2025 17:31 2m 54s vrindisbacher/connect-process
vrindisbacher/connect-process
March 9, 2025 17:31 2m 54s