Code

Improve trigonometric abstractions#1272

Code

Closed

stilscher wants to merge 7 commits intomastergoblint/analyzer:masterfrom improve-triggoblint/analyzer:improve-trigCopy head branch name to clipboard

+181-24

Commits

Commits on Nov 23, 2023

• better cos computation in case argument is neither inf nor nan

  stilscher

  committed
  3087fff

• fix headers in tests

  stilscher

  committed
  a7265c8

• add test case

  stilscher

  committed
  fde7d4d

• fix test

  stilscher

  committed
  48d5f2a

• improve sin as well

  stilscher

  committed
  0107ce9

• add regression test for sin

  stilscher

  committed
  be4fdad

Commits on Jan 31, 2024

• Merge branch 'master' into improve-trig

  stilscher

  committed
  7784521