2023-12-04T18:48:41Z - 2024-12-04T18:48:41Z

Overview

3 active pull requests
2 active issues
Excluding merges, 2 authors have pushed 129 commits to master and 166 commits to all branches. On master, 109 files have changed and there have been 56267 additions and 17683 deletions.

2 releases published by 1 user

Published v0.2.0 2024-10-18 05:06:51 +00:00

Published v0.1.0 2024-07-26 05:20:38 +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

2 issues closed from 1 user

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

Closed #1 "Register" in Wire Docs 2024-07-22 22:59:16 +00:00