- 29 Apr, 2019 1 commit
-
-
Heiko Becker authored
-
- 11 Apr, 2019 4 commits
-
-
Heiko Becker authored
-
Heiko Becker authored
-
Heiko Becker authored
Adjusting parameters for fixed-point script See merge request AVA/FloVer!22
-
Joachim Bard authored
-
- 10 Apr, 2019 2 commits
-
-
Heiko Becker authored
-
Heiko Becker authored
Cleanup for submission See merge request AVA/FloVer!21
-
- 09 Apr, 2019 6 commits
-
-
Joachim Bard authored
-
Joachim Bard authored
-
Joachim Bard authored
-
Heiko Becker authored
Final proofs for SubdivChecker See merge request AVA/FloVer!20
-
Joachim Bard authored
-
Heiko Becker authored
-
- 08 Apr, 2019 4 commits
-
-
Joachim Bard authored
-
Joachim Bard authored
-
Joachim Bard authored
-
Joachim Bard authored
-
- 05 Apr, 2019 7 commits
-
-
Joachim Bard authored
-
Joachim Bard authored
-
Heiko Becker authored
-
Heiko Becker authored
-
Heiko Becker authored
-
Heiko Becker authored
-
Heiko Becker authored
-
- 04 Apr, 2019 3 commits
-
-
Joachim Bard authored
-
Joachim Bard authored
-
Heiko Becker authored
This involved making some more invariants explicit, like let-bindings preserving the analysis result for variable bindings, similarly for types.
-
- 03 Apr, 2019 4 commits
-
-
Heiko Becker authored
-
Heiko Becker authored
-
Heiko Becker authored
-
Heiko Becker authored
-
- 02 Apr, 2019 7 commits
-
-
Heiko Becker authored
-
Joachim Bard authored
adding '<='-bounds in addition to '<'-bounds
-
Joachim Bard authored
-
Heiko Becker authored
-
Heiko Becker authored
Add Interval Subdivision support See merge request AVA/FloVer!19
-
Joachim Bard authored
Everything compiles up until IEEE_connection.v
-
Heiko Becker authored
-
- 01 Apr, 2019 2 commits
-
-
Heiko Becker authored
-
Heiko Becker authored
-
