Skip to content

Actions: riscv/sail-riscv

Actions

Build and test Lean backend

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compile-lean.yml
2,529 workflow runs
2,529 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lean emulator Build and test Lean backend #2611: Pull request #1541 synchronize by Ptival
20m 38s GaloisInc:lean_emulator_ci
GaloisInc:lean_emulator_ci
20m 38s
Add failure reasons for CSR accesses for debugging logs Build and test Lean backend #2610: Pull request #1562 opened by pmundkur
16m 6s pmundkur:csr_access_debug
pmundkur:csr_access_debug
16m 6s
Log explicit and implicit updates to mip. Build and test Lean backend #2609: Pull request #1561 synchronize by pmundkur
16m 43s pmundkur:log_mip_updates
pmundkur:log_mip_updates
16m 43s
Log explicit and implicit updates to mip. Build and test Lean backend #2608: Pull request #1561 synchronize by pmundkur
15m 47s pmundkur:log_mip_updates
pmundkur:log_mip_updates
15m 47s
Log explicit and implicit updates to mip. Build and test Lean backend #2607: Pull request #1561 synchronize by pmundkur
15m 30s pmundkur:log_mip_updates
pmundkur:log_mip_updates
15m 30s
Log explicit and implicit updates to mip. Build and test Lean backend #2606: Pull request #1561 opened by pmundkur
16m 28s pmundkur:log_mip_updates
pmundkur:log_mip_updates
16m 28s
Lean emulator Build and test Lean backend #2605: Pull request #1541 synchronize by Ptival
20m 6s GaloisInc:lean_emulator_ci
GaloisInc:lean_emulator_ci
20m 6s
Refactor CSR access checking to handle virtual-instruction exceptions. Build and test Lean backend #2604: Pull request #1556 synchronize by pmundkur
16m 29s pmundkur:csr_access
pmundkur:csr_access
16m 29s
Lean emulator Build and test Lean backend #2603: Pull request #1541 synchronize by Ptival
19m 50s GaloisInc:lean_emulator_ci
GaloisInc:lean_emulator_ci
19m 50s
Lean emulator Build and test Lean backend #2602: Pull request #1541 synchronize by Ptival
6m 11s GaloisInc:lean_emulator_ci
GaloisInc:lean_emulator_ci
6m 11s
Lean emulator Build and test Lean backend #2601: Pull request #1541 synchronize by Ptival
1m 27s GaloisInc:lean_emulator_ci
GaloisInc:lean_emulator_ci
1m 27s
Lean emulator Build and test Lean backend #2600: Pull request #1541 synchronize by Ptival
1m 13s GaloisInc:lean_emulator_ci
GaloisInc:lean_emulator_ci
1m 13s
Use Sail standard definitions for shifts by integer amounts Build and test Lean backend #2599: Pull request #1559 opened by bacam
15m 23s bacam:primitive-shifts
bacam:primitive-shifts
15m 23s
Support for Symbolic Excution Build and test Lean backend #2598: Pull request #1558 opened by msuadOf
1m 11s msuadOf:symbolic-excution-support
msuadOf:symbolic-excution-support
1m 11s
Refactor CSR access checking to handle virtual-instruction exceptions. Build and test Lean backend #2597: Pull request #1556 synchronize by pmundkur
15m 43s pmundkur:csr_access
pmundkur:csr_access
15m 43s
Refactor CSR access checking to handle virtual-instruction exceptions. Build and test Lean backend #2596: Pull request #1556 synchronize by pmundkur
16m 21s pmundkur:csr_access
pmundkur:csr_access
16m 21s
Refactor CSR access checking to handle virtual-instruction exceptions. Build and test Lean backend #2595: Pull request #1556 opened by pmundkur
15m 25s pmundkur:csr_access
pmundkur:csr_access
15m 25s
plic mvp Build and test Lean backend #2594: Pull request #1476 synchronize by ibvqeibob
14m 32s ibvqeibob:feature/plic-mvp
ibvqeibob:feature/plic-mvp
14m 32s
Log Sail exceptions into the execution trace. (#1555) Build and test Lean backend #2593: Commit c4d3140 pushed by github-merge-queue bot
16m 12s master
master
16m 12s
Log Sail exceptions into the execution trace. (#1555) Build and test Lean backend #2592: Commit c4d3140 pushed by github-merge-queue bot
15m 26s gh-readonly-queue/master/pr-1555-a33475aeb80090127433b5a8b30e717edaa19e71
gh-readonly-queue/master/pr-1555-a33475aeb80090127433b5a8b30e717edaa19e71
15m 26s
Add the Zicfiss extension. Build and test Lean backend #2591: Pull request #1408 synchronize by pmundkur
17m 10s pmundkur:zicfiss
pmundkur:zicfiss
17m 10s
Log Sail exceptions into the execution trace. Build and test Lean backend #2590: Pull request #1555 synchronize by pmundkur
14m 51s pmundkur:sail_exception_trace
pmundkur:sail_exception_trace
14m 51s
Add Hypervisor CSR and virtual Supervisor CSR handling Build and test Lean backend #2589: Pull request #1110 synchronize by nadime15
17m 26s trdthg:h3
trdthg:h3
17m 26s
Log Sail exceptions into the execution trace. Build and test Lean backend #2588: Pull request #1555 synchronize by pmundkur
16m 15s pmundkur:sail_exception_trace
pmundkur:sail_exception_trace
16m 15s
Log Sail exceptions into the execution trace. Build and test Lean backend #2587: Pull request #1555 synchronize by pmundkur
15m 31s pmundkur:sail_exception_trace
pmundkur:sail_exception_trace
15m 31s