Skip to content

Actions: FStarLang/karamel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,211 workflow runs
1,211 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 #1733: Scheduled
September 21, 2024 01:23 7m 38s master
master
September 21, 2024 01:23 7m 38s
Preliminary support for data types when extracting from Low* to Rust Build and test Karamel based on a FStar image #1732: Pull request #486 synchronize by protz
September 20, 2024 17:54 8m 30s protz_rs
protz_rs
September 20, 2024 17:54 8m 30s
Fix tests Build and test Karamel based on a FStar image #1731: Commit f5c00a3 pushed by protz
September 20, 2024 17:54 8m 31s protz_rs
protz_rs
September 20, 2024 17:54 8m 31s
Preliminary support for data types when extracting from Low* to Rust Build and test Karamel based on a FStar image #1730: Pull request #486 synchronize by protz
September 20, 2024 17:43 5m 59s protz_rs
protz_rs
September 20, 2024 17:43 5m 59s
This successfully extracts HACL* with a multi-crate layout Build and test Karamel based on a FStar image #1729: Commit 77ab3fb pushed by protz
September 20, 2024 17:43 6m 7s protz_rs
protz_rs
September 20, 2024 17:43 6m 7s
Rust backend: allow const_item_mutation warning, simplify deref_addrof pattern Build and test Karamel based on a FStar image #1728: Pull request #487 opened by R1kM
September 20, 2024 11:46 5m 17s afromher_rs
afromher_rs
September 20, 2024 11:46 5m 17s
Simplify deref of addrof Build and test Karamel based on a FStar image #1727: Commit 9542aa9 pushed by R1kM
September 20, 2024 11:43 5m 32s afromher_rs
afromher_rs
September 20, 2024 11:43 5m 32s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1726: Scheduled
September 20, 2024 01:24 7m 33s master
master
September 20, 2024 01:24 7m 33s
Preliminary support for data types when extracting from Low* to Rust Build and test Karamel based on a FStar image #1725: Pull request #486 synchronize by protz
September 19, 2024 17:45 8m 30s protz_rs
protz_rs
September 19, 2024 17:45 8m 30s
And generalize the mutability analysis to variants, fix printing Build and test Karamel based on a FStar image #1724: Commit a9206a0 pushed by protz
September 19, 2024 17:45 8m 35s protz_rs
protz_rs
September 19, 2024 17:45 8m 35s
Preliminary support for data types when extracting from Low* to Rust Build and test Karamel based on a FStar image #1723: Pull request #486 synchronize by msprotz
September 19, 2024 16:37 8m 45s protz_rs
protz_rs
September 19, 2024 16:37 8m 45s
Merge branch 'master' into protz_rs Build and test Karamel based on a FStar image #1722: Commit 71ffdde pushed by msprotz
September 19, 2024 16:37 8m 42s protz_rs
protz_rs
September 19, 2024 16:37 8m 42s
Preliminary support for data types when extracting from Low* to Rust Build and test Karamel based on a FStar image #1721: Pull request #486 synchronize by protz
September 19, 2024 16:36 8m 43s protz_rs
protz_rs
September 19, 2024 16:36 8m 43s
Fix broken naming helper Build and test Karamel based on a FStar image #1720: Commit 935657a pushed by protz
September 19, 2024 16:36 15s protz_rs
protz_rs
September 19, 2024 16:36 15s
Preliminary support for data types when extracting from Low* to Rust Build and test Karamel based on a FStar image #1719: Pull request #486 synchronize by protz
September 19, 2024 16:30 8m 3s protz_rs
protz_rs
September 19, 2024 16:30 8m 3s
Leave the idiomatic Rust-style _unused naming convention to later, on… Build and test Karamel based on a FStar image #1718: Commit 7d6ee37 pushed by protz
September 19, 2024 16:30 16s protz_rs
protz_rs
September 19, 2024 16:30 16s
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