Skip to main content

Browse the archive

https://github.com/michalkonecny/polypaver
22 June 2024, 01:08:03 UTC
Name Target Message Date
HEAD 7a1541a Fixed enclosures of double-precision rounding ops in SPARK. 27 June 2015, 15:03:45 UTC
refs/heads/gh-pages 638ead5 Updated polypaver binary so that it supports FP operations. (2/2) 27 June 2015, 14:28:03 UTC
refs/heads/master 7a1541a Fixed enclosures of double-precision rounding ops in SPARK. 27 June 2015, 15:03:45 UTC
back to top