Skip to content

Actions: YosysHQ/yosys

Actions

Build and run tests (macOS)

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

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
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
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
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
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
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
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
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
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
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
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
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
functional
July 10, 2024 13:28 16m 53s
Check the existance of a different set of outputs. No need for (push … Build and run tests (macOS) #3543: Commit 6b3d9c6 pushed by RCoeurjoly
July 8, 2024 16:30 11m 36s functional
functional
July 8, 2024 16:30 11m 36s
Support $lut cells. Both C++ and SMT tests pass Build and run tests (macOS) #3542: Commit cc795a3 pushed by RCoeurjoly
July 8, 2024 07:14 11m 15s functional
functional
July 8, 2024 07:14 11m 15s
bmux works for SMT, simulation fails for C++ Build and run tests (macOS) #3541: Commit a459eb7 pushed by RCoeurjoly
July 7, 2024 23:21 9m 10s functional
functional
July 7, 2024 23:21 9m 10s
Fix corner case of pos cell with input and output being same width Build and run tests (macOS) #3540: Commit 3dad680 pushed by RCoeurjoly
July 7, 2024 21:42 8m 55s functional
functional
July 7, 2024 21:42 8m 55s
Fix memory leak Build and run tests (macOS) #3539: Commit 73e39b3 pushed by RCoeurjoly
July 7, 2024 21:27 10m 12s functional
functional
July 7, 2024 21:27 10m 12s
Emit valid SMT for stateful designs, fix some cells Build and run tests (macOS) #3538: Commit d8b5b90 pushed by RCoeurjoly
July 7, 2024 21:16 10m 34s functional
functional
July 7, 2024 21:16 10m 34s
Fix parenthesis for arithmetic_shift_right Build and run tests (macOS) #3537: Commit c902c70 pushed by RCoeurjoly
July 5, 2024 19:05 9m 12s functional
functional
July 5, 2024 19:05 9m 12s
Add Makefile helpers for coverage Build and run tests (macOS) #3536: Commit b431295 pushed by mmicko
July 5, 2024 12:50 12m 38s functional
functional
July 5, 2024 12:50 12m 38s
include algorithm, needed for std::reverse Build and run tests (macOS) #3535: Commit 04a9cae pushed by RCoeurjoly
July 4, 2024 21:12 14m 50s functional
functional
July 4, 2024 21:12 14m 50s
add support for $mul, $div, $divfloor, $mod, $modfloor, $pow in funct… Build and run tests (macOS) #3534: Commit 07895b0 pushed by aiju
July 4, 2024 15:59 10m 29s functional
functional
July 4, 2024 15:59 10m 29s
Added $ff test Build and run tests (macOS) #3533: Commit 7a182d5 pushed by RCoeurjoly
July 4, 2024 15:54 10m 1s functional
functional
July 4, 2024 15:54 10m 1s
Add readme explaining how to create test files Build and run tests (macOS) #3532: Commit 4fd5b29 pushed by RCoeurjoly
July 4, 2024 12:13 10m 30s functional
functional
July 4, 2024 12:13 10m 30s
Check unsat when all outputs are different Build and run tests (macOS) #3531: Commit 1e87441 pushed by RCoeurjoly
July 4, 2024 11:59 9m 22s functional
functional
July 4, 2024 11:59 9m 22s