Skip to content

Actions: FStarLang/steel

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

dpe: rewrites that are dependent on match branching now check. store … Build and test Steel #533: Commit ef8ce2e pushed by meganfrisella
July 21, 2023 20:20 25s nik_dice
nik_dice
July 21, 2023 20:20 25s
Merge pull request #36 from FStarLang/guido_match Build and test Steel #532: Commit 55b59cd pushed by mtzguido
July 21, 2023 19:31 11m 22s main
main
July 21, 2023 19:31 11m 22s
Support for pattern matching in Pulse Build and test Steel #531: Pull request #36 opened by mtzguido
July 21, 2023 06:24 11m 26s guido_match
guido_match
July 21, 2023 06:24 11m 26s
snap Build and test Steel #530: Commit 400cd6a pushed by mtzguido
July 21, 2023 05:59 11m 18s guido_match
guido_match
July 21, 2023 05:59 11m 18s
Removed admits Build and test Steel #529: Commit 7843383 pushed by tdardinier
July 21, 2023 03:03 9m 59s thibault_inference_parallel_specs
thibault_inference_parallel_specs
July 21, 2023 03:03 9m 59s
Progress on justifying equivalences Build and test Steel #528: Commit 55de809 pushed by tdardinier
July 21, 2023 02:58 10m 37s thibault_inference_parallel_specs
thibault_inference_parallel_specs
July 21, 2023 02:58 10m 37s
Use "ensures" for if/match instead of "returns" Build and test Steel #527: Commit 146600d pushed by mtzguido
July 21, 2023 00:08 5m 46s guido_match
guido_match
July 21, 2023 00:08 5m 46s
hints Build and test Steel #526: Commit fd504b4 pushed by mtzguido
July 21, 2023 00:02 6m 5s guido_match
guido_match
July 21, 2023 00:02 6m 5s
Steel nightly test Steel nightly test #85: Scheduled
July 20, 2023 23:17 1h 19m 36s main
main
July 20, 2023 23:17 1h 19m 36s
dpe: copy context arrays instead of storing input arrays in global st… Build and test Steel #525: Commit 3134ffc pushed by meganfrisella
July 20, 2023 19:11 8m 19s nik_dice
nik_dice
July 20, 2023 19:11 8m 19s
Steel nightly test Steel nightly test #84: Scheduled
July 19, 2023 23:17 1h 18m 2s main
main
July 19, 2023 23:17 1h 18m 2s
get_scalar_value Build and test Steel #524: Commit 609a096 pushed by tahina-pro
July 19, 2023 21:56 12m 38s main
main
July 19, 2023 21:56 12m 38s
get_scalar_value Build and test Steel #523: Commit 609a096 pushed by tahina-pro
July 19, 2023 21:21 12m 35s taramana_steel_c
taramana_steel_c
July 19, 2023 21:21 12m 35s
Added two versions of the inference of parallel instructions Build and test Steel #522: Commit 57d19e9 pushed by tdardinier
July 19, 2023 20:41 1m 8s thibault_inference_parallel_specs
thibault_inference_parallel_specs
July 19, 2023 20:41 1m 8s
array memcpy checks Build and test Steel #521: Commit 22f323f pushed by meganfrisella
July 19, 2023 20:30 8m 8s nik_dice
nik_dice
July 19, 2023 20:30 8m 8s
some FStar.Set operations Build and test Steel #520: Commit adbca85 pushed by tahina-pro
July 19, 2023 17:52 12m 31s main
main
July 19, 2023 17:52 12m 31s
some FStar.Set operations Build and test Steel #519: Commit adbca85 pushed by tahina-pro
July 19, 2023 17:37 12m 36s taramana_steel_c
taramana_steel_c
July 19, 2023 17:37 12m 36s
direct union definition (without "define_union") Build and test Steel #518: Commit 2e83948 pushed by tahina-pro
July 19, 2023 16:19 13m 5s taramana_steel_c_user_union
taramana_steel_c_user_union
July 19, 2023 16:19 13m 5s
Steel.Wrapper: add stub for op_Array_Index Build and test Steel #517: Commit 73cab9c pushed by mtzguido
July 19, 2023 14:30 13m 30s guido_lsht
guido_lsht
July 19, 2023 14:30 13m 30s
snap Build and test Steel #516: Commit bee31b6 pushed by mtzguido
July 19, 2023 14:26 12m 28s guido_match
guido_match
July 19, 2023 14:26 12m 28s
Some comments Build and test Steel #515: Commit 6d95e7f pushed by aseemr
July 19, 2023 12:14 8m 8s aseem_dice_tmp
aseem_dice_tmp
July 19, 2023 12:14 8m 8s
Steel nightly test Steel nightly test #83: Scheduled
July 18, 2023 23:17 1h 14m 51s main
main
July 18, 2023 23:17 1h 14m 51s
pulse ht: some changes to insert, currently running for a long time u… Build and test Steel #514: Commit 14905c7 pushed by meganfrisella
July 18, 2023 22:52 10m 41s guido_lsht
guido_lsht
July 18, 2023 22:52 10m 41s
pulse ht: progress on insert and delete implementations Build and test Steel #513: Commit 527bfdc pushed by meganfrisella
July 18, 2023 20:56 9m 48s guido_lsht
guido_lsht
July 18, 2023 20:56 9m 48s
tweaking rlimits Build and test Steel #512: Commit 493a86a pushed by mtzguido
July 18, 2023 19:04 12m 22s guido_match
guido_match
July 18, 2023 19:04 12m 22s
ProTip! You can narrow down the results and go further in time using created:<2023-07-18 or the other filters available.