Skip to content

Actions: FStarLang/FStar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
941 workflow run results
941 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

try, never injective on params Build and test FStar #3268: Commit d1508c8 pushed by nikswamy
April 20, 2024 02:24 3m 28s nik_restrict_injectivity_wip
nik_restrict_injectivity_wip
April 20, 2024 02:24 3m 28s
Rebuild base image Rebuild base image #346: Scheduled
April 20, 2024 02:16 20m 35s master
master
April 20, 2024 02:16 20m 35s
remove projector function altogether if it is not injective Build and test FStar #3267: Commit ec1ed9d pushed by nikswamy
April 20, 2024 02:02 20m 12s nik_restrict_injectivity_wip
nik_restrict_injectivity_wip
April 20, 2024 02:02 20m 12s
Injectivity of inductive types revisited Build and test FStar #3266: Pull request #3253 synchronize by nikswamy
April 20, 2024 01:56 14m 31s nik_restrict_injectivity
nik_restrict_injectivity
April 20, 2024 01:56 14m 31s
Injectivity of inductive types revisited Nix Build #320: Pull request #3253 synchronize by nikswamy
April 20, 2024 01:56 7m 58s nik_restrict_injectivity
nik_restrict_injectivity
April 20, 2024 01:56 7m 58s
Merge remote-tracking branch 'origin/master' into nik_restrict_inject… Build and test FStar #3265: Commit 0d6bb6a pushed by nikswamy
April 20, 2024 01:56 14m 45s nik_restrict_injectivity
nik_restrict_injectivity
April 20, 2024 01:56 14m 45s
Merge pull request #3257 from mtzguido/misc Build and test FStar #3264: Commit b1c1696 pushed by mtzguido
April 20, 2024 01:08 19m 51s master
master
April 20, 2024 01:08 19m 51s
Injectivity of inductive types revisited Build and test FStar #3263: Pull request #3253 synchronize by nikswamy
April 20, 2024 01:03 18m 24s nik_restrict_injectivity
nik_restrict_injectivity
April 20, 2024 01:03 18m 24s
Injectivity of inductive types revisited Nix Build #319: Pull request #3253 synchronize by nikswamy
April 20, 2024 01:03 8m 31s nik_restrict_injectivity
nik_restrict_injectivity
April 20, 2024 01:03 8m 31s
revise the statement of inversion of data constructor typing to not r… Build and test FStar #3262: Commit 9d39962 pushed by nikswamy
April 20, 2024 01:03 13m 28s nik_restrict_injectivity
nik_restrict_injectivity
April 20, 2024 01:03 13m 28s
Misc changes Build and test FStar #3261: Pull request #3257 opened by mtzguido
April 20, 2024 00:57 10m 39s mtzguido:misc
mtzguido:misc
April 20, 2024 00:57 10m 39s
Misc changes Nix Build #318: Pull request #3257 opened by mtzguido
April 20, 2024 00:57 17m 32s mtzguido:misc
mtzguido:misc
April 20, 2024 00:57 17m 32s
Injectivity of inductive types revisited Build and test FStar #3260: Pull request #3253 synchronize by nikswamy
April 19, 2024 23:14 18m 35s nik_restrict_injectivity
nik_restrict_injectivity
April 19, 2024 23:14 18m 35s
Injectivity of inductive types revisited Nix Build #317: Pull request #3253 synchronize by nikswamy
April 19, 2024 23:14 8m 20s nik_restrict_injectivity
nik_restrict_injectivity
April 19, 2024 23:14 8m 20s
Merge remote-tracking branch 'origin/master' into nik_restrict_inject… Build and test FStar #3259: Commit 2aec69e pushed by nikswamy
April 19, 2024 23:14 18m 52s nik_restrict_injectivity
nik_restrict_injectivity
April 19, 2024 23:14 18m 52s
Merge pull request #3256 from mtzguido/core Build and test FStar #3258: Commit 2c0ac7c pushed by mtzguido
April 19, 2024 22:58 11m 55s master
master
April 19, 2024 22:58 11m 55s
Injectivity of inductive types revisited Build and test FStar #3257: Pull request #3253 synchronize by nikswamy
April 19, 2024 22:38 16m 25s nik_restrict_injectivity
nik_restrict_injectivity
April 19, 2024 22:38 16m 25s
Injectivity of inductive types revisited Nix Build #316: Pull request #3253 synchronize by nikswamy
April 19, 2024 22:38 8m 22s nik_restrict_injectivity
nik_restrict_injectivity
April 19, 2024 22:38 8m 22s
for data constructors on types not injective on their params, add an … Build and test FStar #3256: Commit e376ccc pushed by nikswamy
April 19, 2024 22:38 16m 20s nik_restrict_injectivity
nik_restrict_injectivity
April 19, 2024 22:38 16m 20s
Injectivity of inductive types revisited Build and test FStar #3255: Pull request #3253 synchronize by nikswamy
April 19, 2024 20:47 13m 21s nik_restrict_injectivity
nik_restrict_injectivity
April 19, 2024 20:47 13m 21s
Injectivity of inductive types revisited Nix Build #315: Pull request #3253 synchronize by nikswamy
April 19, 2024 20:47 8m 21s nik_restrict_injectivity
nik_restrict_injectivity
April 19, 2024 20:47 8m 21s
a temporary compat in FStar.ModifiesGen Build and test FStar #3254: Commit ab79318 pushed by nikswamy
April 19, 2024 20:47 13m 29s nik_restrict_injectivity
nik_restrict_injectivity
April 19, 2024 20:47 13m 29s
Injectivity of inductive types revisited Build and test FStar #3253: Pull request #3253 synchronize by nikswamy
April 19, 2024 18:56 5m 59s nik_restrict_injectivity
nik_restrict_injectivity
April 19, 2024 18:56 5m 59s
Injectivity of inductive types revisited Nix Build #314: Pull request #3253 synchronize by nikswamy
April 19, 2024 18:56 7m 24s nik_restrict_injectivity
nik_restrict_injectivity
April 19, 2024 18:56 7m 24s
restrict injectivity for data constructor type parameters Build and test FStar #3252: Commit 448857d pushed by nikswamy
April 19, 2024 18:56 5m 52s nik_restrict_injectivity
nik_restrict_injectivity
April 19, 2024 18:56 5m 52s