Skip to content

Actions: YosysHQ/yosys

Actions

Visual Studio Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,409 workflow runs
1,409 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add readme explaining how to create test files Visual Studio Build #4302: Commit 4fd5b29 pushed by RCoeurjoly
July 4, 2024 10:43 9m 52s functional
functional
July 4, 2024 10:43 9m 52s
Check that there are not other solutions other than the first given Visual Studio Build #4301: Commit 752ea70 pushed by RCoeurjoly
July 4, 2024 10:39 8m 3s functional
functional
July 4, 2024 10:39 8m 3s
´SMT success only if simulation is equivalent Visual Studio Build #4300: Commit c3fbdc6 pushed by RCoeurjoly
July 4, 2024 09:50 5m 58s functional
functional
July 4, 2024 09:50 5m 58s
add generic writer class with formatting function to FunctionalTools Visual Studio Build #4299: Commit 19c6aa2 pushed by aiju
July 4, 2024 09:23 5m 45s functional
functional
July 4, 2024 09:23 5m 45s
Use FunctionalTools::Scope instead of replaceCharacters Visual Studio Build #4298: Commit f21bde0 pushed by RCoeurjoly
June 27, 2024 17:19 5m 49s functional
functional
June 27, 2024 17:19 5m 49s
Removed unnecesary nested_lets variable, use writer.print instead Visual Studio Build #4297: Commit 7951872 pushed by RCoeurjoly
June 27, 2024 16:52 5m 47s functional
functional
June 27, 2024 16:52 5m 47s
Create std::mt19937 only once Visual Studio Build #4296: Commit bebdd88 pushed by RCoeurjoly
June 27, 2024 14:57 6m 19s functional
functional
June 27, 2024 14:57 6m 19s
rewrite functional c++ simulation library Visual Studio Build #4295: Commit ba62108 pushed by aiju
June 27, 2024 14:44 6m 32s functional
functional
June 27, 2024 14:44 6m 32s
Create VCD file from SMT file Visual Studio Build #4294: Commit 1121a31 pushed by RCoeurjoly
June 27, 2024 14:36 5m 46s functional
functional
June 27, 2024 14:36 5m 46s
clang-format smtlib.cc Visual Studio Build #4293: Commit 1aad421 pushed by RCoeurjoly
June 27, 2024 09:43 6m 13s functional
functional
June 27, 2024 09:43 6m 13s
Fix reduce_or Visual Studio Build #4292: Commit 44518eb pushed by RCoeurjoly
June 27, 2024 08:38 6m 16s functional
functional
June 27, 2024 08:38 6m 16s
Valid SMT is emitted, improved test script Visual Studio Build #4291: Commit 8e3e5f5 pushed by RCoeurjoly
June 27, 2024 05:44 5m 41s functional
functional
June 27, 2024 05:44 5m 41s
Consolidate tests scripts into one Visual Studio Build #4290: Commit bb04a71 pushed by RCoeurjoly
June 25, 2024 09:38 5m 53s functional
functional
June 25, 2024 09:38 5m 53s
Ignore smt2 files, generated by the execution of the tests Visual Studio Build #4289: Commit f5f8780 pushed by RCoeurjoly
June 25, 2024 09:14 6m 0s functional
functional
June 25, 2024 09:14 6m 0s
Remove unused includes Visual Studio Build #4288: Commit a350ff6 pushed by RCoeurjoly
June 24, 2024 13:00 5m 44s functional
functional
June 24, 2024 13:00 5m 44s
Add test for SMT backend. Tests if SMT is valid and compares simulati… Visual Studio Build #4287: Commit 857342e pushed by RCoeurjoly
June 23, 2024 16:06 5m 45s functional
functional
June 23, 2024 16:06 5m 45s
add new generic compute graph and rewrite c++ functional backend to u… Visual Studio Build #4286: Commit b7c1cdf pushed by aiju
June 20, 2024 15:40 6m 31s functional
functional
June 20, 2024 15:40 6m 31s
need unsigned comparison when checking shift widths for overflow in f… Visual Studio Build #4285: Commit e36eaa5 pushed by aiju
June 12, 2024 11:28 8m 41s functional
functional
June 12, 2024 11:28 8m 41s
sim.h cannot use log_assert because does not include yosys headers Visual Studio Build #4284: Commit d283a3f pushed by RCoeurjoly
June 12, 2024 10:45 10m 9s functional
functional
June 12, 2024 10:45 10m 9s
add support for memories to c++ and smtlib functional backends Visual Studio Build #4283: Commit ef20f53 pushed by aiju
June 12, 2024 10:35 11m 46s functional
functional
June 12, 2024 10:35 11m 46s
Change assert to log_assert Visual Studio Build #4282: Commit f6f009a pushed by RCoeurjoly
June 12, 2024 10:28 7m 40s functional
functional
June 12, 2024 10:28 7m 40s
Add test_cell tests for C++ functional backend Visual Studio Build #4281: Commit c7f665e pushed by RCoeurjoly
June 12, 2024 07:05 7m 36s functional
functional
June 12, 2024 07:05 7m 36s
Docs: Switch to furo-ys for YoscryptLexer Visual Studio Build #4280: Commit ea53721 pushed by KrystalDelusion
June 8, 2024 03:42 9m 20s krys/help_docs
krys/help_docs
June 8, 2024 03:42 9m 20s
bufnorm: my comments Visual Studio Build #4279: Commit 4c0380a pushed by widlarizer
June 3, 2024 18:43 10m 43s emil/bufnorm-notes
emil/bufnorm-notes
June 3, 2024 18:43 10m 43s
box_derive: Tune the test Visual Studio Build #4278: Commit 97fedff pushed by povik
May 29, 2024 18:42 20m 49s povik/bbox_derive
povik/bbox_derive
May 29, 2024 18:42 20m 49s