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

´SMT success only if simulation is equivalent WASI Build #1003: Commit c3fbdc6 pushed by RCoeurjoly
July 4, 2024 09:50 15m 43s functional
functional
July 4, 2024 09:50 15m 43s
add generic writer class with formatting function to FunctionalTools WASI Build #1002: Commit 19c6aa2 pushed by aiju
July 4, 2024 09:23 15m 46s functional
functional
July 4, 2024 09:23 15m 46s
Use FunctionalTools::Scope instead of replaceCharacters WASI Build #1001: Commit f21bde0 pushed by RCoeurjoly
June 27, 2024 17:19 16m 37s functional
functional
June 27, 2024 17:19 16m 37s
Removed unnecesary nested_lets variable, use writer.print instead WASI Build #1000: Commit 7951872 pushed by RCoeurjoly
June 27, 2024 16:52 15m 43s functional
functional
June 27, 2024 16:52 15m 43s
Create std::mt19937 only once WASI Build #999: Commit bebdd88 pushed by RCoeurjoly
June 27, 2024 14:57 15m 59s functional
functional
June 27, 2024 14:57 15m 59s
rewrite functional c++ simulation library WASI Build #998: Commit ba62108 pushed by aiju
June 27, 2024 14:44 15m 54s functional
functional
June 27, 2024 14:44 15m 54s
Create VCD file from SMT file WASI Build #997: Commit 1121a31 pushed by RCoeurjoly
June 27, 2024 14:36 16m 7s functional
functional
June 27, 2024 14:36 16m 7s
clang-format smtlib.cc WASI Build #996: Commit 1aad421 pushed by RCoeurjoly
June 27, 2024 09:43 16m 0s functional
functional
June 27, 2024 09:43 16m 0s
Fix reduce_or WASI Build #995: Commit 44518eb pushed by RCoeurjoly
June 27, 2024 08:38 15m 45s functional
functional
June 27, 2024 08:38 15m 45s
Valid SMT is emitted, improved test script WASI Build #994: Commit 8e3e5f5 pushed by RCoeurjoly
June 27, 2024 05:44 15m 43s functional
functional
June 27, 2024 05:44 15m 43s
Consolidate tests scripts into one WASI Build #993: Commit bb04a71 pushed by RCoeurjoly
June 25, 2024 09:38 16m 2s functional
functional
June 25, 2024 09:38 16m 2s
Ignore smt2 files, generated by the execution of the tests WASI Build #992: Commit f5f8780 pushed by RCoeurjoly
June 25, 2024 09:14 15m 59s functional
functional
June 25, 2024 09:14 15m 59s
Remove unused includes WASI Build #991: Commit a350ff6 pushed by RCoeurjoly
June 24, 2024 13:00 15m 49s functional
functional
June 24, 2024 13:00 15m 49s
Add test for SMT backend. Tests if SMT is valid and compares simulati… WASI Build #990: Commit 857342e pushed by RCoeurjoly
June 23, 2024 16:06 15m 51s functional
functional
June 23, 2024 16:06 15m 51s
add new generic compute graph and rewrite c++ functional backend to u… WASI Build #989: Commit b7c1cdf pushed by aiju
June 20, 2024 15:40 15m 47s functional
functional
June 20, 2024 15:40 15m 47s
need unsigned comparison when checking shift widths for overflow in f… WASI Build #988: Commit e36eaa5 pushed by aiju
June 12, 2024 11:28 15m 57s functional
functional
June 12, 2024 11:28 15m 57s
sim.h cannot use log_assert because does not include yosys headers WASI Build #987: Commit d283a3f pushed by RCoeurjoly
June 12, 2024 10:45 15m 37s functional
functional
June 12, 2024 10:45 15m 37s
add support for memories to c++ and smtlib functional backends WASI Build #986: Commit ef20f53 pushed by aiju
June 12, 2024 10:35 15m 33s functional
functional
June 12, 2024 10:35 15m 33s
Change assert to log_assert WASI Build #985: Commit f6f009a pushed by RCoeurjoly
June 12, 2024 10:28 15m 41s functional
functional
June 12, 2024 10:28 15m 41s
Add test_cell tests for C++ functional backend WASI Build #984: Commit c7f665e pushed by RCoeurjoly
June 12, 2024 07:05 15m 50s functional
functional
June 12, 2024 07:05 15m 50s
Docs: Switch to furo-ys for YoscryptLexer WASI Build #983: Commit ea53721 pushed by KrystalDelusion
June 8, 2024 03:42 15m 19s krys/help_docs
krys/help_docs
June 8, 2024 03:42 15m 19s
box_derive: Tune the test WASI Build #982: Commit 97fedff pushed by povik
May 29, 2024 18:42 15m 40s povik/bbox_derive
povik/bbox_derive
May 29, 2024 18:42 15m 40s
Docs: Don't delete source/cell on make clean WASI Build #981: Commit 16cbd56 pushed by KrystalDelusion
May 27, 2024 04:44 15m 48s krys/help_docs
krys/help_docs
May 27, 2024 04:44 15m 48s
Docs: Fix invalid autorefs WASI Build #980: Commit 5f81b8d pushed by KrystalDelusion
May 27, 2024 04:33 15m 34s krys/help_docs
krys/help_docs
May 27, 2024 04:33 15m 34s
cellref: Move default help message to register.cc WASI Build #979: Commit 186ded1 pushed by KrystalDelusion
May 27, 2024 00:50 15m 14s krys/help_docs
krys/help_docs
May 27, 2024 00:50 15m 14s