Skip to content

Actions: FStarLang/karamel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,104 workflow runs
1,104 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Driver.ml: Ask F* for location of FStar.UInt128 Build and test Karamel based on a FStar image #1970: Pull request #514 opened by mtzguido
January 8, 2025 00:21 8m 17s mtzguido:locate
mtzguido:locate
January 8, 2025 00:21 8m 17s
Merge pull request #513 from FStarLang/protz_malloc_null Build and test Karamel based on a FStar image #1969: Commit e111ce5 pushed by msprotz
January 7, 2025 01:53 14m 41s master
master
January 7, 2025 01:53 14m 41s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1968: Scheduled
January 7, 2025 01:35 25m 18s master
master
January 7, 2025 01:35 25m 18s
Perform null-checks when assigning initial value of heap allocations Build and test Karamel based on a FStar image #1967: Pull request #513 opened by msprotz
January 7, 2025 00:55 58m 4s protz_malloc_null
protz_malloc_null
January 7, 2025 00:55 58m 4s
Perform null-checks when assigning initial value of heap allocations Build and test Karamel based on a FStar image #1966: Commit dda5c07 pushed by protz
January 7, 2025 00:52 7m 3s protz_malloc_null
protz_malloc_null
January 7, 2025 00:52 7m 3s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1965: Scheduled
January 6, 2025 01:38 7m 16s master
master
January 6, 2025 01:38 7m 16s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1964: Scheduled
January 5, 2025 01:41 13m 14s master
master
January 5, 2025 01:41 13m 14s
krml/Makefiles: unifying logic for detecting F* Build and test Karamel based on a FStar image #1963: Pull request #512 opened by mtzguido
January 4, 2025 03:26 13m 9s mtzguido:homeless
mtzguido:homeless
January 4, 2025 03:26 13m 9s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1962: Scheduled
January 4, 2025 01:25 13m 11s master
master
January 4, 2025 01:25 13m 11s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1961: Scheduled
January 3, 2025 01:34 16m 7s master
master
January 3, 2025 01:34 16m 7s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1960: Scheduled
January 2, 2025 01:26 12m 52s master
master
January 2, 2025 01:26 12m 52s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1959: Scheduled
January 1, 2025 01:41 14m 43s master
master
January 1, 2025 01:41 14m 43s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1958: Scheduled
December 31, 2024 01:26 13m 5s master
master
December 31, 2024 01:26 13m 5s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1957: Scheduled
December 30, 2024 01:37 13m 15s master
master
December 30, 2024 01:37 13m 15s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1956: Scheduled
December 29, 2024 01:41 16m 35s master
master
December 29, 2024 01:41 16m 35s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1955: Scheduled
December 28, 2024 01:25 7m 19s master
master
December 28, 2024 01:25 7m 19s
Merge pull request #511 from FStarLang/protz_renormalize_data_types Build and test Karamel based on a FStar image #1954: Commit f82ecfe pushed by msprotz
December 27, 2024 19:02 7m 21s master
master
December 27, 2024 19:02 7m 21s
Renormalize data types properly Build and test Karamel based on a FStar image #1953: Pull request #511 opened by msprotz
December 27, 2024 18:36 26m 36s protz_renormalize_data_types
protz_renormalize_data_types
December 27, 2024 18:36 26m 36s
Renormalize data types properly Build and test Karamel based on a FStar image #1952: Commit ebff0d8 pushed by protz
December 27, 2024 18:35 20m 17s protz_renormalize_data_types
protz_renormalize_data_types
December 27, 2024 18:35 20m 17s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1951: Scheduled
December 27, 2024 01:27 7m 41s master
master
December 27, 2024 01:27 7m 41s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1950: Scheduled
December 26, 2024 01:26 13m 23s master
master
December 26, 2024 01:26 13m 23s
change z3 version to 4.13.3 Build and test Karamel based on a FStar image #1949: Pull request #510 opened by karthikbhargavan
December 25, 2024 10:07 25m 57s upgrade-z3
upgrade-z3
December 25, 2024 10:07 25m 57s
change z3 version to 4.13.3 Build and test Karamel based on a FStar image #1948: Commit d53abab pushed by karthikbhargavan
December 25, 2024 10:06 13m 27s upgrade-z3
upgrade-z3
December 25, 2024 10:06 13m 27s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1947: Scheduled
December 25, 2024 01:26 13m 36s master
master
December 25, 2024 01:26 13m 36s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1946: Scheduled
December 24, 2024 01:34 13m 10s master
master
December 24, 2024 01:34 13m 10s