2024-09-04T18:59:14Z - 2024-12-04T18:59:14Z

Overview

3 active pull requests
1 active issue
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 2024-10-18 05:06:51 +00:00

2 pull requests merged by 2 users

Merged #5 Fix SInt::for_value not accounting for sign bit for positive values 2024-11-27 00:38:37 +00:00

Merged #2 Add test module exercising formal verification. 2024-11-20 21:40:35 +00:00

1 pull request proposed by 1 user

Proposed #3 WIP: add a simulator 2024-11-20 21:27:13 +00:00

1 issue closed from 1 user

Closed #4 Incorrect number of bits for signed range 2024-11-27 00:38:38 +00:00