Skip to content

Actions: YosysHQ/yosys

Actions

Build and run tests (macOS)

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