fstar (lang/fstar) Updated: 3 years, 8 months ago Add to my watchlist
General-purpose functional language aimed at program verificationF* (pronounced F star) is a general-purpose functional programming language with effects aimed at program verification. It puts together the automation of an SMT-backed deductive verification tool with the expressive power of a proof assistant based on dependent types. After verification, F* programs can be extracted to efficient OCaml, F#, C, WASM, or ASM code.
Version: 2022.06.08 License: MIT
GitHub
313 build(s) found
Page 4 of 4 | Showing build(s) 301 to 313
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.10 | 96259 | 2019-10-01 2:42:21 | 0:55:20 | 27979 | build successful |
| 10.13 | 65380 | 2019-10-01 2:24:42 | 1:17:50 | 18875 | build successful |
| 10.11 | 95662 | 2019-10-01 1:09:28 | 1:18:14 | 27915 | build successful |
| 10.14 | 39655 | 2019-10-01 0:44:43 | 1:05:13 | 9591 | build successful |
| 10.12 | 100066 | 2019-10-01 0:30:40 | 1:23:55 | 26896 | build successful |
| 10.9 | 98784 | 2019-09-30 23:17:22 | 0:46:52 | 27901 | build successful |
| 10.10 | 96211 | 2019-09-30 21:04:22 | 0:50:24 | 27957 | build successful |
| 10.12 | 99877 | 2019-09-28 2:46:59 | 0:14:47 | 26828 | failed install-port |
| 10.14 | 39466 | 2019-09-28 2:46:46 | 0:49:04 | 9523 | build successful |
| 10.10 | 96021 | 2019-09-28 2:46:21 | 0:14:22 | 27889 | failed install-port |
| 10.11 | 95473 | 2019-09-28 2:46:17 | 0:15:13 | 27847 | failed install-port |
| 10.13 | 65191 | 2019-09-28 2:46:11 | 0:14:50 | 18807 | failed install-port |
| 10.9 | 98594 | 2019-09-28 2:45:40 | 0:11:39 | 27833 | failed install-port |