2025-11-24 - 2025-12-24
Overview
Excluding merges,
2 authors
have pushed
5 commits
to master and
5 commits
to all branches.
On master,
14 files
have changed
and there have been
281 additions
and
200 deletions.
3 pull requests merged by 2 users
Merged
#58 simplify SimValue Debug format, making complex structures much easier to read
Merged
#57 add FillInDefaultedGenerics<Type = Self> bound for SizeType
Merged
#56 Initial work on representing HDL and formal verification in Rocq.
1 pull request proposed by 1 user
Proposed
#59 Formally define design safety, and prove it for 1-step and 2-step induction