libre-chip/fayalite
2
0
Fork 2
Code Issues 1 Pull requests Actions Packages Projects Releases Wiki Activity

Add module exercising formal verification of memories #7

Merged
programmerjake merged 1 commit from cesar/fayalite:formal_memories into master 2024-12-08 21:25:32 +00:00
Conversation 0 Commits 1 Files changed 1 +166 -4

1 commit

Author SHA1 Message Date
Cesar Strauss 2e7d685dc7 add module exercising formal verification of memories
All checks were successful
/ deps (pull_request) Successful in 11m25s
Details
/ test (pull_request) Successful in 4m47s
Details
/ deps (push) Successful in 14s
Details
/ test (push) Successful in 5m12s
Details
2024-12-08 17:13:26 -03:00