Skip to content

Actions: ics-jku/goldcrest-microcode-verification

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fit to Verilog implementation (#5) Formal Verification #21: Commit 55d3404 pushed by LucasKl
December 2, 2023 20:42 2m 44s main
main
December 2, 2023 20:42 2m 44s
Fit to Verilog implementation Formal Verification #20: Pull request #5 synchronize by FRoith
December 2, 2023 15:18 2m 48s FRoith:main
FRoith:main
December 2, 2023 15:18 2m 48s
Fit to Verilog implementation Formal Verification #19: Pull request #5 synchronize by FRoith
December 2, 2023 15:17 2m 43s FRoith:main
FRoith:main
December 2, 2023 15:17 2m 43s
Fit to Verilog implementation Formal Verification #18: Pull request #5 synchronize by FRoith
November 28, 2023 11:57 2m 35s FRoith:main
FRoith:main
November 28, 2023 11:57 2m 35s
add additional tests and fast fail Formal Verification #17: Commit 94e2e74 pushed by LucasKl
October 22, 2023 13:30 3m 18s main
main
October 22, 2023 13:30 3m 18s
updated model and microcode for new architecture Formal Verification #16: Commit d42b841 pushed by LucasKl
October 21, 2023 22:06 3m 6s main
main
October 21, 2023 22:06 3m 6s
updated model and microcode for new architecture Formal Verification #15: Pull request #4 opened by FRoith
October 21, 2023 21:55 3m 40s FRoith:main
FRoith:main
October 21, 2023 21:55 3m 40s
Update verify.yml Formal Verification #14: Commit 1f1f620 pushed by LucasKl
October 19, 2023 13:53 3m 55s main
main
October 19, 2023 13:53 3m 55s
Update README.md Formal Verification #13: Commit ff01b72 pushed by LucasKl
October 19, 2023 13:52 3m 36s main
main
October 19, 2023 13:52 3m 36s
Add Ci (#3) Formal Verification #12: Commit a4c3f7b pushed by LucasKl
October 19, 2023 12:26 4m 22s main
main
October 19, 2023 12:26 4m 22s
Add Ci Formal Verification #11: Pull request #3 opened by LucasKl
October 19, 2023 12:21 4m 26s ci
ci
October 19, 2023 12:21 4m 26s
update ci Formal Verification #10: Commit 406e6e3 pushed by LucasKl
October 19, 2023 11:57 3m 36s ci
ci
October 19, 2023 11:57 3m 36s
update ci Formal Verification #9: Commit 7b00f13 pushed by LucasKl
October 19, 2023 11:50 4m 8s ci
ci
October 19, 2023 11:50 4m 8s
update ci Formal Verification #8: Commit 6c7cee4 pushed by LucasKl
October 19, 2023 11:48 1m 34s ci
ci
October 19, 2023 11:48 1m 34s
update ci Formal Verification #7: Commit d8d8a61 pushed by LucasKl
October 19, 2023 11:42 2m 21s ci
ci
October 19, 2023 11:42 2m 21s
update ci Formal Verification #6: Commit ddcdf19 pushed by LucasKl
October 19, 2023 11:40 1m 42s ci
ci
October 19, 2023 11:40 1m 42s
update ci file Formal Verification #5: Commit 4490ac6 pushed by LucasKl
October 19, 2023 11:38 1m 34s ci
ci
October 19, 2023 11:38 1m 34s
update ci file Formal Verification #4: Commit 3118d88 pushed by LucasKl
October 19, 2023 11:30 38s main
main
October 19, 2023 11:30 38s
update ci file Formal Verification #3: Commit 92a7b45 pushed by LucasKl
October 19, 2023 11:28 26s main
main
October 19, 2023 11:28 26s
update ci file Formal Verification #2: Commit 1d4e74d pushed by LucasKl
October 19, 2023 11:27 1s main
main
October 19, 2023 11:27 1s
move ci file Formal Verification #1: Commit b536fbe pushed by LucasKl
October 19, 2023 11:24 1s main
main
October 19, 2023 11:24 1s