Skip to content

Actions: FStarLang/FStar

Actions

Nix Build

Actions

Loading...

Show workflow options

Create status badge

nix.yaml
396 workflow runs
396 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Add an interface for FStar.Reflection.V2.TermEq, and mark it a plugin Nix Build #402: Pull request #3322 opened by mtzguido
June 20, 2024 18:45 17m 29s mtzguido:misc
mtzguido:misc
June 20, 2024 18:45 17m 29s
Allow empty record patterns Nix Build #401: Pull request #3321 opened by mtzguido
June 20, 2024 00:55 17m 23s mtzguido:empty_record_pattern
mtzguido:empty_record_pattern
June 20, 2024 00:55 17m 23s
All: replace all uses of * for tuples by & Nix Build #400: Pull request #3318 synchronize by mtzguido
June 17, 2024 22:28 8m 36s mtzguido:use_ampersand
mtzguido:use_ampersand
June 17, 2024 22:28 8m 36s
All: replace all uses of * for tuples by & Nix Build #399: Pull request #3318 opened by mtzguido
June 17, 2024 21:46 18m 9s mtzguido:use_ampersand
mtzguido:use_ampersand
June 17, 2024 21:46 18m 9s
Make parenthesis break binding on dtuples Nix Build #398: Pull request #3317 opened by mtzguido
June 17, 2024 16:23 17m 37s mtzguido:dtuple_parens
mtzguido:dtuple_parens
June 17, 2024 16:23 17m 37s
Resugaring for dependent tuples Nix Build #397: Pull request #3316 synchronize by mtzguido
June 17, 2024 14:51 8m 1s mtzguido:dtuple_resugar
mtzguido:dtuple_resugar
June 17, 2024 14:51 8m 1s
Resugaring for dependent tuples Nix Build #396: Pull request #3316 opened by mtzguido
June 14, 2024 23:54 17m 41s mtzguido:dtuple_resugar
mtzguido:dtuple_resugar
June 14, 2024 23:54 17m 41s
Tactics: introduce ide() to check if running interactively Nix Build #395: Pull request #3314 opened by mtzguido
June 12, 2024 18:20 18m 8s mtzguido:tac_ide_primtiive
mtzguido:tac_ide_primtiive
June 12, 2024 18:20 18m 8s
Extract FStar.List.Pure.Base Nix Build #394: Pull request #3313 opened by mtzguido
June 11, 2024 14:00 18m 13s mtzguido:3312
mtzguido:3312
June 11, 2024 14:00 18m 13s
Fix 3286 Nix Build #393: Pull request #3308 opened by mtzguido
May 28, 2024 11:47 17m 22s mtzguido:3286
mtzguido:3286
May 28, 2024 11:47 17m 22s
Some basic simplification rules for reals Nix Build #392: Pull request #3305 synchronize by mtzguido
May 28, 2024 10:36 8m 48s mtzguido:real_primops
mtzguido:real_primops
May 28, 2024 10:36 8m 48s
Misc changes Nix Build #391: Pull request #3306 synchronize by mtzguido
May 26, 2024 00:45 8m 7s mtzguido:misc
mtzguido:misc
May 26, 2024 00:45 8m 7s
Misc changes Nix Build #390: Pull request #3306 opened by mtzguido
May 26, 2024 00:03 17m 25s mtzguido:misc
mtzguido:misc
May 26, 2024 00:03 17m 25s
Some basic simplification rules for reals Nix Build #389: Pull request #3305 opened by mtzguido
May 23, 2024 17:34 18m 7s mtzguido:real_primops
mtzguido:real_primops
May 23, 2024 17:34 18m 7s
FStar.Queue: rename to FStar.FunctionalQueue Nix Build #388: Pull request #3304 synchronize by mtzguido
May 23, 2024 16:01 8m 32s mtzguido:rename_queue
mtzguido:rename_queue
May 23, 2024 16:01 8m 32s
FStar.Queue: rename to FStar.FunctionalQueue Nix Build #387: Pull request #3304 opened by mtzguido
May 23, 2024 15:36 17m 46s mtzguido:rename_queue
mtzguido:rename_queue
May 23, 2024 15:36 17m 46s
Add [@@no_inline_let] annotation Nix Build #386: Pull request #3169 synchronize by mtzguido
May 23, 2024 02:32 8m 7s amosr:amos/noinlinelet
amosr:amos/noinlinelet
May 23, 2024 02:32 8m 7s
Add [@@no_inline_let] annotation Nix Build #385: Pull request #3169 synchronize by amosr
May 23, 2024 01:47 17m 42s amosr:amos/noinlinelet
amosr:amos/noinlinelet
May 23, 2024 01:47 17m 42s
Queue library Nix Build #384: Pull request #2958 synchronize by mtzguido
May 23, 2024 00:00 8m 15s mfrisella_queue
mfrisella_queue
May 23, 2024 00:00 8m 15s
Queue library Nix Build #383: Pull request #2958 synchronize by mtzguido
May 22, 2024 23:36 17m 23s mfrisella_queue
mfrisella_queue
May 22, 2024 23:36 17m 23s
Misc fixes for error messages Nix Build #382: Pull request #3303 opened by mtzguido
May 22, 2024 22:11 17m 36s mtzguido:misc
mtzguido:misc
May 22, 2024 22:11 17m 36s
Syntax.Free: fix incomplete match Nix Build #381: Pull request #3301 opened by mtzguido
May 22, 2024 05:10 17m 24s mtzguido:fix_free
mtzguido:fix_free
May 22, 2024 05:10 17m 24s
Misc tactics and debugging improvements Nix Build #380: Pull request #3300 opened by mtzguido
May 21, 2024 02:06 17m 45s mtzguido:misc_tac
mtzguido:misc_tac
May 21, 2024 02:06 17m 45s
Introduce FStar.RefinementExtensionality Nix Build #379: Pull request #3299 synchronize by mtzguido
May 19, 2024 21:54 8m 36s mtzguido:refext
mtzguido:refext
May 19, 2024 21:54 8m 36s
Introduce FStar.RefinementExtensionality Nix Build #378: Pull request #3299 opened by mtzguido
May 19, 2024 19:29 17m 23s mtzguido:refext
mtzguido:refext
May 19, 2024 19:29 17m 23s