Skip to content

Actions: FStarLang/karamel

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1014: Scheduled
December 9, 2023 01:09 6m 42s master
master
December 9, 2023 01:09 6m 42s
Missing recursive call to infer Build and test Karamel based on a FStar image #1013: Commit f0b4a9a pushed by msprotz
December 8, 2023 19:27 7m 45s protz_cg
protz_cg
December 8, 2023 19:27 7m 45s
Various missing cases in checker, monomorphization, and fixing a type… Build and test Karamel based on a FStar image #1012: Commit 416d59a pushed by msprotz
December 8, 2023 14:36 6m 39s protz_cg
protz_cg
December 8, 2023 14:36 6m 39s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1011: Scheduled
December 8, 2023 01:11 7m 24s master
master
December 8, 2023 01:11 7m 24s
Fixup a tidbit in the pass by ref phase Build and test Karamel based on a FStar image #1010: Commit d433aac pushed by msprotz
December 8, 2023 00:02 7m 21s protz_cg
protz_cg
December 8, 2023 00:02 7m 21s
Merge pull request #398 from FStarLang/_taramana_dune_3_5 Build and test Karamel based on a FStar image #1009: Commit ed6d972 pushed by msprotz
December 7, 2023 21:26 7m 22s master
master
December 7, 2023 21:26 7m 22s
Use Dune 3.5 Build and test Karamel based on a FStar image #1008: Pull request #398 opened by tahina-pro
December 7, 2023 20:50 6m 39s _taramana_dune_3_5
_taramana_dune_3_5
December 7, 2023 20:50 6m 39s
use dune 3.5 Build and test Karamel based on a FStar image #1007: Commit 7dd9b24 pushed by tahina-pro
December 7, 2023 20:37 6m 39s taramana_dune_3_5
taramana_dune_3_5
December 7, 2023 20:37 6m 39s
Preserve previous names Build and test Karamel based on a FStar image #1006: Commit c5d0b7d pushed by msprotz
December 7, 2023 07:27 7m 9s protz_cg
protz_cg
December 7, 2023 07:27 7m 9s
Proper name caching based on constant vlaues Build and test Karamel based on a FStar image #1005: Commit d194803 pushed by msprotz
December 7, 2023 07:10 5m 22s protz_cg
protz_cg
December 7, 2023 07:10 5m 22s
More missing cases in the checker Build and test Karamel based on a FStar image #1004: Commit 73de315 pushed by msprotz
December 7, 2023 06:47 6m 37s protz_cg
protz_cg
December 7, 2023 06:47 6m 37s
Enable substitutions for const generics when monomorphizing functions Build and test Karamel based on a FStar image #1003: Commit cfc4b0d pushed by msprotz
December 7, 2023 06:18 7m 57s protz_cg
protz_cg
December 7, 2023 06:18 7m 57s
Debug, tweak Build and test Karamel based on a FStar image #1002: Commit 5e9dbac pushed by msprotz
December 7, 2023 05:54 6m 31s protz_cg
protz_cg
December 7, 2023 05:54 6m 31s
Redo substitutions and binder representation for safer usage Build and test Karamel based on a FStar image #1001: Commit 6156d7d pushed by msprotz
December 7, 2023 04:23 7m 22s protz_cg
protz_cg
December 7, 2023 04:23 7m 22s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1000: Scheduled
December 7, 2023 01:10 8m 22s master
master
December 7, 2023 01:10 8m 22s
Fix Nix build header: F* and krml versions empty Build and test Karamel based on a FStar image #999: Pull request #394 synchronize by cmovcc
December 6, 2023 16:10 7m 5s cmovcc:areitz/fix-nix-build-header
cmovcc:areitz/fix-nix-build-header
December 6, 2023 16:10 7m 5s
Add a field for the number of parameters that should be understood to… Build and test Karamel based on a FStar image #998: Commit b221a8c pushed by msprotz
December 6, 2023 01:47 6m 32s protz_cg
protz_cg
December 6, 2023 01:47 6m 32s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #997: Scheduled
December 6, 2023 01:10 6m 37s master
master
December 6, 2023 01:10 6m 37s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #996: Scheduled
December 5, 2023 01:11 6m 34s master
master
December 5, 2023 01:11 6m 34s
Merge pull request #397 from FStarLang/protz_misc4 Build and test Karamel based on a FStar image #995: Commit 0644e20 pushed by msprotz
December 4, 2023 04:12 7m 5s master
master
December 4, 2023 04:12 7m 5s
Generalization of the "pass by ref" for the case where functions are returning arrays (not pointers) Build and test Karamel based on a FStar image #994: Pull request #397 opened by msprotz
December 4, 2023 03:27 6m 40s protz_misc4
protz_misc4
December 4, 2023 03:27 6m 40s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #993: Scheduled
December 4, 2023 01:10 6m 37s master
master
December 4, 2023 01:10 6m 37s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #992: Scheduled
December 3, 2023 01:13 6m 36s master
master
December 3, 2023 01:13 6m 36s
A few tidbits about the handling of (now legacy) const attribute, a t… Build and test Karamel based on a FStar image #991: Commit 60de208 pushed by msprotz
December 2, 2023 01:38 8m 6s protz_misc4
protz_misc4
December 2, 2023 01:38 8m 6s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #990: Scheduled
December 2, 2023 01:07 6m 41s master
master
December 2, 2023 01:07 6m 41s
ProTip! You can narrow down the results and go further in time using created:<2023-12-02 or the other filters available.