Skip to content

Actions: YosysHQ/yosys

Actions

Build and run tests (Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,373 workflow run results
1,373 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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