Merge branch 'transcendental-functions' into 'master'
Fix regression test values Fix regression test values. This does however not include the smtAA tests as they are commented out anyway. See merge request !42
Please register or sign in to comment