Skip to content

Actions: YosysHQ/yosys

Actions

Build and run tests (macOS)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,474 workflow runs
1,474 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add readme explaining how to create test files Build and run tests (macOS) #3530: Commit 4fd5b29 pushed by RCoeurjoly
July 4, 2024 10:43 13m 59s functional
functional
July 4, 2024 10:43 13m 59s
Check that there are not other solutions other than the first given Build and run tests (macOS) #3529: Commit 752ea70 pushed by RCoeurjoly
July 4, 2024 10:39 16m 24s functional
functional
July 4, 2024 10:39 16m 24s
´SMT success only if simulation is equivalent Build and run tests (macOS) #3528: Commit c3fbdc6 pushed by RCoeurjoly
July 4, 2024 09:50 9m 17s functional
functional
July 4, 2024 09:50 9m 17s
add generic writer class with formatting function to FunctionalTools Build and run tests (macOS) #3527: Commit 19c6aa2 pushed by aiju
July 4, 2024 09:23 15m 28s functional
functional
July 4, 2024 09:23 15m 28s
Use FunctionalTools::Scope instead of replaceCharacters Build and run tests (macOS) #3526: Commit f21bde0 pushed by RCoeurjoly
June 27, 2024 17:19 10m 7s functional
functional
June 27, 2024 17:19 10m 7s
Removed unnecesary nested_lets variable, use writer.print instead Build and run tests (macOS) #3525: Commit 7951872 pushed by RCoeurjoly
June 27, 2024 16:52 13m 37s functional
functional
June 27, 2024 16:52 13m 37s
Create std::mt19937 only once Build and run tests (macOS) #3524: Commit bebdd88 pushed by RCoeurjoly
June 27, 2024 14:57 10m 14s functional
functional
June 27, 2024 14:57 10m 14s
rewrite functional c++ simulation library Build and run tests (macOS) #3523: Commit ba62108 pushed by aiju
June 27, 2024 14:44 16m 56s functional
functional
June 27, 2024 14:44 16m 56s
Create VCD file from SMT file Build and run tests (macOS) #3522: Commit 1121a31 pushed by RCoeurjoly
June 27, 2024 14:36 13m 37s functional
functional
June 27, 2024 14:36 13m 37s
clang-format smtlib.cc Build and run tests (macOS) #3521: Commit 1aad421 pushed by RCoeurjoly
June 27, 2024 09:43 12m 52s functional
functional
June 27, 2024 09:43 12m 52s
Fix reduce_or Build and run tests (macOS) #3520: Commit 44518eb pushed by RCoeurjoly
June 27, 2024 08:38 11m 29s functional
functional
June 27, 2024 08:38 11m 29s
Valid SMT is emitted, improved test script Build and run tests (macOS) #3519: Commit 8e3e5f5 pushed by RCoeurjoly
June 27, 2024 05:44 8m 54s functional
functional
June 27, 2024 05:44 8m 54s
Consolidate tests scripts into one Build and run tests (macOS) #3518: Commit bb04a71 pushed by RCoeurjoly
June 25, 2024 09:38 15m 45s functional
functional
June 25, 2024 09:38 15m 45s
Ignore smt2 files, generated by the execution of the tests Build and run tests (macOS) #3517: Commit f5f8780 pushed by RCoeurjoly
June 25, 2024 09:14 13m 9s functional
functional
June 25, 2024 09:14 13m 9s
Remove unused includes Build and run tests (macOS) #3516: Commit a350ff6 pushed by RCoeurjoly
June 24, 2024 13:00 9m 27s functional
functional
June 24, 2024 13:00 9m 27s
Add test for SMT backend. Tests if SMT is valid and compares simulati… Build and run tests (macOS) #3515: Commit 857342e pushed by RCoeurjoly
June 23, 2024 16:06 15m 31s functional
functional
June 23, 2024 16:06 15m 31s
add new generic compute graph and rewrite c++ functional backend to u… Build and run tests (macOS) #3514: Commit b7c1cdf pushed by aiju
June 20, 2024 15:40 12m 51s functional
functional
June 20, 2024 15:40 12m 51s
need unsigned comparison when checking shift widths for overflow in f… Build and run tests (macOS) #3513: Commit e36eaa5 pushed by aiju
June 12, 2024 11:28 26m 33s functional
functional
June 12, 2024 11:28 26m 33s
sim.h cannot use log_assert because does not include yosys headers Build and run tests (macOS) #3512: Commit d283a3f pushed by RCoeurjoly
June 12, 2024 10:45 33m 24s functional
functional
June 12, 2024 10:45 33m 24s
add support for memories to c++ and smtlib functional backends Build and run tests (macOS) #3511: Commit ef20f53 pushed by aiju
June 12, 2024 10:35 26m 48s functional
functional
June 12, 2024 10:35 26m 48s
Change assert to log_assert Build and run tests (macOS) #3510: Commit f6f009a pushed by RCoeurjoly
June 12, 2024 10:28 25m 59s functional
functional
June 12, 2024 10:28 25m 59s
Add test_cell tests for C++ functional backend Build and run tests (macOS) #3509: Commit c7f665e pushed by RCoeurjoly
June 12, 2024 07:05 23m 42s functional
functional
June 12, 2024 07:05 23m 42s
Docs: Switch to furo-ys for YoscryptLexer Build and run tests (macOS) #3508: Commit ea53721 pushed by KrystalDelusion
June 8, 2024 03:42 33m 41s krys/help_docs
krys/help_docs
June 8, 2024 03:42 33m 41s
bufnorm: my comments Build and run tests (macOS) #3507: Commit 4c0380a pushed by widlarizer
June 3, 2024 18:43 1h 52m 17s emil/bufnorm-notes
emil/bufnorm-notes
June 3, 2024 18:43 1h 52m 17s
Fix CY chaining and CI injection Build and run tests (macOS) #3506: Commit 58140b7 pushed by mmicko
May 30, 2024 15:29 30m 18s nanoxplore
nanoxplore
May 30, 2024 15:29 30m 18s