Skip to content

Actions: YosysHQ/yosys

Actions

Build and run tests (macOS)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
943 workflow run results
943 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

smtbmc: Add --track-assumes and --minimize-assumes options Build and run tests (macOS) #3092: Pull request #4268 synchronize by jix
March 7, 2024 13:36 5m 55s jix:smtbmc-track-assumes
jix:smtbmc-track-assumes
March 7, 2024 13:36 5m 55s
smtbmc: Add --track-assumes and --minimize-assumes options Build and run tests (macOS) #3091: Pull request #4268 opened by jix
March 7, 2024 12:36 4m 46s jix:smtbmc-track-assumes
jix:smtbmc-track-assumes
March 7, 2024 12:36 4m 46s
Added nordshift attribute Build and run tests (macOS) #3090: Pull request #3877 synchronize by daglem
March 7, 2024 11:20 4m 46s daglem:nordshift
daglem:nordshift
March 7, 2024 11:20 4m 46s
Added nordshift attribute Build and run tests (macOS) #3089: Pull request #3877 synchronize by daglem
March 7, 2024 11:03 4m 39s daglem:nordshift
daglem:nordshift
March 7, 2024 11:03 4m 39s
opt_clean: Add -coarse mode Build and run tests (macOS) #3088: Pull request #4267 opened by povik
March 7, 2024 10:56 4m 45s povik:coarse_clean
povik:coarse_clean
March 7, 2024 10:56 4m 45s
Added nordshift attribute Build and run tests (macOS) #3087: Pull request #3877 synchronize by daglem
March 7, 2024 08:11 4m 56s daglem:nordshift
daglem:nordshift
March 7, 2024 08:11 4m 56s
Added nordshift attribute Build and run tests (macOS) #3086: Pull request #3877 synchronize by daglem
March 6, 2024 19:16 4m 53s daglem:nordshift
daglem:nordshift
March 6, 2024 19:16 4m 53s
Added nordshift attribute Build and run tests (macOS) #3085: Pull request #3877 synchronize by daglem
March 6, 2024 18:05 3m 44s daglem:nordshift
daglem:nordshift
March 6, 2024 18:05 3m 44s
memory_map: Explain -iattr better Build and run tests (macOS) #3084: Pull request #4265 opened by povik
March 6, 2024 14:16 4m 58s povik:iattr_help
povik:iattr_help
March 6, 2024 14:16 4m 58s
synth: Introduce -extra-map for amending techmap Build and run tests (macOS) #3083: Pull request #4228 synchronize by povik
March 6, 2024 13:55 4m 44s povik:synth-inject
povik:synth-inject
March 6, 2024 13:55 4m 44s
MAX10 updates Build and run tests (macOS) #3080: Pull request #4262 opened by rherveille
March 6, 2024 01:51 4m 29s RoaLogic:master
RoaLogic:master
March 6, 2024 01:51 4m 29s
cxxrtl: add ability to record/replay diagnostics. Build and run tests (macOS) #3079: Commit f60b77a pushed by whitequark
March 5, 2024 17:00 28m 13s master
master
March 5, 2024 17:00 28m 13s
cxxrtl: add ability to record/replay diagnostics Build and run tests (macOS) #3078: Pull request #4261 opened by whitequark
March 5, 2024 16:27 31m 4s whitequark:cxxrtl-record-replay-diags
whitequark:cxxrtl-record-replay-diags
March 5, 2024 16:27 31m 4s
Merge pull request #4222 from jix/pdr-X Build and run tests (macOS) #3077: Commit 04ecabd pushed by jix
March 5, 2024 14:13 27m 7s master
master
March 5, 2024 14:13 27m 7s
Support for SBY's abc --keep-going pdr Build and run tests (macOS) #3076: Pull request #4222 synchronize by jix
March 5, 2024 13:39 24m 51s jix:pdr-X
jix:pdr-X
March 5, 2024 13:39 24m 51s
Fix CXX variables in Makefile Build and run tests (macOS) #3075: Pull request #4258 opened by RCoeurjoly
March 5, 2024 10:17 31m 16s RCoeurjoly:master
RCoeurjoly:master
March 5, 2024 10:17 31m 16s
Added to the Show command a -wireshape <graphviz-shape> flag. Build and run tests (macOS) #3074: Pull request #4252 synchronize by zapta
March 4, 2024 22:55 26m 6s zapta:master
zapta:master
March 4, 2024 22:55 26m 6s
Manual rewrite and presentation merge Build and run tests (macOS) #3073: Pull request #3907 synchronize by KrystalDelusion
March 4, 2024 16:57 56m 0s krys/docs
krys/docs
March 4, 2024 16:57 56m 0s
Docs: Updates from @povik comments Build and run tests (macOS) #3072: Commit 3635f91 pushed by KrystalDelusion
March 4, 2024 16:57 48m 27s krys/docs
krys/docs
March 4, 2024 16:57 48m 27s
Manual rewrite and presentation merge Build and run tests (macOS) #3071: Pull request #3907 synchronize by KrystalDelusion
March 4, 2024 16:48 36m 11s krys/docs
krys/docs
March 4, 2024 16:48 36m 11s
Merge branch 'master' into krys/docs Build and run tests (macOS) #3070: Commit 1455941 pushed by KrystalDelusion
March 4, 2024 16:48 27m 54s krys/docs
krys/docs
March 4, 2024 16:48 27m 54s
docs: Remove TODOs from output Build and run tests (macOS) #3069: Commit 3596025 pushed by KrystalDelusion
March 4, 2024 16:44 28m 30s krys/docs
krys/docs
March 4, 2024 16:44 28m 30s
Support for SBY's abc --keep-going pdr Build and run tests (macOS) #3068: Pull request #4222 synchronize by jix
March 4, 2024 15:53 28m 57s jix:pdr-X
jix:pdr-X
March 4, 2024 15:53 28m 57s
Merge pull request #4224 from povik/equiv_simple-fix Build and run tests (macOS) #3067: Commit 16f6386 pushed by jix
March 4, 2024 14:53 29m 17s master
master
March 4, 2024 14:53 29m 17s
Use cell edges data in check, improve messages Build and run tests (macOS) #3066: Pull request #4184 synchronize by povik
March 4, 2024 10:47 23m 39s povik:check-loop-edges
povik:check-loop-edges
March 4, 2024 10:47 23m 39s
ProTip! You can narrow down the results and go further in time using created:<2024-03-04 or the other filters available.