- Jun 08, 2021
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- Jun 07, 2021
-
-
Andre Maroneze authored
-
- Jun 04, 2021
-
-
Basile Desloges authored
-
Basile Desloges authored
-
Basile Desloges authored
This modification will notably avoid translating E-ACSL builtin contracts.
-
Due to the absence of a long double version of the pow() logic function, and due to likely little demand for ldexpl, this function has not been specified.
-
-
Andre Maroneze authored
-
Andre Maroneze authored
-
- Jun 02, 2021
-
-
Basile Desloges authored
-
Basile Desloges authored
-
Basile Desloges authored
The file `signalled.h` is now common to `format` and `builtin` tests.
-
- Jun 01, 2021
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- May 31, 2021
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- May 25, 2021
-
-
-
-
Basile Desloges authored
-
Basile Desloges authored
-
Basile Desloges authored
-
Basile Desloges authored
-
Basile Desloges authored
-
- May 21, 2021
-
-
François Bobot authored
-
Andre Maroneze authored
-
- May 20, 2021
-
-
David Bühler authored
Avoids the introduction of logic coercions with the conversions term -> C expression -> term, by keeping the original term.
-
David Bühler authored
-
David Bühler authored
Only one split (either static or dynamic) can be active on the same term. If a new split is encountered while a split is aleady active on the same term, the old split is removed.
-
David Bühler authored
-
David Bühler authored
-
David Bühler authored
-
David Bühler authored
-
-
-
-
-