Skip to content

Actions: fennecJ/formal_verification_RV32I

Actions

Verible linter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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 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 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
Add properties to verify dst and we Verible linter #43: Pull request #10 synchronize by TWstinkytofu
October 27, 2024 12:54 1m 1s a3012085/modified_jal_property
a3012085/modified_jal_property
October 27, 2024 12:54 1m 1s
Add property to ensure PC works well Verible linter #42: Commit 3ad7c03 pushed by fennecJ
October 24, 2024 06:21 1m 6s master
master
October 24, 2024 06:21 1m 6s
Fix instValidCheck assertion Verible linter #41: Commit d0e4a53 pushed by fennecJ
October 24, 2024 02:55 1m 15s master
master
October 24, 2024 02:55 1m 15s
Change to partial imports to avoid enum conflicts Verible linter #40: Commit ae78ce0 pushed by fennecJ
October 24, 2024 02:01 1m 2s master
master
October 24, 2024 02:01 1m 2s
Add properties to verify dst and we Verible linter #39: Pull request #10 synchronize by TWstinkytofu
October 24, 2024 01:49 1m 5s a3012085/modified_jal_property
a3012085/modified_jal_property
October 24, 2024 01:49 1m 5s
Add properties to verify dst and we Verible linter #38: Pull request #10 synchronize by TWstinkytofu
October 24, 2024 01:32 1m 11s a3012085/modified_jal_property
a3012085/modified_jal_property
October 24, 2024 01:32 1m 11s
Add properties to verify dst and we Verible linter #37: Pull request #10 synchronize by TWstinkytofu
October 23, 2024 16:23 1m 6s a3012085/modified_jal_property
a3012085/modified_jal_property
October 23, 2024 16:23 1m 6s
Add properties to verify dst and we Verible linter #36: Pull request #10 opened by TWstinkytofu
October 23, 2024 16:08 1m 10s a3012085/modified_jal_property
a3012085/modified_jal_property
October 23, 2024 16:08 1m 10s
Merge pull request #5 from fennecJ/jhsy1209021/regfile Verible linter #35: Commit e81ee5c pushed by fennecJ
October 23, 2024 14:10 1m 10s master
master
October 23, 2024 14:10 1m 10s
Merge pull request #9 from fennecJ/revert-8-jhsy1209021/jal_properties Verible linter #34: Commit bc6ea86 pushed by fennecJ
October 23, 2024 14:07 1m 4s master
master
October 23, 2024 14:07 1m 4s
Revert "Complete JAL ISA formal properties" Verible linter #33: Pull request #9 opened by fennecJ
October 23, 2024 14:07 1m 7s revert-8-jhsy1209021/jal_properties
revert-8-jhsy1209021/jal_properties
October 23, 2024 14:07 1m 7s
Merge pull request #8 from fennecJ/jhsy1209021/jal_properties Verible linter #32: Commit b0eec37 pushed by TWstinkytofu
October 23, 2024 13:57 1m 16s master
master
October 23, 2024 13:57 1m 16s
Complete JAL ISA formal properties Verible linter #31: Pull request #8 synchronize by TWstinkytofu
October 23, 2024 13:52 1m 12s jhsy1209021/jal_properties
jhsy1209021/jal_properties
October 23, 2024 13:52 1m 12s