2024-09-04T18:59:14Z - 2024-12-04T18:59:14Z
Overview
Excluding merges,
2 authors
have pushed
85 commits
to master and
120 commits
to all branches.
On master,
73 files
have changed
and there have been
8784 additions
and
3013 deletions.
1 release published by 1 user
Published
v0.2.0
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