Skip to content

Actions: YosysHQ/yosys

Actions

WASI Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,029 workflow runs
1,029 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

eliminate pmux in functional backend WASI Build #1028: Commit b305737 pushed by aiju
July 17, 2024 12:36 15m 48s functional
functional
July 17, 2024 12:36 15m 48s
remove widths parameters from FunctionalIR factory methods and from f… WASI Build #1027: Commit 7f68327 pushed by aiju
July 17, 2024 11:42 14m 45s functional
functional
July 17, 2024 11:42 14m 45s
fix a few bugs in the functional backend and refactor the testing WASI Build #1026: Commit 5800801 pushed by aiju
July 16, 2024 16:55 16m 3s functional
functional
July 16, 2024 16:55 16m 3s
smtr: Revert dropping unimplemented cells WASI Build #1025: Commit 230eba1 pushed by KrystalDelusion
July 15, 2024 00:08 16m 49s krys/functional_rosette
krys/functional_rosette
July 15, 2024 00:08 16m 49s
smtr: Add rkt parse testing WASI Build #1024: Commit ddbddda pushed by KrystalDelusion
July 14, 2024 23:48 9m 29s krys/functional_rosette
krys/functional_rosette
July 14, 2024 23:48 9m 29s
smtr: Make Rosette compatible WASI Build #1023: Commit 5468bdf pushed by KrystalDelusion
July 13, 2024 01:07 16m 5s krys/functional_rosette
krys/functional_rosette
July 13, 2024 01:07 16m 5s
rewrite functional backend test code in python WASI Build #1022: Commit 4e2bcd3 pushed by aiju
July 12, 2024 10:07 15m 32s functional
functional
July 12, 2024 10:07 15m 32s
factor out SExpr/SExprWriter classes out of smtlib backend, and also … WASI Build #1021: Commit ccb95b3 pushed by aiju
July 11, 2024 10:30 16m 10s functional
functional
July 11, 2024 10:30 16m 10s
change smtlib backend to use list() function instead of SExpr{} const… WASI Build #1020: Commit e786722 pushed by aiju
July 10, 2024 17:08 15m 47s functional
functional
July 10, 2024 17:08 15m 47s
rewrite smtlib pass to use SExpr class WASI Build #1019: Commit af83d8d pushed by aiju
July 10, 2024 13:28 16m 12s functional
functional
July 10, 2024 13:28 16m 12s
Check the existance of a different set of outputs. No need for (push … WASI Build #1018: Commit 6b3d9c6 pushed by RCoeurjoly
July 8, 2024 16:30 16m 4s functional
functional
July 8, 2024 16:30 16m 4s
Support $lut cells. Both C++ and SMT tests pass WASI Build #1017: Commit cc795a3 pushed by RCoeurjoly
July 8, 2024 07:14 15m 45s functional
functional
July 8, 2024 07:14 15m 45s
bmux works for SMT, simulation fails for C++ WASI Build #1016: Commit a459eb7 pushed by RCoeurjoly
July 7, 2024 23:21 15m 51s functional
functional
July 7, 2024 23:21 15m 51s
Fix corner case of pos cell with input and output being same width WASI Build #1015: Commit 3dad680 pushed by RCoeurjoly
July 7, 2024 21:42 15m 42s functional
functional
July 7, 2024 21:42 15m 42s
Fix memory leak WASI Build #1014: Commit 73e39b3 pushed by RCoeurjoly
July 7, 2024 21:27 15m 44s functional
functional
July 7, 2024 21:27 15m 44s
Emit valid SMT for stateful designs, fix some cells WASI Build #1013: Commit d8b5b90 pushed by RCoeurjoly
July 7, 2024 21:16 15m 52s functional
functional
July 7, 2024 21:16 15m 52s
Fix parenthesis for arithmetic_shift_right WASI Build #1012: Commit c902c70 pushed by RCoeurjoly
July 5, 2024 19:05 16m 29s functional
functional
July 5, 2024 19:05 16m 29s
Add Makefile helpers for coverage WASI Build #1011: Commit b431295 pushed by mmicko
July 5, 2024 12:50 15m 49s functional
functional
July 5, 2024 12:50 15m 49s
include algorithm, needed for std::reverse WASI Build #1010: Commit 04a9cae pushed by RCoeurjoly
July 4, 2024 21:12 15m 49s functional
functional
July 4, 2024 21:12 15m 49s
add support for $mul, $div, $divfloor, $mod, $modfloor, $pow in funct… WASI Build #1009: Commit 07895b0 pushed by aiju
July 4, 2024 15:59 16m 6s functional
functional
July 4, 2024 15:59 16m 6s
Added $ff test WASI Build #1008: Commit 7a182d5 pushed by RCoeurjoly
July 4, 2024 15:54 15m 49s functional
functional
July 4, 2024 15:54 15m 49s
Add readme explaining how to create test files WASI Build #1007: Commit 4fd5b29 pushed by RCoeurjoly
July 4, 2024 12:13 15m 57s functional
functional
July 4, 2024 12:13 15m 57s
Check unsat when all outputs are different WASI Build #1006: Commit 1e87441 pushed by RCoeurjoly
July 4, 2024 11:59 16m 2s functional
functional
July 4, 2024 11:59 16m 2s
Add readme explaining how to create test files WASI Build #1005: Commit 4fd5b29 pushed by RCoeurjoly
July 4, 2024 10:43 19m 42s functional
functional
July 4, 2024 10:43 19m 42s
Check that there are not other solutions other than the first given WASI Build #1004: Commit 752ea70 pushed by RCoeurjoly
July 4, 2024 10:39 16m 7s functional
functional
July 4, 2024 10:39 16m 7s