Skip to content

Actions: llvm/circt

Windows build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,137 workflow runs
2,137 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[circt-bmc] Drop outdated integration test (#7898)
Windows build and test #6892: Commit 0599c01 pushed by TaoBi22
November 26, 2024 11:09 13m 47s main
November 26, 2024 11:09 13m 47s
[FIRRTL] Move LowerLayers (and pals) after IMDCE
Windows build and test #6891: Commit 8af679c pushed by seldridge
November 26, 2024 06:23 12m 56s main
November 26, 2024 06:23 12m 56s
[circt-test] fix lit config for circt-bmc (#7884)
Windows build and test #6890: Commit 2d1b963 pushed by fabianschuiki
November 26, 2024 06:13 13m 17s main
November 26, 2024 06:13 13m 17s
[FIRRTL] Make IMDCE work for ops w/ regions/blocks
Windows build and test #6889: Commit d006c2c pushed by seldridge
November 26, 2024 01:11 21m 20s main
November 26, 2024 01:11 21m 20s
[CI] Bump integration test image to 18.0 (#7895)
Windows build and test #6888: Commit 64870b7 pushed by fabianschuiki
November 25, 2024 23:20 15m 2s main
November 25, 2024 23:20 15m 2s
Transform SCF IndexSwitch to nested If-Else (#7670)
Windows build and test #6887: Commit d379a35 pushed by jiahanxie353
November 25, 2024 21:37 2h 17m 24s main
November 25, 2024 21:37 2h 17m 24s
[firtool] Fix formal test (#7894)
Windows build and test #6886: Commit ef72460 pushed by fabianschuiki
November 25, 2024 21:01 2h 18m 14s main
November 25, 2024 21:01 2h 18m 14s
[firtool] Run LowerFormalToHW pass when emitting SV (#7837)
Windows build and test #6885: Commit b854b92 pushed by fabianschuiki
November 25, 2024 20:23 2h 15m 37s main
November 25, 2024 20:23 2h 15m 37s
[Ibis] Rename to 'Kanagawa' (#7832)
Windows build and test #6884: Commit 58665c5 pushed by teqdruid
November 25, 2024 19:23 2h 16m 15s main
November 25, 2024 19:23 2h 16m 15s
[Verif] Require a clock when num_regs is non-zero on a BMC op (#7891)
Windows build and test #6883: Commit 83b5ff3 pushed by TaoBi22
November 25, 2024 15:57 2h 19m 52s main
November 25, 2024 15:57 2h 19m 52s
[VerifToSMT] Only update registers on clock posedge (#7878)
Windows build and test #6882: Commit c690c9d pushed by TaoBi22
November 25, 2024 15:14 2h 18m 31s main
November 25, 2024 15:14 2h 18m 31s
Revert "[FIRRTL] FoldRegMems: insert new ops into same block as memor…
Windows build and test #6881: Commit 87d10b7 pushed by seldridge
November 23, 2024 19:51 13m 16s main
November 23, 2024 19:51 13m 16s
[FIRRTL] FoldRegMems: insert new ops into same block as memory (#7868)
Windows build and test #6880: Commit b342d31 pushed by seldridge
November 23, 2024 07:16 12m 58s main
November 23, 2024 07:16 12m 58s
[FIRRTL] Rewrite, extend InstanceInfo for GC Views
Windows build and test #6879: Commit c259d1b pushed by seldridge
November 23, 2024 04:42 13m 41s main
November 23, 2024 04:42 13m 41s
[FIRRTL] LowerTypes: Manually compact newArgs vector (#7869)
Windows build and test #6878: Commit 9f22da8 pushed by rwy7
November 23, 2024 00:49 13m 3s main
November 23, 2024 00:49 13m 3s
[FIRRTL] Dedup: dedup private modules into public ones (#7877)
Windows build and test #6877: Commit fe6e5ae pushed by youngar
November 22, 2024 22:44 13m 28s main
November 22, 2024 22:44 13m 28s
[AIG] Fix lint/tidy issues in AIGOps.cpp, NFC
Windows build and test #6876: Commit 40043fb pushed by seldridge
November 22, 2024 21:06 12m 38s main
November 22, 2024 21:06 12m 38s
[SMT] Add integration tests for smt.reset (#7874)
Windows build and test #6875: Commit f59bc61 pushed by TaoBi22
November 22, 2024 17:26 13m 0s main
November 22, 2024 17:26 13m 0s
[SMT] Add SMTLIB lowering for push & pop operations (#7873)
Windows build and test #6874: Commit cd7b8b3 pushed by TaoBi22
November 22, 2024 16:45 13m 51s main
November 22, 2024 16:45 13m 51s
[SMT] Add push/pop operations (#7865)
Windows build and test #6873: Commit 9cdbccf pushed by TaoBi22
November 22, 2024 15:44 13m 37s main
November 22, 2024 15:44 13m 37s
[HWToBTOR2] Error on variadic ops (#7866)
Windows build and test #6872: Commit 372dd33 pushed by TaoBi22
November 22, 2024 11:29 13m 35s main
November 22, 2024 11:29 13m 35s
Bump LLVM to 3cc852ece438a63e7b09d1c84a81d21598454e1a. (#7847)
Windows build and test #6871: Commit 02823af pushed by mikeurbach
November 22, 2024 03:15 2h 15m 22s main
November 22, 2024 03:15 2h 15m 22s
[FIRRTL] Simplify InstanceInfo logic, NFC
Windows build and test #6870: Commit c493b8f pushed by seldridge
November 21, 2024 22:49 13m 5s main
November 21, 2024 22:49 13m 5s
[HandshakeToDC] Allow pass to run in mixed dialect module
Windows build and test #6869: Commit 9172a2d pushed by teqdruid
November 21, 2024 22:04 13m 51s main
November 21, 2024 22:04 13m 51s
[HandshakeToDC] Implement ESIInstanceOp lowering (#7871)
Windows build and test #6868: Commit 2b76cf8 pushed by teqdruid
November 21, 2024 21:09 13m 3s main
November 21, 2024 21:09 13m 3s