Skip to content

Actions: fennecJ/formal_verification_RV32I

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
110 workflow runs
110 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix typo Verible formatting #55: Commit 77e79e8 pushed by fennecJ
December 30, 2024 09:09 1m 8s master
master
December 30, 2024 09:09 1m 8s
Fix typo Verible linter #55: Commit 77e79e8 pushed by fennecJ
December 30, 2024 09:09 1m 16s master
master
December 30, 2024 09:09 1m 16s
Clarify licenses details Verible linter #54: Commit c709490 pushed by fennecJ
December 29, 2024 06:14 1m 5s master
master
December 29, 2024 06:14 1m 5s
Clarify licenses details Verible formatting #54: Commit c709490 pushed by fennecJ
December 29, 2024 06:14 1m 1s master
master
December 29, 2024 06:14 1m 1s
Merge pull request #13 from fennecJ/Update_Readme Verible linter #53: Commit 49d9023 pushed by fennecJ
December 28, 2024 05:56 2m 17s master
master
December 28, 2024 05:56 2m 17s
Merge pull request #13 from fennecJ/Update_Readme Verible formatting #53: Commit 49d9023 pushed by fennecJ
December 28, 2024 05:56 1m 23s master
master
December 28, 2024 05:56 1m 23s
Update Readme.md Verible linter #52: Pull request #13 opened by fennecJ
December 28, 2024 05:50 1m 32s Update_Readme
Update_Readme
December 28, 2024 05:50 1m 32s
Update Readme.md Verible formatting #52: Pull request #13 opened by fennecJ
December 28, 2024 05:50 1m 34s Update_Readme
Update_Readme
December 28, 2024 05:50 1m 34s
Merge pull request #12 from fennecJ/Fix_xori Verible linter #51: Commit 3dc048b pushed by fennecJ
December 27, 2024 15:49 1m 33s master
master
December 27, 2024 15:49 1m 33s
Merge pull request #12 from fennecJ/Fix_xori Verible formatting #51: Commit 3dc048b pushed by fennecJ
December 27, 2024 15:49 2m 3s master
master
December 27, 2024 15:49 2m 3s
Fix xori logic Verible formatting #50: Pull request #12 opened by fennecJ
December 27, 2024 15:47 1m 27s Fix_xori
Fix_xori
December 27, 2024 15:47 1m 27s
Fix xori logic Verible linter #50: Pull request #12 opened by fennecJ
December 27, 2024 15:47 1m 34s Fix_xori
Fix_xori
December 27, 2024 15:47 1m 34s
Merge pull request #11 from fennecJ/jhsy1209021/regfile Verible linter #49: Commit 46e238e pushed by fennecJ
October 28, 2024 12:39 1m 21s master
master
October 28, 2024 12:39 1m 21s
Merge pull request #11 from fennecJ/jhsy1209021/regfile Verible formatting #49: Commit 46e238e pushed by fennecJ
October 28, 2024 12:39 59s master
master
October 28, 2024 12:39 59s
Modify macro name and precondition of regfile assertions Verible formatting #48: Pull request #11 opened by jhsy1209021
October 28, 2024 12:23 59s jhsy1209021/regfile
jhsy1209021/regfile
October 28, 2024 12:23 59s
Modify macro name and precondition of regfile assertions Verible linter #48: Pull request #11 opened by jhsy1209021
October 28, 2024 12:23 1m 4s jhsy1209021/regfile
jhsy1209021/regfile
October 28, 2024 12:23 1m 4s
Fix minstret csr Verible formatting #47: Commit ebda6fc pushed by fennecJ
October 27, 2024 14:30 59s master
master
October 27, 2024 14:30 59s
Fix minstret csr Verible linter #47: Commit ebda6fc pushed by fennecJ
October 27, 2024 14:30 1m 8s master
master
October 27, 2024 14:30 1m 8s
Fix minstret csr Verible linter #46: Commit bb62f08 pushed by fennecJ
October 27, 2024 13:40 1m 13s master
master
October 27, 2024 13:40 1m 13s
Fix minstret csr Verible formatting #46: Commit bb62f08 pushed by fennecJ
October 27, 2024 13:40 1m 9s master
master
October 27, 2024 13:40 1m 9s
Fix syntax error by applying .triggered for VALID_JAL Verible formatting #45: Commit a452c6e pushed by fennecJ
October 27, 2024 13:15 1m 5s master
master
October 27, 2024 13:15 1m 5s
Fix syntax error by applying .triggered for VALID_JAL Verible linter #45: Commit a452c6e pushed by fennecJ
October 27, 2024 13:15 1m 10s master
master
October 27, 2024 13:15 1m 10s
Merge pull request #10 from fennecJ/a3012085/modified_jal_property Verible linter #44: Commit 63e8edc pushed by fennecJ
October 27, 2024 12:57 1m 9s master
master
October 27, 2024 12:57 1m 9s
Merge pull request #10 from fennecJ/a3012085/modified_jal_property Verible formatting #44: Commit 63e8edc pushed by fennecJ
October 27, 2024 12:57 1m 9s master
master
October 27, 2024 12:57 1m 9s
Add properties to verify dst and we Verible formatting #43: Pull request #10 synchronize by TWstinkytofu
October 27, 2024 12:54 1m 0s a3012085/modified_jal_property
a3012085/modified_jal_property
October 27, 2024 12:54 1m 0s