2024-11-04T18:58:24Z - 2024-12-04T18:58:24Z
Overview
Excluding merges,
2 authors
have pushed
3 commits
to master and
38 commits
to all branches.
On master,
3 files
have changed
and there have been
178 additions
and
16 deletions.
2 pull requests merged by 2 users
Merged
#5 Fix SInt::for_value not accounting for sign bit for positive values
Merged
#2 Add test module exercising formal verification.
1 pull request proposed by 1 user
Proposed
#3 WIP: add a simulator
1 issue closed from 1 user
Closed
#4 Incorrect number of bits for signed range