Skip to content

Actions: fennecJ/formal_verification_RV32I

Actions

Verible formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

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