Skip to content

Actions: plum-umd/wavelet

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
287 workflow runs
287 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Propagate type annotations down to dataflow Build Wavelet #37: Commit 3d98645 pushed by zhengyao-lin
6m 52s typed
typed
6m 52s
Fix elaborated program json format Build Wavelet #36: Commit d7e043d pushed by zhengyao-lin
6m 46s typed
typed
6m 46s
cargo fmt Build Wavelet #35: Commit 1becab5 pushed by zhengyao-lin
6m 46s typed
typed
6m 46s
Fix a test Build Wavelet #34: Commit 0d0196f pushed by zhengyao-lin
6m 41s typed
typed
6m 41s
Fix an issue in affinizer Build Wavelet #33: Commit 2fea826 pushed by zhengyao-lin
6m 36s typed
typed
6m 36s
Fix signedness issue in division, right shifts, and comparisons Build Wavelet #32: Commit 98b1fe5 pushed by zhengyao-lin
6m 49s typed
typed
6m 49s
Annotate types on variables after type checking Build Wavelet #31: Commit 3021993 pushed by zhengyao-lin
6m 53s typed
typed
6m 53s
Make various IRs parametric in a variable type Build Wavelet #30: Commit c3df5cd pushed by zhengyao-lin
6m 54s typed
typed
6m 54s
Merge unit and i0 in the backend IR Build Wavelet #29: Commit c78fb5e pushed by zhengyao-lin
6m 41s main
main
6m 41s
Tweak Build Wavelet #28: Commit 006e609 pushed by zhengyao-lin
7m 4s main
main
7m 4s
CLI tweak Build Wavelet #27: Commit c847f55 pushed by zhengyao-lin
6m 57s main
main
6m 57s
Support integers of different widths in the RipTide semantics Build Wavelet #26: Commit 3c00de9 pushed by zhengyao-lin
6m 46s main
main
6m 46s
Install Z3 in CI Build Wavelet #25: Commit 222bec8 pushed by zhengyao-lin
7m 21s main
main
7m 21s
Install Z3 in CI Build Wavelet #24: Commit 45d834f pushed by zhengyao-lin
6m 17s ffi
ffi
6m 17s
Fix CI and update smtlib Build Wavelet #23: Commit ef18174 pushed by zhengyao-lin
6m 20s ffi
ffi
6m 20s
README.md and fix CI Build Wavelet #22: Commit a63b0ad pushed by zhengyao-lin
6m 21s ffi
ffi
6m 21s
README.md Build Wavelet #21: Commit 1018322 pushed by zhengyao-lin
6m 16s ffi
ffi
6m 16s
Fix CI Build Wavelet #20: Commit a2424ab pushed by zhengyao-lin
6m 13s ffi
ffi
6m 13s
cargo fmt Build Wavelet #19: Commit 409c9df pushed by zhengyao-lin
20s ffi
ffi
20s
Move vendored smtlib-rs to a separate repo Build Wavelet #18: Commit fe803ab pushed by zhengyao-lin
33s ffi
ffi
33s
Use vendored lean-sys and fix a linking issue Build Wavelet #17: Commit 9edfb92 pushed by zhengyao-lin
33s ffi
ffi
33s
Add a new frontend CLI Build Wavelet #16: Commit f58d579 pushed by zhengyao-lin
26s ffi
ffi
26s
cargo fmt Build Wavelet #15: Commit 85df332 pushed by zhengyao-lin
24s ffi
ffi
24s
Fix tests Build Wavelet #14: Commit 5d196fd pushed by zhengyao-lin
23s ffi
ffi
23s
Move things around Build Wavelet #13: Commit f994c40 pushed by zhengyao-lin
32s ffi
ffi
32s
ProTip! You can narrow down the results and go further in time using created:<2026-01-19 or the other filters available.