Skip to content

Actions: FStarLang/FStar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,010 workflow run results
1,010 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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
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
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 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
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
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 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
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
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
Injectivity of inductive types revisited Build and test FStar #3251: Pull request #3253 synchronize by nikswamy
April 19, 2024 17:29 3m 43s nik_restrict_injectivity
nik_restrict_injectivity
April 19, 2024 17:29 3m 43s
Injectivity of inductive types revisited Nix Build #313: Pull request #3253 synchronize by nikswamy
April 19, 2024 17:29 2m 25s nik_restrict_injectivity
nik_restrict_injectivity
April 19, 2024 17:29 2m 25s
refactoring encoding of inductive type and datacon to prepare for a r… Build and test FStar #3250: Commit 35380d3 pushed by nikswamy
April 19, 2024 17:29 3m 58s nik_restrict_injectivity
nik_restrict_injectivity
April 19, 2024 17:29 3m 58s
Rebuild base image Rebuild base image #345: Scheduled
April 19, 2024 02:19 19m 12s master
master
April 19, 2024 02:19 19m 12s
Some fixes/improvements to the core typechecker Build and test FStar #3249: Pull request #3256 opened by mtzguido
April 19, 2024 00:10 12m 50s mtzguido:core
mtzguido:core
April 19, 2024 00:10 12m 50s
Some fixes/improvements to the core typechecker Nix Build #312: Pull request #3256 opened by mtzguido
April 19, 2024 00:10 17m 20s mtzguido:core
mtzguido:core
April 19, 2024 00:10 17m 20s
Injectivity of inductive types revisited Nix Build #311: Pull request #3253 synchronize by nikswamy
April 18, 2024 18:56 7m 53s nik_restrict_injectivity
nik_restrict_injectivity
April 18, 2024 18:56 7m 53s
Injectivity of inductive types revisited Build and test FStar #3248: Pull request #3253 synchronize by nikswamy
April 18, 2024 18:56 13m 56s nik_restrict_injectivity
nik_restrict_injectivity
April 18, 2024 18:56 13m 56s
merge master in Build and test FStar #3247: Commit bbdff51 pushed by nikswamy
April 18, 2024 18:56 14m 7s nik_restrict_injectivity
nik_restrict_injectivity
April 18, 2024 18:56 14m 7s
Add [@@no_inline_let] annotation Nix Build #310: Pull request #3169 synchronize by mtzguido
April 18, 2024 17:28 17m 21s amosr:amos/noinlinelet
amosr:amos/noinlinelet
April 18, 2024 17:28 17m 21s
Add [@@no_inline_let] annotation Build and test FStar #3246: Pull request #3169 synchronize by mtzguido
April 18, 2024 17:28 11m 54s amosr:amos/noinlinelet
amosr:amos/noinlinelet
April 18, 2024 17:28 11m 54s
Merge pull request #3242 from mtzguido/reals Build and test FStar #3245: Commit e95e387 pushed by mtzguido
April 18, 2024 16:05 11m 10s master
master
April 18, 2024 16:05 11m 10s