Skip to content

Actions: YosysHQ/yosys

Actions

Emscripten Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,386 workflow runs
1,386 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add readme explaining how to create test files Emscripten Build #2655: Commit 4fd5b29 pushed by RCoeurjoly
July 4, 2024 10:43 17m 33s functional
functional
July 4, 2024 10:43 17m 33s
Check that there are not other solutions other than the first given Emscripten Build #2654: Commit 752ea70 pushed by RCoeurjoly
July 4, 2024 10:39 15m 21s functional
functional
July 4, 2024 10:39 15m 21s
´SMT success only if simulation is equivalent Emscripten Build #2653: Commit c3fbdc6 pushed by RCoeurjoly
July 4, 2024 09:50 14m 5s functional
functional
July 4, 2024 09:50 14m 5s
add generic writer class with formatting function to FunctionalTools Emscripten Build #2652: Commit 19c6aa2 pushed by aiju
July 4, 2024 09:23 14m 9s functional
functional
July 4, 2024 09:23 14m 9s
Use FunctionalTools::Scope instead of replaceCharacters Emscripten Build #2651: Commit f21bde0 pushed by RCoeurjoly
June 27, 2024 17:19 14m 7s functional
functional
June 27, 2024 17:19 14m 7s
Removed unnecesary nested_lets variable, use writer.print instead Emscripten Build #2650: Commit 7951872 pushed by RCoeurjoly
June 27, 2024 16:52 14m 0s functional
functional
June 27, 2024 16:52 14m 0s
Create std::mt19937 only once Emscripten Build #2649: Commit bebdd88 pushed by RCoeurjoly
June 27, 2024 14:57 14m 33s functional
functional
June 27, 2024 14:57 14m 33s
rewrite functional c++ simulation library Emscripten Build #2648: Commit ba62108 pushed by aiju
June 27, 2024 14:44 13m 57s functional
functional
June 27, 2024 14:44 13m 57s
Create VCD file from SMT file Emscripten Build #2647: Commit 1121a31 pushed by RCoeurjoly
June 27, 2024 14:36 14m 39s functional
functional
June 27, 2024 14:36 14m 39s
clang-format smtlib.cc Emscripten Build #2646: Commit 1aad421 pushed by RCoeurjoly
June 27, 2024 09:43 14m 33s functional
functional
June 27, 2024 09:43 14m 33s
Fix reduce_or Emscripten Build #2645: Commit 44518eb pushed by RCoeurjoly
June 27, 2024 08:38 14m 46s functional
functional
June 27, 2024 08:38 14m 46s
Valid SMT is emitted, improved test script Emscripten Build #2644: Commit 8e3e5f5 pushed by RCoeurjoly
June 27, 2024 05:44 14m 15s functional
functional
June 27, 2024 05:44 14m 15s
Consolidate tests scripts into one Emscripten Build #2643: Commit bb04a71 pushed by RCoeurjoly
June 25, 2024 09:38 14m 36s functional
functional
June 25, 2024 09:38 14m 36s
Ignore smt2 files, generated by the execution of the tests Emscripten Build #2642: Commit f5f8780 pushed by RCoeurjoly
June 25, 2024 09:14 14m 6s functional
functional
June 25, 2024 09:14 14m 6s
Remove unused includes Emscripten Build #2641: Commit a350ff6 pushed by RCoeurjoly
June 24, 2024 13:00 14m 3s functional
functional
June 24, 2024 13:00 14m 3s
Add test for SMT backend. Tests if SMT is valid and compares simulati… Emscripten Build #2640: Commit 857342e pushed by RCoeurjoly
June 23, 2024 16:06 14m 43s functional
functional
June 23, 2024 16:06 14m 43s
add new generic compute graph and rewrite c++ functional backend to u… Emscripten Build #2639: Commit b7c1cdf pushed by aiju
June 20, 2024 15:40 13m 47s functional
functional
June 20, 2024 15:40 13m 47s
need unsigned comparison when checking shift widths for overflow in f… Emscripten Build #2638: Commit e36eaa5 pushed by aiju
June 12, 2024 11:28 13m 13s functional
functional
June 12, 2024 11:28 13m 13s
sim.h cannot use log_assert because does not include yosys headers Emscripten Build #2637: Commit d283a3f pushed by RCoeurjoly
June 12, 2024 10:45 13m 20s functional
functional
June 12, 2024 10:45 13m 20s
add support for memories to c++ and smtlib functional backends Emscripten Build #2636: Commit ef20f53 pushed by aiju
June 12, 2024 10:35 13m 33s functional
functional
June 12, 2024 10:35 13m 33s
Change assert to log_assert Emscripten Build #2635: Commit f6f009a pushed by RCoeurjoly
June 12, 2024 10:28 13m 17s functional
functional
June 12, 2024 10:28 13m 17s
Add test_cell tests for C++ functional backend Emscripten Build #2634: Commit c7f665e pushed by RCoeurjoly
June 12, 2024 07:05 14m 8s functional
functional
June 12, 2024 07:05 14m 8s
Docs: Switch to furo-ys for YoscryptLexer Emscripten Build #2633: Commit ea53721 pushed by KrystalDelusion
June 8, 2024 03:42 12m 30s krys/help_docs
krys/help_docs
June 8, 2024 03:42 12m 30s
bufnorm: my comments Emscripten Build #2632: Commit 4c0380a pushed by widlarizer
June 3, 2024 18:43 12m 40s emil/bufnorm-notes
emil/bufnorm-notes
June 3, 2024 18:43 12m 40s
box_derive: Tune the test Emscripten Build #2631: Commit 97fedff pushed by povik
May 29, 2024 18:42 12m 40s povik/bbox_derive
povik/bbox_derive
May 29, 2024 18:42 12m 40s