Skip to content

Actions: YosysHQ/yosys

Actions

Build and run tests (Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,496 workflow runs
1,496 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 (Linux) #3553: Commit bcd5d23 pushed by aiju
July 18, 2024 13:10 12m 19s functional
functional
July 18, 2024 13:10 12m 19s
add support for RTLIL cells with multiple outputs to the functional b… Build and run tests (Linux) #3552: Commit 83d3cf1 pushed by aiju
July 17, 2024 15:33 11m 58s functional
functional
July 17, 2024 15:33 11m 58s
eliminate pmux in functional backend Build and run tests (Linux) #3551: Commit b305737 pushed by aiju
July 17, 2024 12:36 12m 20s functional
functional
July 17, 2024 12:36 12m 20s
remove widths parameters from FunctionalIR factory methods and from f… Build and run tests (Linux) #3550: Commit 7f68327 pushed by aiju
July 17, 2024 11:42 12m 7s functional
functional
July 17, 2024 11:42 12m 7s
fix a few bugs in the functional backend and refactor the testing Build and run tests (Linux) #3549: Commit 5800801 pushed by aiju
July 16, 2024 16:55 14m 12s functional
functional
July 16, 2024 16:55 14m 12s
smtr: Revert dropping unimplemented cells Build and run tests (Linux) #3548: Commit 230eba1 pushed by KrystalDelusion
July 15, 2024 00:08 14m 22s krys/functional_rosette
krys/functional_rosette
July 15, 2024 00:08 14m 22s
smtr: Add rkt parse testing Build and run tests (Linux) #3547: Commit ddbddda pushed by KrystalDelusion
July 14, 2024 23:48 10m 3s krys/functional_rosette
krys/functional_rosette
July 14, 2024 23:48 10m 3s
smtr: Make Rosette compatible Build and run tests (Linux) #3546: Commit 5468bdf pushed by KrystalDelusion
July 13, 2024 01:07 14m 14s krys/functional_rosette
krys/functional_rosette
July 13, 2024 01:07 14m 14s
rewrite functional backend test code in python Build and run tests (Linux) #3545: Commit 4e2bcd3 pushed by aiju
July 12, 2024 10:07 11m 50s functional
functional
July 12, 2024 10:07 11m 50s
factor out SExpr/SExprWriter classes out of smtlib backend, and also … Build and run tests (Linux) #3544: Commit ccb95b3 pushed by aiju
July 11, 2024 10:30 12m 11s functional
functional
July 11, 2024 10:30 12m 11s
change smtlib backend to use list() function instead of SExpr{} const… Build and run tests (Linux) #3543: Commit e786722 pushed by aiju
July 10, 2024 17:08 12m 0s functional
functional
July 10, 2024 17:08 12m 0s
rewrite smtlib pass to use SExpr class Build and run tests (Linux) #3542: Commit af83d8d pushed by aiju
July 10, 2024 13:28 15m 11s functional
functional
July 10, 2024 13:28 15m 11s
Check the existance of a different set of outputs. No need for (push … Build and run tests (Linux) #3541: Commit 6b3d9c6 pushed by RCoeurjoly
July 8, 2024 16:30 11m 38s functional
functional
July 8, 2024 16:30 11m 38s
Support $lut cells. Both C++ and SMT tests pass Build and run tests (Linux) #3540: Commit cc795a3 pushed by RCoeurjoly
July 8, 2024 07:14 12m 24s functional
functional
July 8, 2024 07:14 12m 24s
bmux works for SMT, simulation fails for C++ Build and run tests (Linux) #3539: Commit a459eb7 pushed by RCoeurjoly
July 7, 2024 23:21 11m 45s functional
functional
July 7, 2024 23:21 11m 45s
Fix corner case of pos cell with input and output being same width Build and run tests (Linux) #3538: Commit 3dad680 pushed by RCoeurjoly
July 7, 2024 21:42 11m 55s functional
functional
July 7, 2024 21:42 11m 55s
Fix memory leak Build and run tests (Linux) #3537: Commit 73e39b3 pushed by RCoeurjoly
July 7, 2024 21:27 11m 41s functional
functional
July 7, 2024 21:27 11m 41s
Emit valid SMT for stateful designs, fix some cells Build and run tests (Linux) #3536: Commit d8b5b90 pushed by RCoeurjoly
July 7, 2024 21:16 11m 42s functional
functional
July 7, 2024 21:16 11m 42s
Fix parenthesis for arithmetic_shift_right Build and run tests (Linux) #3535: Commit c902c70 pushed by RCoeurjoly
July 5, 2024 19:05 16m 54s functional
functional
July 5, 2024 19:05 16m 54s
Add Makefile helpers for coverage Build and run tests (Linux) #3534: Commit b431295 pushed by mmicko
July 5, 2024 12:50 11m 35s functional
functional
July 5, 2024 12:50 11m 35s
include algorithm, needed for std::reverse Build and run tests (Linux) #3533: Commit 04a9cae pushed by RCoeurjoly
July 4, 2024 21:12 11m 53s functional
functional
July 4, 2024 21:12 11m 53s
add support for $mul, $div, $divfloor, $mod, $modfloor, $pow in funct… Build and run tests (Linux) #3532: Commit 07895b0 pushed by aiju
July 4, 2024 15:59 11m 48s functional
functional
July 4, 2024 15:59 11m 48s
Added $ff test Build and run tests (Linux) #3531: Commit 7a182d5 pushed by RCoeurjoly
July 4, 2024 15:54 11m 35s functional
functional
July 4, 2024 15:54 11m 35s
Add readme explaining how to create test files Build and run tests (Linux) #3530: Commit 4fd5b29 pushed by RCoeurjoly
July 4, 2024 12:13 13m 12s functional
functional
July 4, 2024 12:13 13m 12s
Check unsat when all outputs are different Build and run tests (Linux) #3529: Commit 1e87441 pushed by RCoeurjoly
July 4, 2024 11:59 12m 3s functional
functional
July 4, 2024 11:59 12m 3s