Skip to content

Actions: YosysHQ/sby

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
391 workflow runs
391 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update sby_engine_abc.py ci #383: Commit 6c8b838 pushed by KrystalDelusion
March 11, 2024 21:48 5m 3s KrystalDelusion-patch-1
KrystalDelusion-patch-1
March 11, 2024 21:48 5m 3s
Merge pull request #267 from jix/sby-status-errormsg ci #382: Commit c73cd3e pushed by jix
March 11, 2024 16:04 5m 8s master
master
March 11, 2024 16:04 5m 8s
Improved CLI behavior when not specifying a config or existing workdir ci #381: Pull request #267 opened by jix
March 11, 2024 15:40 5m 0s jix:sby-status-errormsg
jix:sby-status-errormsg
March 11, 2024 15:40 5m 0s
Option to use btor2aiger to generate aig files from btor ci #380: Pull request #266 opened by KrystalDelusion
March 9, 2024 04:21 4m 48s krys/btor2aiger
krys/btor2aiger
March 9, 2024 04:21 4m 48s
btor2aiger: It kinda works? ci #379: Commit ed8f6e0 pushed by KrystalDelusion
March 9, 2024 04:17 4m 52s krys/btor2aiger
krys/btor2aiger
March 9, 2024 04:17 4m 52s
btor2aiger: Initial version ci #378: Commit 5483df5 pushed by KrystalDelusion
March 8, 2024 21:37 4m 56s krys/btor2aiger
krys/btor2aiger
March 8, 2024 21:37 4m 56s
Merge pull request #263 from jix/pdr-X ci #377: Commit 0c84510 pushed by jix
March 6, 2024 16:07 5m 14s master
master
March 6, 2024 16:07 5m 14s
Support for "abc --keep-going pdr" via new "pdr -X" mode ci #376: Pull request #263 synchronize by jix
March 6, 2024 11:26 5m 1s jix:pdr-X
jix:pdr-X
March 6, 2024 11:26 5m 1s
btor2aiger: Initial version ci #375: Commit 06079f6 pushed by KrystalDelusion
March 5, 2024 05:42 5m 8s krys/btor2aiger
krys/btor2aiger
March 5, 2024 05:42 5m 8s
Add formal_bind example ci #374: Pull request #264 opened by KrystalDelusion
March 5, 2024 02:29 5m 13s krys/vhd_example
krys/vhd_example
March 5, 2024 02:29 5m 13s
Add formal_bind example ci #373: Commit 549c5f3 pushed by KrystalDelusion
March 5, 2024 02:29 4m 57s krys/vhd_example
krys/vhd_example
March 5, 2024 02:29 4m 57s
Support for "abc --keep-going pdr" via new "pdr -X" mode ci #372: Pull request #263 synchronize by jix
February 28, 2024 15:51 41s jix:pdr-X
jix:pdr-X
February 28, 2024 15:51 41s
Support for "abc --keep-going pdr" via new "pdr -X" mode ci #371: Pull request #263 synchronize by jix
February 27, 2024 19:11 43s jix:pdr-X
jix:pdr-X
February 27, 2024 19:11 43s
Support for "abc --keep-going pdr" via new "pdr -X" mode ci #370: Pull request #263 opened by jix
February 20, 2024 13:08 49s jix:pdr-X
jix:pdr-X
February 20, 2024 13:08 49s
Initial support for a multi-task property status database ci #369: Pull request #262 synchronize by jix
February 20, 2024 12:35 5m 17s jix:status-db
jix:status-db
February 20, 2024 12:35 5m 17s
Initial support for a multi-task property status database ci #368: Pull request #262 opened by jix
February 19, 2024 20:13 4m 56s jix:status-db
jix:status-db
February 19, 2024 20:13 4m 56s
Merge pull request #260 from jix/prepare-check ci #367: Commit 5c649c8 pushed by mmicko
February 9, 2024 07:20 12m 34s yosys-0.38
yosys-0.38
February 9, 2024 07:20 12m 34s
Merge pull request #260 from jix/prepare-check ci #366: Commit 5c649c8 pushed by jix
February 1, 2024 14:34 4m 15s master
master
February 1, 2024 14:34 4m 15s
Merge pull request #258 from jix/sby_cmd ci #365: Commit cde9e57 pushed by jix
January 29, 2024 14:16 6m 3s master
master
January 29, 2024 14:16 6m 3s
Merge pull request #261 from YosysHQ/workflows ci #364: Commit 056ced9 pushed by mmicko
January 29, 2024 08:37 4m 17s master
master
January 29, 2024 08:37 4m 17s
Update workflows ci #363: Pull request #261 synchronize by mmicko
January 29, 2024 07:48 4m 27s workflows
workflows
January 29, 2024 07:48 4m 27s
Update workflows ci #362: Commit 44ccad3 pushed by mmicko
January 29, 2024 07:48 4m 20s workflows
workflows
January 29, 2024 07:48 4m 20s
Update workflows ci #361: Pull request #261 opened by mmicko
January 29, 2024 07:21 4m 11s workflows
workflows
January 29, 2024 07:21 4m 11s
Update workflows ci #360: Commit 6385b05 pushed by mmicko
January 29, 2024 07:20 4m 11s workflows
workflows
January 29, 2024 07:20 4m 11s
sby_design: Also track fairness assumptions ci #359: Pull request #260 opened by jix
January 24, 2024 15:09 4m 16s jix:prepare-check
jix:prepare-check
January 24, 2024 15:09 4m 16s
ProTip! You can narrow down the results and go further in time using created:<2024-01-24 or the other filters available.