search

FStarLang / FStar

A Proof-oriented Programming Language
https://fstar-lang.org
Apache License 2.0
2.7k stars 234 forks source link

Revert "UInt128: break dependency on FStar.Int.Cast" #3410

Closed mtzguido closed 2 months ago

mtzguido commented 2 months ago

This breaks karamel extraction by somehow triggering the inclusion of a WindowsWorkaroundSigh.h. Revert for now as this is definitely not critical.