/f16equiv

Perform equivalence checking with SMACK on half-rs: a 16-bit floating-point Rust implementation

Primary LanguageCMIT LicenseMIT

Watchers