Skip to content

Actions: YosysHQ/yosys

Build and run tests (macOS)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,162 workflow run results
1,162 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge rosette support into functional branch
Build and run tests (macOS) #3568: Pull request #4513 opened by KrystalDelusion
July 28, 2024 23:54 10m 22s krys/functional_rosette
July 28, 2024 23:54 10m 22s
smtr: Fix constants
Build and run tests (macOS) #3567: Commit f9f5c2c pushed by KrystalDelusion
July 28, 2024 23:49 12m 5s krys/functional_rosette
July 28, 2024 23:49 12m 5s
silence some more warnings, undo mistaken addition
Build and run tests (macOS) #3566: Commit faa5757 pushed by aiju
July 25, 2024 12:12 9m 49s functional
July 25, 2024 12:12 9m 49s
silence some warnings
Build and run tests (macOS) #3565: Commit 42426cb pushed by aiju
July 25, 2024 11:55 10m 23s functional
July 25, 2024 11:55 10m 23s
add optional header and hashlib implementation for optional
Build and run tests (macOS) #3564: Commit 21d6f96 pushed by aiju
July 25, 2024 11:26 11m 44s functional
July 25, 2024 11:26 11m 44s
convert class FunctionalIR to a namespace Functional, rename function…
Build and run tests (macOS) #3563: Commit 97d2e5d pushed by aiju
July 25, 2024 11:11 15m 31s functional
July 25, 2024 11:11 15m 31s
functional backend: topological sort starts with the output and next …
Build and run tests (macOS) #3562: Commit 5ba566a pushed by aiju
July 25, 2024 09:35 10m 41s functional
July 25, 2024 09:35 10m 41s
functional backend: make Memory in the C++ simulation library read-on…
Build and run tests (macOS) #3561: Commit 547b3e4 pushed by aiju
July 24, 2024 17:50 14m 48s functional
July 24, 2024 17:50 14m 48s
add support for initializing registers and memories to the functional…
Build and run tests (macOS) #3560: Commit a468cf3 pushed by aiju
July 24, 2024 16:37 13m 17s functional
July 24, 2024 16:37 13m 17s
smtr: Use raco test with symbolics flag
Build and run tests (macOS) #3559: Commit 3d6c96c pushed by KrystalDelusion
July 24, 2024 00:35 15m 58s krys/functional_rosette
July 24, 2024 00:35 15m 58s
Updates
Build and run tests (macOS) #3558: Commit c35dd4a pushed by clairexen
July 22, 2024 15:39 48s claire/vay
July 22, 2024 15:39 48s
Initial VAY draft
Build and run tests (macOS) #3557: Commit 5a53212 pushed by clairexen
July 18, 2024 14:20 31m 58s claire/vay
July 18, 2024 14:20 31m 58s
functional backend: error out if multiply driven or undriven signals …
Build and run tests (macOS) #3556: Commit b828631 pushed by aiju
July 18, 2024 13:23 15m 14s functional
July 18, 2024 13:23 15m 14s
fix memory handling in functional backend, add more error messages an…
Build and run tests (macOS) #3555: Commit bcd5d23 pushed by aiju
July 18, 2024 13:10 12m 24s functional
July 18, 2024 13:10 12m 24s
add support for RTLIL cells with multiple outputs to the functional b…
Build and run tests (macOS) #3554: Commit 83d3cf1 pushed by aiju
July 17, 2024 15:33 11m 16s functional
July 17, 2024 15:33 11m 16s
eliminate pmux in functional backend
Build and run tests (macOS) #3553: Commit b305737 pushed by aiju
July 17, 2024 12:36 14m 20s functional
July 17, 2024 12:36 14m 20s
remove widths parameters from FunctionalIR factory methods and from f…
Build and run tests (macOS) #3552: Commit 7f68327 pushed by aiju
July 17, 2024 11:42 10m 42s functional
July 17, 2024 11:42 10m 42s
fix a few bugs in the functional backend and refactor the testing
Build and run tests (macOS) #3551: Commit 5800801 pushed by aiju
July 16, 2024 16:55 12m 17s functional
July 16, 2024 16:55 12m 17s
smtr: Revert dropping unimplemented cells
Build and run tests (macOS) #3550: Commit 230eba1 pushed by KrystalDelusion
July 15, 2024 00:08 11m 31s krys/functional_rosette
July 15, 2024 00:08 11m 31s
smtr: Add rkt parse testing
Build and run tests (macOS) #3549: Commit ddbddda pushed by KrystalDelusion
July 14, 2024 23:48 7m 40s krys/functional_rosette
July 14, 2024 23:48 7m 40s
smtr: Make Rosette compatible
Build and run tests (macOS) #3548: Commit 5468bdf pushed by KrystalDelusion
July 13, 2024 01:07 12m 54s krys/functional_rosette
July 13, 2024 01:07 12m 54s
rewrite functional backend test code in python
Build and run tests (macOS) #3547: Commit 4e2bcd3 pushed by aiju
July 12, 2024 10:07 11m 39s functional
July 12, 2024 10:07 11m 39s
factor out SExpr/SExprWriter classes out of smtlib backend, and also …
Build and run tests (macOS) #3546: Commit ccb95b3 pushed by aiju
July 11, 2024 10:30 9m 40s functional
July 11, 2024 10:30 9m 40s
change smtlib backend to use list() function instead of SExpr{} const…
Build and run tests (macOS) #3545: Commit e786722 pushed by aiju
July 10, 2024 17:08 9m 40s functional
July 10, 2024 17:08 9m 40s
rewrite smtlib pass to use SExpr class
Build and run tests (macOS) #3544: Commit af83d8d pushed by aiju
July 10, 2024 13:28 16m 53s functional
July 10, 2024 13:28 16m 53s