Skip to content

Actions: pulseengine/synth

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,694 workflow runs
1,694 workflow runs

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
wcet: name the op and byte offset in an unmodeled-op decline (#921)… CI #1669: Commit 6c3d62a pushed by avrabe
14m 45s main
main
14m 45s
wcet: name the op and byte offset in an unmodeled-op decline (#921) CI #1668: Pull request #922 synchronize by avrabe
3h 45m 18s fix/wcet-unmodeled-op-names-921
fix/wcet-unmodeled-op-names-921
3h 45m 18s
VCR-RA-010: const-remat eligibility DERIVED from the stream, the hint… CI #1667: Commit 1bc4fec pushed by avrabe
3h 41m 59s main
main
3h 41m 59s
VCR-RA-010: const-remat eligibility DERIVED from the stream, the hint only gates (#242) CI #1666: Pull request #920 synchronize by avrabe
2h 21m 10s lane/v055-l2-vcr-ra-010-remat
lane/v055-l2-vcr-ra-010-remat
2h 21m 10s
aarch64: br_table + value-carrying block/loop/if (#851, VCR-A64-CF-00… CI #1665: Commit d322121 pushed by avrabe
2h 20m 49s main
main
2h 20m 49s
wcet: name the op and byte offset in an unmodeled-op decline (#921) CI #1664: Pull request #922 synchronize by avrabe
2h 17m 18s fix/wcet-unmodeled-op-names-921
fix/wcet-unmodeled-op-names-921
2h 17m 18s
wcet: name the op and byte offset in an unmodeled-op decline (#921) CI #1663: Pull request #922 opened by avrabe
1h 35m 8s fix/wcet-unmodeled-op-names-921
fix/wcet-unmodeled-op-names-921
1h 35m 8s
VCR-RA-010: const-remat eligibility DERIVED from the stream, the hint only gates (#242) CI #1662: Pull request #920 synchronize by avrabe
16m 55s lane/v055-l2-vcr-ra-010-remat
lane/v055-l2-vcr-ra-010-remat
16m 55s
aarch64: br_table + value-carrying block/loop/if (#851, VCR-A64-CF-001) CI #1661: Pull request #914 synchronize by avrabe
15m 31s lane/v055-l6-aarch64-brtable-blockvals
lane/v055-l6-aarch64-brtable-blockvals
15m 31s
VCR-DEC-001 increment 4 (VCR-REACH-001): the allocator models the i64… CI #1660: Commit 43cd261 pushed by avrabe
1h 10m 32s main
main
1h 10m 32s
aarch64: br_table + value-carrying block/loop/if (#851, VCR-A64-CF-001) CI #1659: Pull request #914 synchronize by avrabe
11m 53s lane/v055-l6-aarch64-brtable-blockvals
lane/v055-l6-aarch64-brtable-blockvals
11m 53s
VCR-DEC-001 increment 4 (VCR-REACH-001): the allocator models the i64 register-pair ops — 316→411 applied, measured (#242) CI #1658: Pull request #917 synchronize by avrabe
11m 50s lane/v0.55-L3-vcr-dec-001-reach
lane/v0.55-L3-vcr-dec-001-reach
11m 50s
Make the evidence say what it measures: scope the coverage number, as… CI #1657: Commit 1817bb3 pushed by avrabe
8m 45s main
main
8m 45s
aarch64: br_table + value-carrying block/loop/if (#851, VCR-A64-CF-001) CI #1656: Pull request #914 synchronize by avrabe
13m 10s lane/v055-l6-aarch64-brtable-blockvals
lane/v055-l6-aarch64-brtable-blockvals
13m 10s
VCR-DEC-001 increment 4 (VCR-REACH-001): the allocator models the i64 register-pair ops — 316→411 applied, measured (#242) CI #1655: Pull request #917 synchronize by avrabe
15m 38s lane/v0.55-L3-vcr-dec-001-reach
lane/v0.55-L3-vcr-dec-001-reach
15m 38s
Make the evidence say what it measures: scope the coverage number, assert what the oracles actually execute (#910) CI #1654: Pull request #918 synchronize by avrabe
13m 24s lane/v055-l5-evidence-scope
lane/v055-l5-evidence-scope
13m 24s
L7: traceability repair — rivet ours-errors 2 → 0, VCR-RA-004/SEL-005… CI #1653: Commit 1c35b08 pushed by avrabe
7m 42s main
main
7m 42s
Make the evidence say what it measures: scope the coverage number, assert what the oracles actually execute (#910) CI #1652: Pull request #918 synchronize by avrabe
10m 0s lane/v055-l5-evidence-scope
lane/v055-l5-evidence-scope
10m 0s
Make the evidence say what it measures: scope the coverage number, assert what the oracles actually execute (#910) CI #1651: Pull request #918 synchronize by avrabe
55m 3s lane/v055-l5-evidence-scope
lane/v055-l5-evidence-scope
55m 3s
L7: traceability repair — rivet ours-errors 2 → 0, VCR-RA-004/SEL-005 de-staled, VCR-VER-004 filed (#893) CI #1650: Pull request #913 synchronize by avrabe
52m 0s lane/v0.55-L7-traceability
lane/v0.55-L7-traceability
52m 0s
aarch64: br_table + value-carrying block/loop/if (#851, VCR-A64-CF-001) CI #1649: Pull request #914 synchronize by avrabe
50m 53s lane/v055-l6-aarch64-brtable-blockvals
lane/v055-l6-aarch64-brtable-blockvals
50m 53s
VCR-DEC-001 increment 4 (VCR-REACH-001): the allocator models the i64 register-pair ops — 316→411 applied, measured (#242) CI #1648: Pull request #917 synchronize by avrabe
51m 32s lane/v0.55-L3-vcr-dec-001-reach
lane/v0.55-L3-vcr-dec-001-reach
51m 32s
merge: origin/main (#916 i64 zero-fill fix) into the evidence-scope lane CI #1647: Commit 2009b88 pushed by avrabe
Failure lane/v055-l5-evidence-scope
lane/v055-l5-evidence-scope
Failure
fix(#916): i64 zero-fill mis-encoded for a high destination — MOVS tr… CI #1646: Commit d17c3ac pushed by avrabe
11m 40s main
main
11m 40s
fix(#916): i64 zero-fill mis-encoded for a high destination — MOVS transmuted to CMP at FIVE sites, not two CI #1645: Pull request #919 synchronize by avrabe
2h 54m 15s fix/i64-shift-zero-fill-916
fix/i64-shift-zero-fill-916
2h 54m 15s