Skip to content

Actions: YosysHQ/yosys

Build and run tests (Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,374 workflow runs
1,374 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

verific: Add test of accurate semantics in memory inference
Build and run tests (Linux) #2174: Pull request #3930 opened by povik
September 13, 2023 10:51 34m 57s povik:verific-test-memsemantics
September 13, 2023 10:51 34m 57s
ci: Enable extra libstdc++ assertions
Build and run tests (Linux) #2173: Pull request #3925 synchronize by povik
September 12, 2023 17:45 1h 1m 1s povik:ci-glibcxx-assertions
September 12, 2023 17:45 1h 1m 1s
Merge pull request #3929 from YosysHQ/gatecat/fmt-fix
Build and run tests (Linux) #2172: Commit 05f0262 pushed by povik
September 12, 2023 17:44 49m 39s master
September 12, 2023 17:44 49m 39s
Merge pull request #3928 from povik/mem-wr-merge-transpemu-fix
Build and run tests (Linux) #2171: Commit b04f235 pushed by povik
September 12, 2023 17:44 33m 38s master
September 12, 2023 17:44 33m 38s
fmt: Fix C++ string assertion when buf is empty
Build and run tests (Linux) #2170: Pull request #3929 opened by gatecat
September 12, 2023 16:12 46m 21s gatecat/fmt-fix
September 12, 2023 16:12 46m 21s
fmt: Fix C++ string assertion when buf is empty
Build and run tests (Linux) #2169: Commit 98b9459 pushed by gatecat
September 12, 2023 16:12 30m 22s gatecat/fmt-fix
September 12, 2023 16:12 30m 22s
mem: Fix index confusion in write port merging
Build and run tests (Linux) #2168: Pull request #3928 opened by povik
September 12, 2023 14:44 35m 13s povik:mem-wr-merge-transpemu-fix
September 12, 2023 14:44 35m 13s
Merge pull request #3892 from QuantamHD/dont_use
Build and run tests (Linux) #2167: Commit 88ce47e pushed by mmicko
September 12, 2023 12:58 1h 1m 4s master
September 12, 2023 12:58 1h 1m 4s
Merge pull request #3927 from YosysHQ/verific_memory
Build and run tests (Linux) #2166: Commit 1b5c7b8 pushed by mmicko
September 12, 2023 12:58 46m 7s master
September 12, 2023 12:58 46m 7s
Merge pull request #3926 from YosysHQ/update_abc2
Build and run tests (Linux) #2165: Commit ec75b24 pushed by mmicko
September 12, 2023 12:57 33m 45s master
September 12, 2023 12:57 33m 45s
verific - respect order of read and write for rams
Build and run tests (Linux) #2164: Pull request #3927 opened by mmicko
September 12, 2023 09:57 47m 54s verific_memory
September 12, 2023 09:57 47m 54s
verific - respect order of read and write for rams
Build and run tests (Linux) #2163: Commit 7b134c2 pushed by mmicko
September 12, 2023 09:56 40m 10s verific_memory
September 12, 2023 09:56 40m 10s
multpass -- create Booth Encoded multipliers for
Build and run tests (Linux) #2162: Pull request #3924 synchronize by andyfox-rushc
September 11, 2023 20:00 39m 17s andyfox-rushc:master
September 11, 2023 20:00 39m 17s
Merge pull request #3918 from povik/print-sampling-fix
Build and run tests (Linux) #2159: Commit 31ee566 pushed by povik
September 11, 2023 15:08 42m 54s master
September 11, 2023 15:08 42m 54s
Merge pull request #3915 from povik/sim-print
Build and run tests (Linux) #2158: Commit 5bef9b4 pushed by povik
September 11, 2023 15:04 35m 58s master
September 11, 2023 15:04 35m 58s
Update ABC to latest
Build and run tests (Linux) #2157: Pull request #3926 opened by mmicko
September 11, 2023 14:26 50m 58s update_abc2
September 11, 2023 14:26 50m 58s
Update ABC to latest
Build and run tests (Linux) #2156: Commit bef7ffc pushed by mmicko
September 11, 2023 14:26 38m 29s update_abc2
September 11, 2023 14:26 38m 29s
multpass -- create Booth Encoded multipliers for
Build and run tests (Linux) #2155: Pull request #3924 synchronize by andyfox-rushc
September 10, 2023 21:20 30m 44s andyfox-rushc:master
September 10, 2023 21:20 30m 44s
multpass -- create Booth Encoded multipliers for
Build and run tests (Linux) #2154: Pull request #3924 synchronize by andyfox-rushc
September 10, 2023 20:32 30m 34s andyfox-rushc:master
September 10, 2023 20:32 30m 34s
multpass -- create Booth Encoded multipliers for
Build and run tests (Linux) #2153: Pull request #3924 synchronize by andyfox-rushc
September 10, 2023 19:45 29m 20s andyfox-rushc:master
September 10, 2023 19:45 29m 20s
ci: Enable extra libstdc++ assertions
Build and run tests (Linux) #2152: Pull request #3925 synchronize by povik
September 9, 2023 21:18 27m 42s povik:ci-glibcxx-assertions
September 9, 2023 21:18 27m 42s
ci: Enable extra libstdc++ assertions
Build and run tests (Linux) #2151: Pull request #3925 synchronize by povik
September 9, 2023 20:43 28m 22s povik:ci-glibcxx-assertions
September 9, 2023 20:43 28m 22s
ci: Enable extra libstdc++ assertions
Build and run tests (Linux) #2150: Pull request #3925 opened by povik
September 9, 2023 20:35 1m 25s povik:ci-glibcxx-assertions
September 9, 2023 20:35 1m 25s
multpass -- create Booth Encoded multipliers for
Build and run tests (Linux) #2149: Pull request #3924 synchronize by andyfox-rushc
September 8, 2023 23:45 36m 42s andyfox-rushc:master
September 8, 2023 23:45 36m 42s
ProTip! You can narrow down the results and go further in time using created:<2023-09-08 or the other filters available.