Skip to content

Actions: YosysHQ/yosys

Actions

Build and run tests (Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
414 workflow run results
414 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cxxrtl: implement a generic record/replay interface. Build and run tests (Linux) #2613: Commit b71a73c pushed by whitequark
December 20, 2023 13:24 24m 10s cxxrtl-replay
cxxrtl-replay
December 20, 2023 13:24 24m 10s
Manual rewrite and presentation merge Build and run tests (Linux) #2612: Pull request #3907 synchronize by KrystalDelusion
December 20, 2023 01:08 33m 49s krys/docs
krys/docs
December 20, 2023 01:08 33m 49s
First pass example_synth done Build and run tests (Linux) #2611: Commit 50d8c1b pushed by KrystalDelusion
December 20, 2023 01:08 24m 30s krys/docs
krys/docs
December 20, 2023 01:08 24m 30s
$scopeinfo support Build and run tests (Linux) #2610: Pull request #4084 synchronize by jix
December 19, 2023 19:07 24m 33s jix:scopeinfo
jix:scopeinfo
December 19, 2023 19:07 24m 33s
cxxrtl: implement a generic record/replay interface Build and run tests (Linux) #2609: Pull request #4083 synchronize by whitequark
December 19, 2023 16:39 33m 16s cxxrtl-replay
cxxrtl-replay
December 19, 2023 16:39 33m 16s
cxxrtl: implement a generic record/replay interface. Build and run tests (Linux) #2608: Commit 71d4581 pushed by whitequark
December 19, 2023 16:39 23m 14s cxxrtl-replay
cxxrtl-replay
December 19, 2023 16:39 23m 14s
$scopeinfo support Build and run tests (Linux) #2607: Pull request #4084 opened by jix
December 19, 2023 15:29 24m 10s jix:scopeinfo
jix:scopeinfo
December 19, 2023 15:29 24m 10s
cxxrtl: implement a generic record/replay interface Build and run tests (Linux) #2606: Pull request #4083 opened by whitequark
December 19, 2023 14:55 44m 7s cxxrtl-replay
cxxrtl-replay
December 19, 2023 14:55 44m 7s
cxxrtl: implement a generic record/replay interface. Build and run tests (Linux) #2605: Commit 67e14ec pushed by whitequark
December 19, 2023 14:55 33m 42s cxxrtl-replay
cxxrtl-replay
December 19, 2023 14:55 33m 42s
WIP: cxxrtl_server.h Build and run tests (Linux) #2604: Commit d10a24e pushed by whitequark
December 19, 2023 14:54 23m 41s cxxrtl-replay
cxxrtl-replay
December 19, 2023 14:54 23m 41s
Merge pull request #4049 from pepijndevos/patch-3 Build and run tests (Linux) #2603: Commit a4ad7cb pushed by mmicko
December 19, 2023 07:16 23m 28s master
master
December 19, 2023 07:16 23m 28s
Merge pull request #3887 from kivikakk/env-bash Build and run tests (Linux) #2602: Commit d87bd7c pushed by nakengelhardt
December 18, 2023 15:33 36m 4s master
master
December 18, 2023 15:33 36m 4s
Merge pull request #3971 from povik/equiv_simple-fixes Build and run tests (Linux) #2601: Commit 78541be pushed by nakengelhardt
December 18, 2023 15:31 26m 19s master
master
December 18, 2023 15:31 26m 19s
Merge pull request #4078 from jix/smtbmc-cexenum-support Build and run tests (Linux) #2600: Commit 2615209 pushed by nakengelhardt
December 18, 2023 15:20 25m 39s master
master
December 18, 2023 15:20 25m 39s
Manual rewrite and presentation merge Build and run tests (Linux) #2599: Pull request #3907 synchronize by KrystalDelusion
December 18, 2023 04:49 34m 1s krys/docs
krys/docs
December 18, 2023 04:49 34m 1s
More work on example_synth Build and run tests (Linux) #2598: Commit a33b1b6 pushed by KrystalDelusion
December 18, 2023 04:49 25m 2s krys/docs
krys/docs
December 18, 2023 04:49 25m 2s
Improvements to smtbmc/witness to support counter-example enumeration Build and run tests (Linux) #2597: Pull request #4078 opened by jix
December 14, 2023 15:48 24m 43s jix:smtbmc-cexenum-support
jix:smtbmc-cexenum-support
December 14, 2023 15:48 24m 43s
cxxrtl: Mask bmux result appropriately Build and run tests (Linux) #2596: Commit 449e3db pushed by whitequark
December 14, 2023 06:57 23m 55s master
master
December 14, 2023 06:57 23m 55s
Manual rewrite and presentation merge Build and run tests (Linux) #2595: Pull request #3907 synchronize by KrystalDelusion
December 14, 2023 03:22 32m 28s krys/docs
krys/docs
December 14, 2023 03:22 32m 28s
New example_synth code Build and run tests (Linux) #2594: Commit 80c78aa pushed by KrystalDelusion
December 14, 2023 03:22 23m 17s krys/docs
krys/docs
December 14, 2023 03:22 23m 17s
cxxrtl: Mask bmux result appropriately Build and run tests (Linux) #2593: Pull request #4075 opened by povik
December 13, 2023 17:23 23m 58s povik:cxxrtl-bmux
povik:cxxrtl-bmux
December 13, 2023 17:23 23m 58s
Merge pull request #4072 from merryhime/cxxrtl-value-tests Build and run tests (Linux) #2592: Commit 112b111 pushed by povik
December 13, 2023 17:11 24m 29s master
master
December 13, 2023 17:11 24m 29s
cxxrtl: Add simple tests for cxxrtl::value from cxxrtl runtime Build and run tests (Linux) #2591: Pull request #4072 synchronize by merryhime
December 13, 2023 12:27 48m 37s merryhime:cxxrtl-value-tests
merryhime:cxxrtl-value-tests
December 13, 2023 12:27 48m 37s
cxxrtl: Fixes to shift operations, ctlz Build and run tests (Linux) #2590: Pull request #4073 opened by povik
December 13, 2023 12:23 42m 38s povik:cxxrtl-ops-fix
povik:cxxrtl-ops-fix
December 13, 2023 12:23 42m 38s
cxxrtl: Add simple tests for cxxrtl::value from cxxrtl runtime Build and run tests (Linux) #2589: Pull request #4072 synchronize by merryhime
December 13, 2023 12:21 35m 40s merryhime:cxxrtl-value-tests
merryhime:cxxrtl-value-tests
December 13, 2023 12:21 35m 40s