Skip to content

Actions: calyxir/calyx

Format

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
4,917 workflow runs
4,917 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add jq stage to fud2 (#2333)
Format #6579: Commit 6b48969 pushed by rachitnigam
November 5, 2024 20:24 1m 57s main
November 5, 2024 20:24 1m 57s
add floating point support to cider
Format #6578: Pull request #2335 synchronize by ekiwi
November 5, 2024 20:20 1m 57s ekiwi:cider-float
November 5, 2024 20:20 1m 57s
add floating point support to cider
Format #6577: Pull request #2335 synchronize by ekiwi
November 5, 2024 20:19 1m 15s ekiwi:cider-float
November 5, 2024 20:19 1m 15s
Add jq stage to fud2
Format #6576: Pull request #2333 synchronize by rachitnigam
November 5, 2024 19:56 1m 54s fud2-jq-state
November 5, 2024 19:56 1m 54s
fix test
Format #6575: Commit 690b817 pushed by rachitnigam
November 5, 2024 19:56 1m 49s fud2-jq-state
November 5, 2024 19:56 1m 49s
Add jq stage to fud2
Format #6574: Pull request #2333 synchronize by rachitnigam
November 5, 2024 19:54 1m 56s fud2-jq-state
November 5, 2024 19:54 1m 56s
Merge branch 'main' into fud2-jq-state
Format #6573: Commit 83d14d9 pushed by rachitnigam
November 5, 2024 19:54 1m 53s fud2-jq-state
November 5, 2024 19:54 1m 53s
use jq in interp tests
Format #6572: Commit ae99d5f pushed by rachitnigam
November 5, 2024 19:53 2m 15s fud2-jq-state
November 5, 2024 19:53 2m 15s
[Cider | Fud2] Rename fud2 stuff to reduce confusion (#2334)
Format #6571: Commit d87b1a2 pushed by ekiwi
November 5, 2024 18:25 1m 54s main
November 5, 2024 18:25 1m 54s
add floating point support to cider
Format #6570: Pull request #2335 opened by ekiwi
November 5, 2024 18:20 1m 24s ekiwi:cider-float
November 5, 2024 18:20 1m 24s
rename fud2 stuff to reduce confusion
Format #6568: Commit e8132c5 pushed by EclecticGriffin
November 5, 2024 17:46 2m 14s cider/fud2-confusion
November 5, 2024 17:46 2m 14s
remove btor code (#2332)
Format #6567: Commit 48f5002 pushed by ekiwi
November 5, 2024 15:32 2m 0s main
November 5, 2024 15:32 2m 0s
Add jq stage to fud2
Format #6566: Pull request #2333 synchronize by rachitnigam
November 5, 2024 14:23 2m 8s fud2-jq-state
November 5, 2024 14:23 2m 8s
update tests
Format #6565: Commit 2a547c3 pushed by rachitnigam
November 5, 2024 14:23 2m 12s fud2-jq-state
November 5, 2024 14:23 2m 12s
Add jq stage to fud2
Format #6564: Pull request #2333 opened by rachitnigam
November 5, 2024 14:19 2m 11s fud2-jq-state
November 5, 2024 14:19 2m 11s
Add jq stage to fud2
Format #6563: Commit 2e8af7e pushed by rachitnigam
November 5, 2024 14:18 2m 10s fud2-jq-state
November 5, 2024 14:18 2m 10s
remove btor code
Format #6562: Pull request #2332 opened by ekiwi
November 5, 2024 14:10 2m 4s ekiwi:remove-btor
November 5, 2024 14:10 2m 4s
writing dot files
Format #6561: Commit ea4d0d9 pushed by ayakayorihiro
November 5, 2024 06:32 54s profiler-tracking-trees
November 5, 2024 06:32 54s
absolutely scratch set of stacks building
Format #6560: Commit aa324bc pushed by ayakayorihiro
November 5, 2024 05:47 52s profiler-tracking-trees
November 5, 2024 05:47 52s
Finished implementing print node command for debugger
Format #6559: Commit 17fed18 pushed by eliascxstro
November 5, 2024 04:30 1m 15s seq
seq
November 5, 2024 04:30 1m 15s