Issues · AVA / FloVer · GitLab

Add documentation to affine arithmetic invariants

#13 · opened Mar 20, 2019 by Heiko Becker documentation
- CLOSED
- 2
updated Mar 27, 2019
FMA semantics are wrong

#12 · opened Jan 29, 2019 by Heiko Becker
- CLOSED
- 0
updated Mar 20, 2019
Implement interval validation with memorization

#11 · opened Aug 17, 2018 by Heiko Becker
- 0
updated Aug 17, 2018
Look into using Taylor polynomials for transcendental functions

#10 · opened Jul 19, 2018 by Heiko Becker
- 0
updated Aug 22, 2018
Port functions reasoning about options in HOL4 to monad_syntax

#9 · opened Jul 12, 2018 by Heiko Becker
- 1
updated Jul 12, 2018
Make the HOL4 development compile with the latest version of CakeML/HOL4

#8 · opened Jul 12, 2018 by Heiko Becker
- CLOSED
- 1
updated Jul 17, 2018
Implement a new type validator

#7 · opened Jul 12, 2018 by Heiko Becker
- CLOSED
- 0
updated Aug 22, 2018
Reenable regression tests in CI

#6 · opened Jun 06, 2018 by Heiko Becker
- CLOSED
- 1
updated Sep 12, 2018
Unify command and expr levels into single expression datatype

#4 · opened Apr 27, 2018 by Heiko Becker
- CLOSED
- 1
updated Apr 11, 2019
Support checking of fixed-point programs

#3 · opened Mar 29, 2018 by Heiko Becker
- CLOSED
- 1
updated Apr 27, 2018
Unify input for both in-logic scripts and binaries to be custom, parsed strings

#2 · opened Mar 07, 2018 by Heiko Becker enhancement
- 0
updated Mar 07, 2018
Add verbose versions of validator functions

#1 · opened Mar 07, 2018 by Heiko Becker enhancement
- 1
updated Jul 17, 2018