8000 litex-sim-ci · Workflow runs · PLSysSec/tock · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: PLSysSec/tock

Actions

litex-sim-ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
litex_sim.yml
504 workflow runs
504 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

do all but arithmetic overflows litex-sim-ci #504: Commit f529d6c pushed by vrindisbacher
June 9, 2025 23:03 3m 9s mpu-abstraction
mpu-abstraction
June 9, 2025 23:03 3m 9s
start on rv32 litex-sim-ci #503: Commit 5df2423 pushed by vrindisbacher
June 9, 2025 20:28 2m 58s mpu-abstraction
mpu-abstraction
June 9, 2025 20:28 2m 58s
get cargo check to pass on risc litex-sim-ci #502: Commit 348b698 pushed by vrindisbacher
June 9, 2025 19:32 2m 44s mpu-abstraction
mpu-abstraction
June 9, 2025 19:32 2m 44s
finish cortexm proof with new structure litex-sim-ci #501: Commit 7b741ca pushed by vrindisbacher
June 6, 2025 17:11 3m 6s mpu-abstraction
mpu-abstraction
June 6, 2025 17:11 3m 6s
note litex-sim-ci #500: Commit 6ebe3a2 pushed by vrindisbacher
June 6, 2025 01:09 4m 14s mpu-abstraction
mpu-abstraction
June 6, 2025 01:09 4m 14s
almost there litex-sim-ci #499: Commit ccbcb1a pushed by vrindisbacher
June 5, 2025 23:53 3m 15s mpu-abstraction
mpu-abstraction
June 5, 2025 23:53 3m 15s
remove extraneous methods litex-sim-ci #498: Commit 4c6eb06 pushed by vrindisbacher
June 5, 2025 23:16 2m 54s mpu-abstraction
mpu-abstraction
June 5, 2025 23:16 2m 54s
Move region methods to RegionDescriptor trait litex-sim-ci #497: Commit f0cbc89 pushed by vrindisbacher
June 5, 2025 22:57 3m 1s mpu-abstraction
mpu-abstraction
June 5, 2025 22:57 3m 1s
nit litex-sim-ci #496: Commit c99287f pushed by vrindisbacher
June 5, 2025 22:36 2m 51s mpu-abstraction
mpu-abstraction
June 5, 2025 22:36 2m 51s
add invariant that breaks things litex-sim-ci #495: Commit 1076c39 pushed by vrindisbacher
June 4, 2025 21:00 2m 40s mpu-abstraction
mpu-abstraction
June 4, 2025 21:00 2m 40s
add more refinements litex-sim-ci #494: Commit be894ec pushed by vrindisbacher
June 4, 2025 18:59 3m 7s mpu-abstraction
mpu-abstraction
June 4, 2025 18:59 3m 7s
start adding some refinements litex-sim-ci #493: Commit 2722aac pushed by vrindisbacher
June 4, 2025 16:48 3m 16s mpu-abstraction
mpu-abstraction
June 4, 2025 16:48 3m 16s
restore most important specs litex-sim-ci #492: Commit dbbbc34 pushed by vrindisbacher
June 4, 2025 16:28 2m 49s mpu-abstraction
mpu-abstraction
June 4, 2025 16:28 2m 49s
Change code to use flux array wrapper litex-sim-ci #491: Commit 93a0c7f pushed by vrindisbacher
June 3, 2025 19:53 3m 7s mpu-abstraction
mpu-abstraction
June 3, 2025 19:53 3m 7s
add refinements to cortexm mpu litex-sim-ci #490: Commit 67cb641 pushed by vrindisbacher
June 3, 2025 19:22 2m 44s mpu-abstraction
mpu-abstraction
June 3, 2025 19:22 2m 44s
fix annotation errors litex-sim-ci #489: Commit 70bc47f pushed by vrindisbacher
June 3, 2025 18:02 2m 47s mpu-abstraction
mpu-abstraction
June 3, 2025 18:02 2m 47s
add a bunch of refinements to MPU trait methods litex-sim-ci #488: Commit b14e189 pushed by vrindisbacher
June 3, 2025 17:00 3m 41s mpu-abstraction
mpu-abstraction
June 3, 2025 17:00 3m 41s
og annots litex-sim-ci #487: Commit 4457acf pushed by vrindisbacher
June 3, 2025 15:52 3m 30s mpu-abstraction
mpu-abstraction
June 3, 2025 15:52 3m 30s
remove dup trusted litex-sim-ci #486: Commit bb25198 pushed by vrindisbacher
June 3, 2025 15:24 3m 23s mpu-abstraction
mpu-abstraction
June 3, 2025 15:24 3m 23s
fix merge changes for most part litex-sim-ci #485: Commit 7875cac pushed by vrindisbacher
June 3, 2025 15:13 3m 25s mpu-abstraction
mpu-abstraction
June 3, 2025 15:13 3m 25s
Merge branch 'master' into mpu-abstraction litex-sim-ci #484: Commit fe59a21 pushed by vrindisbacher
June 3, 2025 14:49 3m 9s mpu-abstraction
mpu-abstraction
June 3, 2025 14:49 3m 9s
use Region Descriptor directly to implement allocator litex-sim-ci #483: Commit 0e03883 pushed by vrindisbacher
May 9, 2025 16:34 2m 53s mpu-abstraction
mpu-abstraction
May 9, 2025 16:34 2m 53s
convert allocation abstraction to be generic on region descriptor litex-sim-ci #482: Commit 6740d6f pushed by vrindisbacher
May 9, 2025 16:23 2m 50s vrindisbacher/mpu-abstraction
vrindisbacher/mpu-abstraction
May 9, 2025 16:23 2m 50s
remove a ton of trusted annotations, label the others (#22) litex-sim-ci #481: Commit 3e2291a pushed by vrindisbacher
April 16, 2025 16:26 4m 57s master
master
April 16, 2025 16:26 4m 57s
Clean Up Unecessary Trusted Annotations litex-sim-ci #480: Pull request #22 opened by vrindisbacher
April 16, 2025 16:26 4m 44s vrindisbacher/trusted-annots
vrindisbacher/trusted-annots
April 16, 2025 16:26 4m 44s
0