allaun/SilverSight
1
0
Fork 0
mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-07-31 01:25:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
573 commits 7 branches 0 tags 461 MiB
Commit graph

2 commits

Author SHA1 Message Date
allaun
069e54d8e9 fix(coq): migrate all files to Rocq 9.0 imports (ZCompat, no ZArith) 
All 5 Coq files now use:
  From Corelib Require Import BinNums PosDef NatDef IntDef.
  Require Import SilverSight.coq.ZCompat.

instead of Require Import ZArith Lia.

Build: 5 Coq files, 0 errors
 2026-07-01 23:21:29 -05:00
allaun
c7c7809ffb feat(tests): add Coq test harness, milestone: 12/12 ports have tests 2026-06-30 17:59:38 -05:00