2026-10-08 - 2026-11-08

Overview

0 Active Pull Requests
2 Active Issues
Excluding merges, 1 author has pushed 9 commits to main and 9 commits to all branches. On main, 274 files have changed and there have been 50178 additions and 18897 deletions.

2 Issues created by 1 user

Opened #36 firmware: we need more realistic simulator 2026-10-23 04:27:14 +00:00

Opened #37 firmware: experiment with formal verification 2026-10-26 04:53:53 +00:00