Skip to content

shocker-0x15/AffineArithmetic

Repository files navigation

Affine Arithmetic Implementation for Learning

  • Interval Arithmetic
  • Affine Arithmetic
    • with round-off error consideration
    • Three modes
      • Always add a new symbol for round-off error
      • Dedicated symbol for round-off error
      • Round-off error symbol also for non-affine operations
    • Supported non-affine operations
      • Multiplication
      • Division (Reciprocal)
      • Square root

References


2023 @Shocker_0x15

About

Affine Arithmetic

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages