Skip to content

Actions: YosysHQ/yosys

Actions

Build and run tests with Verific (Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-verific.yml
849 workflow run results
849 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

proc_dff: process sync rules in reverse input order Build and run tests with Verific (Linux) #821: Pull request #4568 opened by widlarizer
August 27, 2024 15:49 4m 5s emil/proc_dff-rule-order
emil/proc_dff-rule-order
August 27, 2024 15:49 4m 5s
proc_dff: process sync rules in input order Build and run tests with Verific (Linux) #820: Commit 6caae94 pushed by widlarizer
August 27, 2024 15:44 11m 8s emil/proc_dff-rule-order
emil/proc_dff-rule-order
August 27, 2024 15:44 11m 8s
Bump version Build and run tests with Verific (Linux) #819: Commit 27b51cb pushed by widlarizer
August 27, 2024 15:43 10m 37s emil/proc_dff-rule-order
emil/proc_dff-rule-order
August 27, 2024 15:43 10m 37s
cxxrtl: use octal encoding of non-printables. Build and run tests with Verific (Linux) #818: Pull request #4567 synchronize by kivikakk
August 27, 2024 15:39 12m 21s kivikakk:cxxrtl-escape-trailing
kivikakk:cxxrtl-escape-trailing
August 27, 2024 15:39 12m 21s
cxxrtl: use octal encoding of non-printables. Build and run tests with Verific (Linux) #817: Pull request #4567 opened by kivikakk
August 27, 2024 14:45 11m 56s kivikakk:cxxrtl-escape-trailing
kivikakk:cxxrtl-escape-trailing
August 27, 2024 14:45 11m 56s
Add -blackbox flag to cutpoint pass Build and run tests with Verific (Linux) #816: Pull request #4566 synchronize by RCoeurjoly
August 27, 2024 14:17 12m 6s RCoeurjoly:cutpoint_blackbox
RCoeurjoly:cutpoint_blackbox
August 27, 2024 14:17 12m 6s
Functional Backend Build and run tests with Verific (Linux) #815: Pull request #4536 synchronize by aiju
August 27, 2024 12:10 21s functional
functional
August 27, 2024 12:10 21s
functional backends: identifiers in c++/smtlib may not start with digits Build and run tests with Verific (Linux) #814: Commit b428bf4 pushed by aiju
August 27, 2024 12:10 11m 56s functional
functional
August 27, 2024 12:10 11m 56s
Functional Backend Build and run tests with Verific (Linux) #813: Pull request #4536 synchronize by aiju
August 27, 2024 10:11 18s functional
functional
August 27, 2024 10:11 18s
add functional ir documentation Build and run tests with Verific (Linux) #812: Commit 459e6b9 pushed by aiju
August 27, 2024 10:11 12m 29s functional
functional
August 27, 2024 10:11 12m 29s
-y flag for libyosys Python scripts Build and run tests with Verific (Linux) #811: Pull request #4553 synchronize by donn
August 27, 2024 05:50 11m 46s donn:python_scriptfile
donn:python_scriptfile
August 27, 2024 05:50 11m 46s
Merge krys/help_docs and krys/better_rtds_action Build and run tests with Verific (Linux) #809: Commit ca3ccd2 pushed by KrystalDelusion
August 26, 2024 23:06 13m 56s docs-preview-cellhelp
docs-preview-cellhelp
August 26, 2024 23:06 13m 56s
Add docs generation from cells help output Build and run tests with Verific (Linux) #808: Pull request #4332 synchronize by KrystalDelusion
August 26, 2024 23:06 19s krys/help_docs
krys/help_docs
August 26, 2024 23:06 19s
Update krys/help_docs to 0.44+68 Build and run tests with Verific (Linux) #807: Commit b9b91ec pushed by KrystalDelusion
August 26, 2024 23:06 13m 20s krys/help_docs
krys/help_docs
August 26, 2024 23:06 13m 20s
Better docs builds Build and run tests with Verific (Linux) #806: Pull request #4563 synchronize by KrystalDelusion
August 26, 2024 22:23 24s krys/better_rtds_action
krys/better_rtds_action
August 26, 2024 22:23 24s
Docs: Use version name from readthedocs Build and run tests with Verific (Linux) #805: Commit ecff434 pushed by KrystalDelusion
August 26, 2024 22:23 16s krys/better_rtds_action
krys/better_rtds_action
August 26, 2024 22:23 16s
Build and run tests with Verific (Linux) Build and run tests with Verific (Linux) #804: by KrystalDelusion
August 26, 2024 22:23 12m 11s docs-previewtest
docs-previewtest
August 26, 2024 22:23 12m 11s
ci: Update RTDs trigger conditional Build and run tests with Verific (Linux) #802: Commit acb608f pushed by KrystalDelusion
August 26, 2024 21:58 12m 23s docs-previewtest
docs-previewtest
August 26, 2024 21:58 12m 23s
Better docs builds Build and run tests with Verific (Linux) #803: Pull request #4563 synchronize by KrystalDelusion
August 26, 2024 21:58 18s krys/better_rtds_action
krys/better_rtds_action
August 26, 2024 21:58 18s
ci: Update RTDs trigger conditional Build and run tests with Verific (Linux) #801: Commit acb608f pushed by KrystalDelusion
August 26, 2024 21:58 3m 39s krys/better_rtds_action
krys/better_rtds_action
August 26, 2024 21:58 3m 39s
Add -blackbox flag to cutpoint pass Build and run tests with Verific (Linux) #800: Pull request #4566 opened by RCoeurjoly
August 26, 2024 21:06 12m 22s RCoeurjoly:cutpoint_blackbox
RCoeurjoly:cutpoint_blackbox
August 26, 2024 21:06 12m 22s
verific: Add bottom and top bound properties to wire Build and run tests with Verific (Linux) #799: Pull request #4538 synchronize by RCoeurjoly
August 26, 2024 13:16 12m 31s RCoeurjoly:verific_bounds
RCoeurjoly:verific_bounds
August 26, 2024 13:16 12m 31s
Merge pull request #4541 from YosysHQ/krys/compiler-warnings Build and run tests with Verific (Linux) #798: Commit 0fc5812 pushed by nakengelhardt
August 26, 2024 13:04 16m 15s main
main
August 26, 2024 13:04 16m 15s
verific: Add bottom and top bound properties to wire Build and run tests with Verific (Linux) #797: Pull request #4538 synchronize by RCoeurjoly
August 26, 2024 12:59 12m 30s RCoeurjoly:verific_bounds
RCoeurjoly:verific_bounds
August 26, 2024 12:59 12m 30s
fixup! rtlil: implement Const with std::variant with std::string Build and run tests with Verific (Linux) #796: Commit dad4b1b pushed by widlarizer
August 26, 2024 10:48 12m 27s emil/src-attribute-std-string-wip
emil/src-attribute-std-string-wip
August 26, 2024 10:48 12m 27s