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