Skip to content

Actions: masc-ucsc/livehd

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,697 workflow runs
1,697 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
Phase 6: coverage inventory -- the 30-block milestone is certificate-… macOS 26 #5378: Commit 0abff86 pushed by ChangyangZen
20s projection
projection
20s
mem: simulate the GENERATED wrapper; full hashes in the milestone macOS 26 #5377: Commit c21200e pushed by ChangyangZen
44m 34s direction-2-ir-semantics-clean
direction-2-ir-semantics-clean
44m 34s
d3: close the report_started bracket so a finished report looks finished macOS 26 #5376: Commit bf162e6 pushed by ChangyangZen
30m 15s direction-3-translation-validation
direction-3-translation-validation
30m 15s
cprop: hoist a compact loop body's iteration-invariant computations t… macOS 26 #5375: Commit 7fe3c54 pushed by renau
6h 5m 7s master
master
6h 5m 7s
sim: keep compact loops rolled by default; sim.unroll_sites is a debu… macOS 26 #5374: Commit 7e3d624 pushed by renau
7h 12m 21s master
master
7h 12m 21s
cprop: re-pack a shared pack's window unless the pack is small and th… macOS 26 #5373: Commit b83f24d pushed by renau
6h 5m 10s master
master
6h 5m 10s
sim: splice small compact loops flat (sim.unroll_sites, default 8192) macOS 26 #5372: Commit 0f1299b pushed by renau
6h 5m 8s master
master
6h 5m 8s
Fix graph serialization and memory proof initialization macOS 26 #5371: Commit 59b64c7 pushed by renau
6h 5m 8s master
master
6h 5m 8s
Guard LEC input cones and report native arithmetic choices macOS 26 #5370: Commit c89dcef pushed by renau
6h 5m 9s master
master
6h 5m 9s
Record USYN proof audits and remaining timing gaps macOS 26 #5369: Commit 3f0ed65 pushed by renau
6h 5m 9s master
master
6h 5m 9s
Complete the ASAP7 USYN evaluation milestone macOS 26 #5368: Commit 6c60512 pushed by renau
7h 2m 36s master
master
7h 2m 36s
SystemVerilog assume and restrict are environment constraints macOS 26 #5367: Commit 7403b6e pushed by Divya2030
7h 59m 10s master
master
7h 59m 10s
warn when the proof window is shallower than past depth macOS 26 #5366: Commit 4a935ab pushed by Divya2030
8h 5m 18s master
master
8h 5m 18s
Merge remote-tracking branch 'origin/master' macOS 26 #5365: Commit eda5508 pushed by renau
8h 3m 5s master
master
8h 3m 5s
follow sidecar property cones into the design macOS 26 #5364: Commit cd38bd5 pushed by Divya2030
8h 42m 56s master
master
8h 42m 56s
cleanup todo macOS 26 #5363: Commit 6651fac pushed by renau
7h 50m 9s master
master
7h 50m 9s
new Linux compile issues macOS 26 #5362: Commit a8625fa pushed by renau
8h 3m 10s master
master
8h 3m 10s
report cone of influence per design property macOS 26 #5361: Commit 379e88f pushed by Divya2030
8h 4m 47s master
master
8h 4m 47s
prp writter fixes macOS 26 #5360: Commit 9fcfabc pushed by renau
6h 41m 32s master
master
6h 41m 32s
Phase 6 notes: complete the specialization-time measurement macOS 26 #5359: Commit 1b38fd3 pushed by ChangyangZen
20s projection
projection
20s
several fixes macOS 26 #5358: Commit d58c0d7 pushed by renau
7h 6m 16s master
master
7h 6m 16s
print a verdict and kind tally after formal verify macOS 26 #5357: Commit 81fbf48 pushed by Divya2030
6h 5m 9s master
master
6h 5m 9s
disable iff was inverted, checked only during reset macOS 26 #5356: Commit 97486b5 pushed by Divya2030
6h 5m 11s master
master
6h 5m 11s
$rose and $fell read the LSB, not any bit macOS 26 #5355: Commit 62b590a pushed by Divya2030
6h 5m 10s master
master
6h 5m 10s
fix linux issues macOS 26 #5354: Commit 72eab7e pushed by renau
6h 5m 10s master
master
6h 5m 10s