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

Formally define design safety, and prove it for 1-step and 2-step induction #59

Merged
cesar merged 2 commits from cesar/fayalite:rocq_hdl into master 2025-12-24 20:09:11 +00:00
Conversation 2 Commits 2 Files changed 1 +220 -6

2 commits

Author SHA1 Message Date
Cesar Strauss
a398f8f185
Define design safety, and prove it for 1-step and 2-step induction.
All checks were successful
/ test (pull_request) Successful in 4m8s
Details
/ test (push) Successful in 4m35s
Details
2025-12-22 22:30:13 -03:00
Cesar Strauss
4fd4371054
Spelling. 2025-12-22 22:30:06 -03:00