Skip to content

Actions: llvm/circt

Actions

Short integration tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
shortIntegrationTests.yml
6,961 workflow runs
6,961 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[RTG] Add InstructionOpInterface Short integration tests #20868: Pull request #7979 opened by maerhart
December 12, 2024 21:08 8m 7s maerhart-rtg-instruction-interface
maerhart-rtg-instruction-interface
December 12, 2024 21:08 8m 7s
[FSM][NFC] Fix incorrect pass summary Short integration tests #20867: Commit 87af795 pushed by TaoBi22
December 12, 2024 20:15 8m 20s main
main
December 12, 2024 20:15 8m 20s
[RTG][Elaboration] Add support for 'index.add' and 'index.cmp' Short integration tests #20866: Pull request #7978 opened by maerhart
December 12, 2024 19:54 8m 0s maerhart-rtg-elaboration-indexops
maerhart-rtg-elaboration-indexops
December 12, 2024 19:54 8m 0s
[SCFToCalyx] buildLibraryOp cast floating point to integer types Short integration tests #20865: Pull request #7977 opened by jiahanxie353
December 12, 2024 19:46 8m 19s jiahanxie353:buildlibop-float
jiahanxie353:buildlibop-float
December 12, 2024 19:46 8m 19s
Bump LLVM to b0b546d44777eb1fa25995384876bd14a006a929. Short integration tests #20864: Pull request #7976 opened by mikeurbach
December 12, 2024 19:34 35m 56s mikeurbach/bump-llvm
mikeurbach/bump-llvm
December 12, 2024 19:34 35m 56s
Fix warnings about unused variables when assertions are disabled (NFC… Short integration tests #20863: Commit bac37a3 pushed by maerhart
December 12, 2024 18:30 7m 50s main
main
December 12, 2024 18:30 7m 50s
[circt-bmc] Add option to print solver output & assertions (#7974) Short integration tests #20862: Commit a82f832 pushed by TaoBi22
December 12, 2024 18:19 7m 50s main
main
December 12, 2024 18:19 7m 50s
[CombToAIG] Add a lowering for Add/Sub Short integration tests #20861: Pull request #7968 synchronize by uenoku
December 12, 2024 18:15 9m 40s dev/hidetou/comb-to-aig-add
dev/hidetou/comb-to-aig-add
December 12, 2024 18:15 9m 40s
Fix warnings about unused variables when assertions are disabled (NFC) Short integration tests #20860: Pull request #7975 opened by maerhart
December 12, 2024 18:09 9m 2s maerhart-fix-release-mode-warnings
maerhart-fix-release-mode-warnings
December 12, 2024 18:09 9m 2s
[circt-bmc] Add option to print solver output & assertions Short integration tests #20859: Pull request #7974 opened by TaoBi22
December 12, 2024 17:41 8m 30s TaoBi22:bmc-add-solver-output-opt
TaoBi22:bmc-add-solver-output-opt
December 12, 2024 17:41 8m 30s
[RTG][Elaboration] Support sequences Short integration tests #20858: Pull request #7969 synchronize by maerhart
December 12, 2024 16:45 7m 15s maerhart-rtg-elaboration-sequences
maerhart-rtg-elaboration-sequences
December 12, 2024 16:45 7m 15s
[Do-Not-Merge][FIRRTL][Sim][SV] Rework printf lowering pipeline Short integration tests #20857: Pull request #7973 opened by fzi-hielscher
December 12, 2024 16:06 12m 31s fzi-hielscher:firrtl-sim-sv-print
fzi-hielscher:firrtl-sim-sv-print
December 12, 2024 16:06 12m 31s
[RFC][Sim] Add triggered simulation procedures Short integration tests #20856: Pull request #7676 synchronize by fzi-hielscher
December 12, 2024 15:13 9m 48s fzi-hielscher:sim-triggered
fzi-hielscher:sim-triggered
December 12, 2024 15:13 9m 48s
Re-land: [FIRRTL][CAPI] Add more functions for discriminating and querying type Short integration tests #20855: Pull request #7972 opened by SpriteOvO
December 12, 2024 14:30 8m 53s SpriteOvO:firrtl-more-c-api
SpriteOvO:firrtl-more-c-api
December 12, 2024 14:30 8m 53s
[ImportVerilog] Add case inside Short integration tests #20854: Pull request #7928 synchronize by ankolesn
December 12, 2024 10:06 8m 34s ankolesn:add-case-inside
ankolesn:add-case-inside
December 12, 2024 10:06 8m 34s
[ImportVerilog] Add case inside Short integration tests #20853: Pull request #7928 synchronize by ankolesn
December 12, 2024 10:04 Action required ankolesn:add-case-inside
ankolesn:add-case-inside
December 12, 2024 10:04 Action required
[ImportVerilog] Support for sized unpacked arrays in 'inside' expressions Short integration tests #20852: Pull request #7971 opened by ladisgin
December 11, 2024 20:16 9m 12s ladisgin:inside_sized_unpacked_array
ladisgin:inside_sized_unpacked_array
December 11, 2024 20:16 9m 12s
Revert "[FIRRTL][CAPI] Add more functions for discriminating and quer… Short integration tests #20851: Commit d53c2d0 pushed by seldridge
December 11, 2024 16:06 8m 21s main
main
December 11, 2024 16:06 8m 21s
[RTG][Elaboration] Support sequences Short integration tests #20850: Pull request #7969 opened by maerhart
December 11, 2024 13:53 8m 35s maerhart-rtg-elaboration-sequences
maerhart-rtg-elaboration-sequences
December 11, 2024 13:53 8m 35s
[FIRRTL][CAPI] Add more functions for discriminating and querying type Short integration tests #20849: Commit 1462269 pushed by SpriteOvO
December 11, 2024 06:06 8m 10s main
main
December 11, 2024 06:06 8m 10s
[FIRRTL][CAPI] Add more functions for discriminating and querying type Short integration tests #20848: Pull request #7960 synchronize by SpriteOvO
December 11, 2024 05:17 7m 9s SpriteOvO:firrtl-more-c-api
SpriteOvO:firrtl-more-c-api
December 11, 2024 05:17 7m 9s
[CombToAIG] Add a lowering for Add/Sub Short integration tests #20847: Pull request #7968 opened by uenoku
December 11, 2024 01:11 8m 34s dev/hidetou/comb-to-aig-add
dev/hidetou/comb-to-aig-add
December 11, 2024 01:11 8m 34s
[CombToAIG] Add a pattern for lowering varidaic operations Short integration tests #20846: Pull request #7967 synchronize by uenoku
December 11, 2024 01:05 7m 31s uenoku:dev/hidetou/variadic
uenoku:dev/hidetou/variadic
December 11, 2024 01:05 7m 31s
[Verif] LowerContractsPass Short integration tests #20845: Pull request #7870 synchronize by leonardt
December 11, 2024 00:26 8m 51s lenny/contracts-test
lenny/contracts-test
December 11, 2024 00:26 8m 51s
[CombToAIG] Add a pattern for lowering varidaic operations Short integration tests #20844: Pull request #7967 opened by uenoku
December 11, 2024 00:00 8m 19s uenoku:dev/hidetou/variadic
uenoku:dev/hidetou/variadic
December 11, 2024 00:00 8m 19s