Skip to content

Actions: iscas-tis/nutshell-fv

Actions

Formal Btormc

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal.yml
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: update readme Formal Btormc #25: Commit 7068e97 pushed by liuyic00
October 17, 2024 02:50 4m 0s chisel6.4.0-example-with-bug
chisel6.4.0-example-with-bug
October 17, 2024 02:50 4m 0s
docs: update readme Formal Btormc #24: Commit d2bfcb1 pushed by liuyic00
October 16, 2024 16:19 4m 6s chisel6.4.0-example-with-bug
chisel6.4.0-example-with-bug
October 16, 2024 16:19 4m 6s
test: add bug in ALU and set assume Formal Btormc #23: Commit a7b927b pushed by liuyic00
October 16, 2024 16:06 3m 54s chisel6.4.0-example-with-bug
chisel6.4.0-example-with-bug
October 16, 2024 16:06 3m 54s
Import rsc 1.3 as submodule (#6) Formal Btormc #22: Commit a940882 pushed by liuyic00
October 15, 2024 13:04 46m 59s formal
formal
October 15, 2024 13:04 46m 59s
Import rsc 1.3 as submodule Formal Btormc #21: Pull request #6 synchronize by liuyic00
October 15, 2024 12:16 46m 25s liuyic00:update-rsc-1.3
liuyic00:update-rsc-1.3
October 15, 2024 12:16 46m 25s
Import rsc 1.3 as submodule Formal Btormc #20: Pull request #6 synchronize by liuyic00
October 14, 2024 14:41 48m 1s liuyic00:update-rsc-1.3
liuyic00:update-rsc-1.3
October 14, 2024 14:41 48m 1s
Import rsc 1.3 as submodule Formal Btormc #19: Pull request #6 opened by liuyic00
October 14, 2024 13:16 48m 15s liuyic00:update-rsc-1.3
liuyic00:update-rsc-1.3
October 14, 2024 13:16 48m 15s
feat: support RVFI, remove some formal code Formal Btormc #18: Commit 78e10c7 pushed by liuyic00
August 20, 2024 11:41 2m 4s rvfi
rvfi
August 20, 2024 11:41 2m 4s
Support new rsc with more config (#5) Formal Btormc #17: Commit b7e3c61 pushed by liuyic00
August 17, 2024 13:18 39m 27s formal
formal
August 17, 2024 13:18 39m 27s
Support new rsc with more config Formal Btormc #16: Pull request #5 opened by liuyic00
August 17, 2024 13:16 39m 13s liuyic00:support-config
liuyic00:support-config
August 17, 2024 13:16 39m 13s
Get difftest from XiangShan (#4) Formal Btormc #15: Commit f5d4ca9 pushed by liuyic00
July 18, 2024 06:59 35m 42s formal
formal
July 18, 2024 06:59 35m 42s
Get difftest from XiangShan Formal Btormc #14: Pull request #4 opened by liuyic00
July 18, 2024 06:58 35m 58s liuyic00:bump-difftest
liuyic00:bump-difftest
July 18, 2024 06:58 35m 58s
Bump to rsc 1.1-SNAPSHOT (#3) Formal Btormc #13: Commit 4c0c78c pushed by liuyic00
July 11, 2024 06:17 38m 24s formal
formal
July 11, 2024 06:17 38m 24s
Bump to rsc 1.1-SNAPSHOT Formal Btormc #12: Pull request #3 synchronize by liuyic00
July 11, 2024 05:37 37m 43s liuyic00:bump-rsc-1.1-SNAPSHOT
liuyic00:bump-rsc-1.1-SNAPSHOT
July 11, 2024 05:37 37m 43s
Bump to rsc 1.1-SNAPSHOT Formal Btormc #11: Pull request #3 opened by liuyic00
July 10, 2024 13:52 1m 29s liuyic00:bump-rsc-1.1-SNAPSHOT
liuyic00:bump-rsc-1.1-SNAPSHOT
July 10, 2024 13:52 1m 29s
fix: add when condition in assume Formal Btormc #10: Commit 0e180bf pushed by liuyic00
April 8, 2024 07:36 1m 45s chisel3.5.4
chisel3.5.4
April 8, 2024 07:36 1m 45s
feat: move assume to NutCore as global assumption Formal Btormc #9: Commit 02b21f2 pushed by liuyic00
March 25, 2024 12:48 1m 39s chisel3.5.4
chisel3.5.4
March 25, 2024 12:48 1m 39s
feat: add emit nutcore Formal Btormc #8: Commit 4d446ac pushed by liuyic00
March 25, 2024 06:56 19m 1s formal
formal
March 25, 2024 06:56 19m 1s
build: bump scala 2.13 chisel 3.6 and rsc Formal Btormc #7: Commit dc0d641 pushed by liuyic00
November 26, 2023 12:05 3m 13s update-nutshell
update-nutshell
November 26, 2023 12:05 3m 13s
ci: bump mill to 0.11.5 Formal Btormc #6: Commit 52db687 pushed by liuyic00
November 26, 2023 12:03 18m 29s formal
formal
November 26, 2023 12:03 18m 29s
ci: bump mill to 0.11.5 Formal Btormc #5: Commit 52db687 pushed by liuyic00
November 26, 2023 12:00 19m 17s fix-mill
fix-mill
November 26, 2023 12:00 19m 17s
ci: bump mill to 0.11.5 Formal Btormc #4: Commit c78b839 pushed by liuyic00
November 26, 2023 11:56 1m 27s fix-mill
fix-mill
November 26, 2023 11:56 1m 27s
build: update build.sc to adapt to mill 0.11 Formal Btormc #3: Commit 6e005f3 pushed by liuyic00
November 26, 2023 11:50 1m 11s formal
formal
November 26, 2023 11:50 1m 11s
Merge pull request #2 from SeddonShen/seddon Formal Btormc #2: Commit bb9ff59 pushed by liuyic00
November 3, 2023 07:23 24m 41s formal
formal
November 3, 2023 07:23 24m 41s
Support formal verification for privileged instructions Formal Btormc #1: Pull request #2 opened by SeddonShen
November 2, 2023 13:32 26m 8s SeddonShen:seddon
SeddonShen:seddon
November 2, 2023 13:32 26m 8s