Skip to content

Actions: llvm/circt

Short integration tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
5,770 workflow run results
5,770 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Calyx] Avoid using designated initializers (#7926)
Short integration tests #20675: Commit 6aadc70 pushed by TaoBi22
November 29, 2024 17:02 36m 42s main
November 29, 2024 17:02 36m 42s
[Calyx] Avoid using designated initializers
Short integration tests #20674: Pull request #7926 synchronize by TaoBi22
November 29, 2024 16:48 7m 18s TaoBi22:calyx-avoid-des-init
November 29, 2024 16:48 7m 18s
[Calyx] Avoid using designated initializers
Short integration tests #20673: Pull request #7926 synchronize by TaoBi22
November 29, 2024 16:35 8m 0s TaoBi22:calyx-avoid-des-init
November 29, 2024 16:35 8m 0s
[Calyx] Avoid using designated initializers
Short integration tests #20672: Pull request #7926 synchronize by TaoBi22
November 29, 2024 16:34 7m 58s TaoBi22:calyx-avoid-des-init
November 29, 2024 16:34 7m 58s
[Calyx] Avoid using designated initializers
Short integration tests #20671: Pull request #7926 opened by TaoBi22
November 29, 2024 16:14 7m 17s TaoBi22:calyx-avoid-des-init
November 29, 2024 16:14 7m 17s
[circt-bmc][VerifToSMT] Add initial value support (#7903)
Short integration tests #20670: Commit 46793f4 pushed by TaoBi22
November 29, 2024 16:00 37m 41s main
November 29, 2024 16:00 37m 41s
[VerifToSMT] Exit early after too many clocks error
Short integration tests #20669: Pull request #7923 synchronize by TaoBi22
November 29, 2024 15:59 8m 2s TaoBi22:verif-to-smt-clock-exit
November 29, 2024 15:59 8m 2s
[circt-bmc] Add a simple test with a register storing an aggregate (#…
Short integration tests #20668: Commit dbd1d7c pushed by maerhart
November 29, 2024 15:30 37m 30s main
November 29, 2024 15:30 37m 30s
[RTGTest] Add some registers
Short integration tests #20667: Pull request #7924 opened by maerhart
November 29, 2024 15:26 37m 19s maerhart-rtgtest-registers
November 29, 2024 15:26 37m 19s
[circt-bmc][VerifToSMT] Add initial value support
Short integration tests #20666: Pull request #7903 synchronize by TaoBi22
November 29, 2024 14:56 7m 13s TaoBi22:bmc-init-vals
November 29, 2024 14:56 7m 13s
[VerifToSMT] Exit early after too many clocks error
Short integration tests #20665: Pull request #7923 opened by TaoBi22
November 29, 2024 14:54 7m 9s TaoBi22:verif-to-smt-clock-exit
November 29, 2024 14:54 7m 9s
[circt-bmc][VerifToSMT] Add initial value support
Short integration tests #20664: Pull request #7903 synchronize by TaoBi22
November 29, 2024 14:44 7m 16s TaoBi22:bmc-init-vals
November 29, 2024 14:44 7m 16s
[circt-bmc][VerifToSMT] Add initial value support
Short integration tests #20663: Pull request #7903 synchronize by TaoBi22
November 29, 2024 14:40 8m 1s TaoBi22:bmc-init-vals
November 29, 2024 14:40 8m 1s
[circt-bmc][VerifToSMT] Add initial value support
Short integration tests #20662: Pull request #7903 synchronize by TaoBi22
November 29, 2024 13:51 8m 2s TaoBi22:bmc-init-vals
November 29, 2024 13:51 8m 2s
[circt-bmc] Add a simple test with a register storing an aggregate
Short integration tests #20661: Pull request #7922 opened by maerhart
November 29, 2024 11:42 7m 53s maerhart-bmc-array-register-test
November 29, 2024 11:42 7m 53s
[HWToSMT] ArrayCreateOp and ArrayGetOp support (#7666)
Short integration tests #20660: Commit 9c80a00 pushed by maerhart
November 29, 2024 11:36 8m 9s main
November 29, 2024 11:36 8m 9s
[RTG] Add set_size op for sets and bag_unique_size op for bags
Short integration tests #20658: Pull request #7920 opened by maerhart
November 29, 2024 10:15 37m 37s maerhart-rtg-getsizeops
November 29, 2024 10:15 37m 37s
Fix URL for firrtl spec
Short integration tests #20657: Pull request #7919 opened by sequencer
November 29, 2024 09:50 8m 7s sequencer:patch-2
November 29, 2024 09:50 8m 7s
[SCFToCalyx] Lower Arith CmpFOp to Calyx (#7860)
Short integration tests #20656: Commit ad1f68e pushed by jiahanxie353
November 28, 2024 22:59 8m 35s main
November 28, 2024 22:59 8m 35s
[Calyx] Lower Arith CmpFOp to Calyx
Short integration tests #20655: Pull request #7860 synchronize by jiahanxie353
November 28, 2024 21:25 7m 23s jiahanxie353:lower-cmpf-to-calyx
November 28, 2024 21:25 7m 23s
[MooreToCore] Lower the unpacked array type to hw.array
Short integration tests #20654: Pull request #7893 synchronize by slowlime
November 28, 2024 18:20 8m 21s slowlime:unpacked-array-lowering
November 28, 2024 18:20 8m 21s
[Calyx] Lower Arith CmpFOp to Calyx
Short integration tests #20653: Pull request #7860 synchronize by jiahanxie353
November 28, 2024 16:05 9m 1s jiahanxie353:lower-cmpf-to-calyx
November 28, 2024 16:05 9m 1s
[FIRRTL] FoldUnusedBits: minor cleanup (#7914)
Short integration tests #20652: Commit b16f1ad pushed by rwy7
November 28, 2024 13:39 8m 34s main
November 28, 2024 13:39 8m 34s
[FIRRTL] FoldUnusedBits: Cast compressed data back to signed integer …
Short integration tests #20651: Commit e2ebea5 pushed by rwy7
November 28, 2024 13:39 8m 21s main
November 28, 2024 13:39 8m 21s