Skip to content

Actions: YosysHQ/yosys

Actions

Build and run tests (Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
346 workflow run results
346 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) #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
cxxrtl: Add simple tests for cxxrtl::value from cxxrtl runtime Build and run tests (Linux) #2588: Pull request #4072 opened by merryhime
December 13, 2023 12:21 25m 8s merryhime:cxxrtl-value-tests
merryhime:cxxrtl-value-tests
December 13, 2023 12:21 25m 8s
cxxrtl: Fix formating Build and run tests (Linux) #2587: Commit 1c8e58a pushed by whitequark
December 13, 2023 06:08 23m 53s master
master
December 13, 2023 06:08 23m 53s
cxxrtl: Add unit tests for runtime Build and run tests (Linux) #2586: Pull request #4070 synchronize by merryhime
December 13, 2023 01:11 23m 58s merryhime:test-cxxrtl-runtime
merryhime:test-cxxrtl-runtime
December 13, 2023 01:11 23m 58s
cxxrtl: Add unit tests for runtime Build and run tests (Linux) #2585: Pull request #4070 opened by merryhime
December 13, 2023 00:57 24m 31s merryhime:test-cxxrtl-runtime
merryhime:test-cxxrtl-runtime
December 13, 2023 00:57 24m 31s
Manual rewrite and presentation merge Build and run tests (Linux) #2584: Pull request #3907 synchronize by KrystalDelusion
December 12, 2023 21:20 34m 4s krys/docs
krys/docs
December 12, 2023 21:20 34m 4s