Upgrade to F* Universes#244

Draft

tahina-pro wants to merge 94 commits intomasterfrom

_nik_smt_univs_2025

Commits on Jan 16, 2025

some fixes for upcoming F* branch nik_smt_univs_2025
nikswamy
committed

Commits on Sep 26, 2025

Commits on Oct 4, 2025

fix up proofs in COSE to work again with F* nik_smt_univs_2025
nikswamy
committed
Merge remote-tracking branch 'origin/master' into _nik_smt_univs_2025
nikswamy
committed

Commits on Nov 18, 2025

Commits on Nov 20, 2025

Commits on Nov 25, 2025

WIP CDDL generalized serialization
tahina-pro
committed

Commits on Dec 4, 2025

Commits on Dec 8, 2025

Bump hashes (including Pulse fix)
mtzguido
committed

Commits on Dec 11, 2025

Commits on Dec 12, 2025

fix VS config for src/cddl
tahina-pro
committed

Commits on Dec 16, 2025

Commits on Dec 17, 2025

(TEMP) EverCDDL: add an option to disable NBE during extraction
tahina-pro
committed

Commits on Jan 27, 2026

Commits on Jan 28, 2026

Commits on Jan 30, 2026

Commits on Feb 2, 2026

Commits on Feb 3, 2026

Commits on Feb 9, 2026

Commits on Feb 14, 2026

Merge branch 'master' into _nik_smt_univs_2025
tahina-pro
authored

Commits on Feb 17, 2026

Merge branch 'master' into _nik_smt_univs_2025
tahina-pro
authored

Commits on Feb 18, 2026

Update hashes
dzomo
committed

Commits on Feb 22, 2026

Update hashes
dzomo
committed

Commits on Feb 23, 2026

Merge branch 'master' into _nik_smt_univs_2025
tahina-pro
authored

Commits on Feb 25, 2026

Update hashes
dzomo
committed

Commits on Feb 26, 2026

Merge branch 'master' of github.com:project-everest/everparse into _nik_smt_univs_2025
tahina-pro
committed

Commits on Feb 28, 2026