sollya (science/sollya) Updated: 3 months ago Add to my watchlist
Sollya is both a tool environment and a library for safe floating-point code developmentSollya is both a tool environment and a library for safe floating-point code development. It is particularily targeted to the automatized implementation of mathematical floating-point libraries (libm). Amongst other features, it offers a certified infinity (supremum) norm and a fast Remez algorithm.
Version: 8.0 License: CeCILL-C
GitHub
23 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 11.arm64 | 124940 | 2025-09-30 2:25:55 | 0:00:59 | 46743 | build successful |
| 15 | 39787 | 2025-09-23 0:35:41 | 0:01:07 | 11656 | build successful |
| 14.arm64 | 62680 | 2025-09-22 23:53:23 | 0:00:45 | 23823 | build successful |
| 10.13 | 267790 | 2025-09-22 22:26:07 | 0:01:46 | 91623 | build successful |
| 15.arm64 | 27986 | 2025-09-22 19:33:17 | 0:00:48 | 10850 | build successful |
| 10.14 | 241523 | 2025-09-22 18:40:38 | 0:02:28 | 82258 | build successful |
| 13 | 95942 | 2025-09-22 11:04:31 | 0:01:18 | 35943 | build successful |
| 12.arm64 | 152225 | 2025-09-22 10:37:15 | 0:01:13 | 49952 | build successful |
| 10.8 | 216045 | 2025-09-22 8:06:55 | 0:00:31 | 71231 | failed install-dependencies |
| 10.7 | 231011 | 2025-09-22 7:58:23 | 0:02:36 | 73204 | build successful |
| 10.10 | 308333 | 2025-09-22 7:53:55 | 0:00:16 | 100759 | failed install-dependencies |
| 10.12 | 310592 | 2025-09-22 7:09:18 | 0:02:46 | 99645 | build successful |
| 26.arm64 | 5469 | 2025-09-22 4:31:17 | 0:00:48 | 263 | build successful |
| 12 | 140505 | 2025-09-22 3:46:58 | 0:04:59 | 50212 | build successful |
| 11 | 190235 | 2025-09-22 3:26:26 | 0:04:29 | 61338 | build successful |
| 10.15 | 218091 | 2025-09-22 3:13:41 | 0:03:04 | 71366 | build successful |
| 14 | 67601 | 2025-09-22 3:02:51 | 0:01:09 | 24186 | build successful |
| 13.arm64 | 89471 | 2025-09-22 2:55:35 | 0:01:23 | 35732 | build successful |
| 10.11 | 300406 | 2025-09-22 2:52:07 | 0:02:07 | 100904 | build successful |
| 10.9 | 316318 | 2025-09-22 2:47:27 | 0:00:16 | 100435 | failed install-dependencies |
| 10.6 | 210426 | 2025-09-22 2:27:58 | 0:00:06 | 73540 | build successful |
| 10.6 | 210425 | 2025-09-22 2:22:32 | 0:03:47 | 73540 | retry exception slave lost |
| 10.6.x86_64 | 247289 | 2025-09-22 2:22:00 | 0:05:50 | 73603 | build successful |