|
|
8cff3687f7
|
Run Rocq tests.
/ test (pull_request) Successful in 8m7s
/ test (push) Successful in 4m58s
|
2026-03-30 19:36:24 -03:00 |
|
|
|
a398f8f185
|
Define design safety, and prove it for 1-step and 2-step induction.
/ test (pull_request) Successful in 4m8s
/ test (push) Successful in 4m35s
|
2025-12-22 22:30:13 -03:00 |
|
|
|
4fd4371054
|
Spelling.
|
2025-12-22 22:30:06 -03:00 |
|
|
|
e54558d848
|
Demonstrates state with multiple variables and hidden state.
/ test (pull_request) Failing after 22s
|
2025-12-08 22:00:49 -03:00 |
|
|
|
46f3519c76
|
Demonstrate a preliminary mapping from HDL to Rocq.
Starts with a very simple example, including a proof by induction.
|
2025-12-08 19:32:05 -03:00 |
|
