Skip to content

Actions: FStarLang/karamel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,175 workflow runs
1,175 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 #1717: Scheduled
September 19, 2024 01:24 7m 51s master
master
September 19, 2024 01:24 7m 51s
Preliminary support for data types when extracting from Low* to Rust Build and test Karamel based on a FStar image #1716: Pull request #486 opened by msprotz
September 18, 2024 23:41 8m 27s protz_rs
protz_rs
September 18, 2024 23:41 8m 27s
Final tweaks to prevent further move-outs Build and test Karamel based on a FStar image #1715: Commit 748f60e pushed by protz
September 18, 2024 23:30 8m 33s protz_rs
protz_rs
September 18, 2024 23:30 8m 33s
down to four errors in HACL Build and test Karamel based on a FStar image #1714: Commit 3c733ce pushed by protz
September 18, 2024 23:21 8m 24s protz_rs
protz_rs
September 18, 2024 23:21 8m 24s
WIP: better environments for printing Build and test Karamel based on a FStar image #1713: Commit fc08c89 pushed by protz
September 18, 2024 22:27 8m 46s protz_rs
protz_rs
September 18, 2024 22:27 8m 46s
wip code quality and naming issues Build and test Karamel based on a FStar image #1712: Commit 8dd4299 pushed by protz
September 18, 2024 22:03 7m 56s protz_rs
protz_rs
September 18, 2024 22:03 7m 56s
wip: hacl extracts (but generates wrong code) Build and test Karamel based on a FStar image #1711: Commit 32f8435 pushed by protz
September 18, 2024 21:24 7m 55s protz_rs
protz_rs
September 18, 2024 21:24 7m 55s
Merge pull request #485 from vladak/target_h_deprecated_attr_studio Build and test Karamel based on a FStar image #1710: Commit baec61d pushed by msprotz
September 18, 2024 20:20 7m 35s master
master
September 18, 2024 20:20 7m 35s
specify deprecated attribute for Oracle Studio compiler Build and test Karamel based on a FStar image #1709: Pull request #485 opened by vladak
September 18, 2024 10:57 7m 52s vladak:target_h_deprecated_attr_studio
vladak:target_h_deprecated_attr_studio
September 18, 2024 10:57 7m 52s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1708: Scheduled
September 18, 2024 01:23 7m 42s master
master
September 18, 2024 01:23 7m 42s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1707: Scheduled
September 17, 2024 01:09 7m 31s master
master
September 17, 2024 01:09 7m 31s
Better debug info for hash codes Build and test Karamel based on a FStar image #1706: Commit 7e8544f pushed by protz
September 17, 2024 00:25 8m 27s protz_better_debug
protz_better_debug
September 17, 2024 00:25 8m 27s
wip; todo Build and test Karamel based on a FStar image #1705: Commit 32f3a00 pushed by protz
September 16, 2024 23:27 5m 42s protz_rs
protz_rs
September 16, 2024 23:27 5m 42s
WIP: handling match nodes properly Build and test Karamel based on a FStar image #1704: Commit 1f6f6d7 pushed by protz
September 16, 2024 22:39 8m 4s protz_rs
protz_rs
September 16, 2024 22:39 8m 4s
Merge pull request #484 from vladak/target_h_inlines_oracle_studio Build and test Karamel based on a FStar image #1703: Commit 8ea29fc pushed by msprotz
September 16, 2024 14:48 7m 43s master
master
September 16, 2024 14:48 7m 43s
specify inline related attribute for Oracle Studio compiler Build and test Karamel based on a FStar image #1702: Pull request #484 opened by vladak
September 16, 2024 10:17 7m 44s vladak:target_h_inlines_oracle_studio
vladak:target_h_inlines_oracle_studio
September 16, 2024 10:17 7m 44s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1701: Scheduled
September 16, 2024 01:35 7m 41s master
master
September 16, 2024 01:35 7m 41s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1700: Scheduled
September 15, 2024 01:38 7m 46s master
master
September 15, 2024 01:38 7m 46s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1699: Scheduled
September 14, 2024 01:22 7m 26s master
master
September 14, 2024 01:22 7m 26s
wip Build and test Karamel based on a FStar image #1698: Commit ef4ce4d pushed by protz
September 14, 2024 00:00 8m 12s protz_rs
protz_rs
September 14, 2024 00:00 8m 12s
Better handling of comments Build and test Karamel based on a FStar image #1697: Pull request #483 opened by msprotz
September 13, 2024 23:24 6m 19s protz_comments
protz_comments
September 13, 2024 23:24 6m 19s
remove ecomment Build and test Karamel based on a FStar image #1696: Commit 686aa74 pushed by protz
September 13, 2024 23:16 3m 39s protz_comments
protz_comments
September 13, 2024 23:16 3m 39s
Better handling of comments Build and test Karamel based on a FStar image #1695: Commit b9aae02 pushed by protz
September 13, 2024 22:52 7m 53s protz_comments
protz_comments
September 13, 2024 22:52 7m 53s
Better handling of comments Build and test Karamel based on a FStar image #1694: Commit 028808f pushed by protz
September 13, 2024 22:50 8m 19s protz_rs
protz_rs
September 13, 2024 22:50 8m 19s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1693: Scheduled
September 13, 2024 01:23 7m 38s master
master
September 13, 2024 01:23 7m 38s