 Wen Kokke
|
0f4538c8dc
First step of float revision (see #4868)
|
4 rokov pred |
 Ulf Norell
|
29f832a54e
[ #2169 ] add new primFloatLess that fixes antisymmetry failure on -0.0 and 0.0
|
7 rokov pred |
 Andrés Sicard-Ramírez
|
fac89c0ec7
[ #2359 ] Documented other test-case.
|
8 rokov pred |
|
Andrés Sicard-Ramírez
|
bb24eb4e45
[ #2359 ] Documented the test-case.
|
8 rokov pred |
|
Andrés Sicard-Ramírez
|
683710f09d
[ fixed #1857 ] By requiring UHC 1.1.9.5. (#2358)
|
8 rokov pred |
|
Andrés Sicard-Ramírez
|
67a11078cd
[ #2208 ] Added test case `-Inf < NaN == true`.
|
8 rokov pred |
 Philipp Hausmann
|
936beb8a5d
[ floats ] Implement new single-NaN semantics.
|
8 rokov pred |
|
Andrés Sicard-Ramírez
|
d01523b285
[ #2208 ] Relocated some tests.
|
8 rokov pred |
|
Ulf Norell
|
7c13ea9df3
[ #2208 ] added missing NaN<NaN tests
|
8 rokov pred |
|
Andrés Sicard-Ramírez
|
6d0f322efe
[ closed #2208 ] Added test case (JS backend).
|
8 rokov pred |
|
Andrés Sicard-Ramírez
|
84baac4d27
[ fixed #2230 ] Enabled bitwise equality on the UHC backend.
|
8 rokov pred |
|
Ulf Norell
|
0e9d68dd07
[ floats ] changed test values for float primitives
|
8 rokov pred |
|
Andrés Sicard-Ramírez
|
02358eaf67
[ #2169 ] `primShowFloat` returns `-0.0` on negative zero (JS backend).
|
8 rokov pred |
|
Andrés Sicard-Ramírez
|
1b413c0d57
[ fixed #2192 ] Fixed `primShowFloat 1.0` on the JS backend (again).
|
8 rokov pred |
|
Andrés Sicard-Ramírez
|
889748017a
[ #2200 ] Added test case (UCH backend).
|
8 rokov pred |
|
Andrés Sicard-Ramírez
|
c2c01a6ccc
Revert "[ fixed #2192 ] Fixed `primShowFloat 1.0` on the JS backend."
|
8 rokov pred |
|
Andrés Sicard-Ramírez
|
ece5d93011
[ fixed #2192 ] Fixed `primShowFloat 1.0` on the JS backend.
|
8 rokov pred |
|
Andrés Sicard-Ramírez
|
7cbb49de4b
[ #2169 ] `primFloatLess -0.0 0.0` returns `true`.
|
8 rokov pred |
|
Philipp Hausmann
|
1e8b625aa2
[ #2194 ] Disable primFloatEquality in UHC backend.
|
8 rokov pred |
|
Andrés Sicard-Ramírez
|
012973aebe
[ fixed #2194 ] by using `Object.is` in the JS backend.
|
8 rokov pred |
|
Andrés Sicard-Ramírez
|
1b24ea5dca
[ JS backend ] Added `primExp` primitive.
|
8 rokov pred |
|
Andrés Sicard-Ramírez
|
a8cb929f3f
[ JS backend ] Added `primSin` primitive.
|
8 rokov pred |
|
Andrés Sicard-Ramírez
|
2eae3cc09c
[ #2192 ] Added test case.
|
8 rokov pred |
|
Andrés Sicard-Ramírez
|
08d81894d9
[ test-suite ] The JS backend pass some tests on floats.
|
8 rokov pred |
|
Andrés Sicard-Ramírez
|
1912e6db90
[ test-suite, Compiler ] Removed unnecessary code from the floats test.
|
8 rokov pred |
|
Andrés Sicard-Ramírez
|
85064d5a8f
[ #2169 ] `primFloatEquality 0.0 -0.0` returns `false` (UHC).
|
8 rokov pred |
|
Andrés Sicard-Ramírez
|
d7f4104baf
[ MAlonzo ] Added test case for negative floats.
|
8 rokov pred |
|
Ulf Norell
|
98f7d8dec9
[ fixed #1854 ] work-arounds for #1855 #1856 #1857 to get compiler-tests passing
|
9 rokov pred |
|
Ulf Norell
|
d00c5efcc7
[ compiler-test ] added test for float primitives
|
9 rokov pred |
