Skip to content

Actions: FStarLang/karamel

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix karamel.opam: add ctypes and ctypes-foreign Build and test Karamel based on a FStar image #1047: Pull request #391 synchronize by mtzguido
December 19, 2023 18:00 8m 19s cmovcc:areitz/fix-karamel.opam
cmovcc:areitz/fix-karamel.opam
December 19, 2023 18:00 8m 19s
When emitting a polymorphic call, likely to be implemented as a macro, Build and test Karamel based on a FStar image #1046: Commit 1152206 pushed by msprotz
December 19, 2023 10:13 5m 0s protz_cg
protz_cg
December 19, 2023 10:13 5m 0s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1045: Scheduled
December 19, 2023 01:09 6m 47s master
master
December 19, 2023 01:09 6m 47s
Expose a useful helper Build and test Karamel based on a FStar image #1044: Commit 1f52609 pushed by msprotz
December 18, 2023 21:10 6m 43s protz_cg
protz_cg
December 18, 2023 21:10 6m 43s
Fix Nix build header: F* and krml versions empty Build and test Karamel based on a FStar image #1043: Pull request #394 synchronize by cmovcc
December 18, 2023 15:31 3m 37s cmovcc:areitz/fix-nix-build-header
cmovcc:areitz/fix-nix-build-header
December 18, 2023 15:31 3m 37s
Merge pull request #402 from kant2002/patch-1 Build and test Karamel based on a FStar image #1042: Commit 67b19d9 pushed by msprotz
December 18, 2023 13:32 6m 49s master
master
December 18, 2023 13:32 6m 49s
Fix build badge Build and test Karamel based on a FStar image #1041: Pull request #402 opened by kant2002
December 18, 2023 13:21 6m 42s kant2002:patch-1
kant2002:patch-1
December 18, 2023 13:21 6m 42s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1040: Scheduled
December 18, 2023 01:11 6m 49s master
master
December 18, 2023 01:11 6m 49s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1039: Scheduled
December 17, 2023 01:14 6m 49s master
master
December 17, 2023 01:14 6m 49s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1038: Scheduled
December 16, 2023 01:09 7m 11s master
master
December 16, 2023 01:09 7m 11s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1037: Scheduled
December 15, 2023 01:11 7m 3s master
master
December 15, 2023 01:11 7m 3s
Merge pull request #401 from amosr/amos/reduce-full-match Build and test Karamel based on a FStar image #1036: Commit 44b0cbe pushed by msprotz
December 14, 2023 11:19 6m 54s master
master
December 14, 2023 11:19 6m 54s
remove backtracking in reduce_full_match Build and test Karamel based on a FStar image #1035: Pull request #401 synchronize by amosr
December 14, 2023 09:28 6m 53s amosr:amos/reduce-full-match
amosr:amos/reduce-full-match
December 14, 2023 09:28 6m 53s
remove backtracking in reduce_full_match Build and test Karamel based on a FStar image #1034: Pull request #401 synchronize by amosr
December 14, 2023 04:01 4m 51s amosr:amos/reduce-full-match
amosr:amos/reduce-full-match
December 14, 2023 04:01 4m 51s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1032: Scheduled
December 14, 2023 01:09 7m 16s master
master
December 14, 2023 01:09 7m 16s
Merge pull request #400 from Niols/trim-klist Build and test Karamel based on a FStar image #1031: Commit 0ef50b0 pushed by msprotz
December 13, 2023 15:08 7m 6s master
master
December 13, 2023 15:08 7m 6s
Cleanup the KList module Build and test Karamel based on a FStar image #1030: Pull request #400 opened by Niols
December 13, 2023 11:51 6m 57s Niols:trim-klist
Niols:trim-klist
December 13, 2023 11:51 6m 57s
tidbit Build and test Karamel based on a FStar image #1029: Commit 8e0595b pushed by msprotz
December 13, 2023 08:49 6m 43s protz_cg
protz_cg
December 13, 2023 08:49 6m 43s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1028: Scheduled
December 13, 2023 01:10 7m 18s master
master
December 13, 2023 01:10 7m 18s
Two missing cases in readonly analysis Build and test Karamel based on a FStar image #1027: Commit b329675 pushed by msprotz
December 12, 2023 12:33 6m 39s protz_cg
protz_cg
December 12, 2023 12:33 6m 39s
Add some class Build and test Karamel based on a FStar image #1026: Commit 092e417 pushed by msprotz
December 12, 2023 11:21 6m 43s protz_cg
protz_cg
December 12, 2023 11:21 6m 43s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1025: Scheduled
December 12, 2023 01:11 7m 17s master
master
December 12, 2023 01:11 7m 17s
Merge pull request #399 from Niols/get-rid-of-option Build and test Karamel based on a FStar image #1024: Commit e649495 pushed by msprotz
December 11, 2023 17:44 6m 47s master
master
December 11, 2023 17:44 6m 47s
Get rid of the compatibility Option module Build and test Karamel based on a FStar image #1023: Pull request #399 opened by Niols
December 11, 2023 16:30 7m 6s Niols:get-rid-of-option
Niols:get-rid-of-option
December 11, 2023 16:30 7m 6s
use stdlib function Build and test Karamel based on a FStar image #1022: Commit 2aa014b pushed by R1kM
December 11, 2023 15:32 4m 15s afromher_rs
afromher_rs
December 11, 2023 15:32 4m 15s
ProTip! You can narrow down the results and go further in time using created:<2023-12-11 or the other filters available.