Skip to content

Actions: FStarLang/FStar

Actions

Build and test FStar

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux-x64.yaml
1,693 workflow runs
1,693 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3585 from FStarLang/nik_delay_dsenv_snapshot Build and test FStar #4234: Commit 02ad8e3 pushed by nikswamy
October 18, 2024 18:29 32m 9s master
master
October 18, 2024 18:29 32m 9s
coalesce local bindings in DsEnv too, for faster resolution of local … Build and test FStar #4233: Commit 95fad8a pushed by nikswamy
October 18, 2024 18:27 18m 17s nik_cache_dsenv_lookup
nik_cache_dsenv_lookup
October 18, 2024 18:27 18m 17s
coalesce top-level definitions into a map for faster lookup during de… Build and test FStar #4232: Commit bccb5d6 pushed by nikswamy
October 18, 2024 18:19 8m 15s nik_cache_dsenv_lookup
nik_cache_dsenv_lookup
October 18, 2024 18:19 8m 15s
Delay snapshotting of desugaring environment Build and test FStar #4231: Pull request #3585 synchronize by mtzguido
October 18, 2024 17:48 41m 30s nik_delay_dsenv_snapshot
nik_delay_dsenv_snapshot
October 18, 2024 17:48 41m 30s
snap Build and test FStar #4230: Commit 5a2ee19 pushed by mtzguido
October 18, 2024 17:48 30m 16s nik_delay_dsenv_snapshot
nik_delay_dsenv_snapshot
October 18, 2024 17:48 30m 16s
Merge pull request #3584 from mtzguido/fix Build and test FStar #4229: Commit 5556658 pushed by mtzguido
October 18, 2024 17:47 20m 39s master
master
October 18, 2024 17:47 20m 39s
Delay snapshotting of desugaring environment Build and test FStar #4228: Pull request #3585 opened by nikswamy
October 18, 2024 17:35 21m 49s nik_delay_dsenv_snapshot
nik_delay_dsenv_snapshot
October 18, 2024 17:35 21m 49s
Tactics: fix V1.Logic Build and test FStar #4227: Pull request #3584 synchronize by mtzguido
October 18, 2024 17:26 21m 0s mtzguido:fix
mtzguido:fix
October 18, 2024 17:26 21m 0s
Tactics: fix V1.Logic Build and test FStar #4226: Pull request #3584 opened by mtzguido
October 18, 2024 17:25 11m 14s mtzguido:fix
mtzguido:fix
October 18, 2024 17:25 11m 14s
snap Build and test FStar #4225: Commit 7132657 pushed by nikswamy
October 18, 2024 17:16 10m 23s nik_delay_dsenv_snapshot
nik_delay_dsenv_snapshot
October 18, 2024 17:16 10m 23s
cache name lookups in a scope in DsEnv Build and test FStar #4224: Commit e0980fc pushed by nikswamy
October 18, 2024 05:08 16m 18s nik_optimize_desugaring
nik_optimize_desugaring
October 18, 2024 05:08 16m 18s
Snapshotting the environment is linear in the number of defns; only d… Build and test FStar #4223: Commit c964622 pushed by nikswamy
October 18, 2024 05:03 10m 20s nik_optimize_desugaring
nik_optimize_desugaring
October 18, 2024 05:03 10m 20s
Merge pull request #3583 from mtzguido/ocamlc Build and test FStar #4222: Commit e6e35c2 pushed by mtzguido
October 18, 2024 01:40 18m 28s master
master
October 18, 2024 01:40 18m 28s
fstar: rename --ocamlc to --ocamlopt, add --ocamlc for bytecode Build and test FStar #4221: Pull request #3583 opened by mtzguido
October 18, 2024 01:30 10m 21s mtzguido:ocamlc
mtzguido:ocamlc
October 18, 2024 01:30 10m 21s
Merge pull request #3582 from mtzguido/pprint_in_ulib Build and test FStar #4220: Commit 7509a2a pushed by mtzguido
October 17, 2024 23:22 13m 15s master
master
October 17, 2024 23:22 13m 15s
Moving FStar.Pprint into the (normal, application) library Build and test FStar #4219: Pull request #3582 opened by mtzguido
October 17, 2024 23:12 10m 22s mtzguido:pprint_in_ulib
mtzguido:pprint_in_ulib
October 17, 2024 23:12 10m 22s
Merge pull request #3581 from mtzguido/ocamlc Build and test FStar #4218: Commit 2771a79 pushed by mtzguido
October 17, 2024 22:30 10m 19s master
master
October 17, 2024 22:30 10m 19s
Introducing --ocamlc and --ocamlc_plugin Build and test FStar #4217: Pull request #3581 opened by mtzguido
October 17, 2024 21:58 10m 24s mtzguido:ocamlc
mtzguido:ocamlc
October 17, 2024 21:58 10m 24s
Merge pull request #3580 from mtzguido/testnit Build and test FStar #4216: Commit 2c32d6e pushed by mtzguido
October 17, 2024 13:46 10m 13s master
master
October 17, 2024 13:46 10m 13s
tests: Makefile patch to make sure we disable hints for one file Build and test FStar #4215: Pull request #3580 opened by mtzguido
October 17, 2024 13:35 10m 14s mtzguido:testnit
mtzguido:testnit
October 17, 2024 13:35 10m 14s
Merge pull request #3578 from mtzguido/test_mk Build and test FStar #4214: Commit ba3b8b0 pushed by mtzguido
October 17, 2024 03:30 15m 49s master
master
October 17, 2024 03:30 15m 49s
tests: rework makefiles Build and test FStar #4213: Pull request #3578 synchronize by mtzguido
October 17, 2024 00:58 23m 17s mtzguido:test_mk
mtzguido:test_mk
October 17, 2024 00:58 23m 17s
Merge pull request #3579 from FStarLang/nik_gamma_sig_no_mtime Build and test FStar #4212: Commit 03d5d59 pushed by nikswamy
October 17, 2024 00:57 12m 14s master
master
October 17, 2024 00:57 12m 14s
Fix some quadratic name lookup behavior Build and test FStar #4211: Pull request #3579 opened by nikswamy
October 17, 2024 00:38 19m 7s nik_gamma_sig_no_mtime
nik_gamma_sig_no_mtime
October 17, 2024 00:38 19m 7s
tests: rework makefiles Build and test FStar #4210: Pull request #3578 synchronize by mtzguido
October 17, 2024 00:18 18m 55s mtzguido:test_mk
mtzguido:test_mk
October 17, 2024 00:18 18m 55s