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

No FSTAR_HOME Build and test Karamel based on a FStar image #1995: Pull request #516 synchronize by mtzguido
January 9, 2025 15:47 7m 42s mtzguido:no_fstar_home
mtzguido:no_fstar_home
January 9, 2025 15:47 7m 42s
Filter definitions of current file, support do statement, preliminary… Build and test Karamel based on a FStar image #1994: Commit af895aa pushed by R1kM
January 9, 2025 15:45 3m 19s afromher_clangml
afromher_clangml
January 9, 2025 15:45 3m 19s
Handle function calls, more of Chacha20 extracting Build and test Karamel based on a FStar image #1993: Commit a5653b6 pushed by R1kM
January 9, 2025 10:40 3m 47s afromher_clangml
afromher_clangml
January 9, 2025 10:40 3m 47s
Merge pull request #517 from FStarLang/afromher_rust Build and test Karamel based on a FStar image #1992: Commit 7f45831 pushed by R1kM
January 9, 2025 09:51 7m 0s master
master
January 9, 2025 09:51 7m 0s
Fix Rust cosmetic pass removing trailing units Build and test Karamel based on a FStar image #1991: Pull request #517 synchronize by R1kM
January 9, 2025 09:37 13m 51s afromher_rust
afromher_rust
January 9, 2025 09:37 13m 51s
Merge branch 'master' into afromher_rust Build and test Karamel based on a FStar image #1990: Commit 2406ac2 pushed by R1kM
January 9, 2025 09:37 6m 59s afromher_rust
afromher_rust
January 9, 2025 09:37 6m 59s
Retrieve operator types, quarter_round now compiling Build and test Karamel based on a FStar image #1989: Commit c2db917 pushed by R1kM
January 9, 2025 09:26 3m 13s afromher_clangml
afromher_clangml
January 9, 2025 09:26 3m 13s
Retrieve expr types from Clang AST, translate assignments Build and test Karamel based on a FStar image #1988: Commit 3d70a13 pushed by R1kM
January 9, 2025 09:12 3m 15s afromher_clangml
afromher_clangml
January 9, 2025 09:12 3m 15s
Merge pull request #519 from mtzguido/fix_old_ci Build and test Karamel based on a FStar image #1987: Commit 68bf420 pushed by mtzguido
January 9, 2025 03:58 8m 9s master
master
January 9, 2025 03:58 8m 9s
Github actions CI CI #2: Pull request #515 synchronize by mtzguido
January 9, 2025 03:54 21m 17s mtzguido:ci
mtzguido:ci
January 9, 2025 03:54 21m 17s
install-deps: fix standalone CI Build and test Karamel based on a FStar image #1986: Pull request #519 opened by mtzguido
January 9, 2025 03:46 9m 31s mtzguido:fix_old_ci
mtzguido:fix_old_ci
January 9, 2025 03:46 9m 31s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1985: Scheduled
January 9, 2025 02:02 8m 2s master
master
January 9, 2025 02:02 8m 2s
Merge pull request #518 from FStarLang/protz_enums Build and test Karamel based on a FStar image #1984: Commit 0e372f6 pushed by msprotz
January 8, 2025 22:59 7m 41s master
master
January 8, 2025 22:59 7m 41s
Improved compilation scheme for enums. Build and test Karamel based on a FStar image #1983: Pull request #518 synchronize by msprotz
January 8, 2025 22:32 26m 36s protz_enums
protz_enums
January 8, 2025 22:32 26m 36s
Merge branch 'master' into protz_enums Build and test Karamel based on a FStar image #1982: Commit d5748c7 pushed by msprotz
January 8, 2025 22:32 19m 4s protz_enums
protz_enums
January 8, 2025 22:32 19m 4s
Improved compilation scheme for enums. Build and test Karamel based on a FStar image #1981: Pull request #518 opened by msprotz
January 8, 2025 22:32 11m 4s protz_enums
protz_enums
January 8, 2025 22:32 11m 4s
Improved compilation scheme for enums. Build and test Karamel based on a FStar image #1980: Commit 9063561 pushed by protz
January 8, 2025 22:27 8m 24s protz_enums
protz_enums
January 8, 2025 22:27 8m 24s
nix: remove FSTAR_HOME Build and test Karamel based on a FStar image #1979: Commit 21ea5a0 pushed by mtzguido
January 8, 2025 21:37 8m 33s guido_dev
guido_dev
January 8, 2025 21:37 8m 33s
WIP: Support more expressions Build and test Karamel based on a FStar image #1978: Commit e063378 pushed by R1kM
January 8, 2025 19:53 3m 13s afromher_clangml
afromher_clangml
January 8, 2025 19:53 3m 13s
Support basic function parameters Build and test Karamel based on a FStar image #1977: Commit 199109f pushed by R1kM
January 8, 2025 19:11 8m 27s afromher_clangml
afromher_clangml
January 8, 2025 19:11 8m 27s
Fix Rust cosmetic pass removing trailing units Build and test Karamel based on a FStar image #1976: Pull request #517 opened by R1kM
January 8, 2025 19:03 13m 16s afromher_rust
afromher_rust
January 8, 2025 19:03 13m 16s
Fix Rust cosmetic pass removing trailing units Build and test Karamel based on a FStar image #1975: Commit e80c30f pushed by R1kM
January 8, 2025 19:01 7m 50s afromher_rust
afromher_rust
January 8, 2025 19:01 7m 50s
No FSTAR_HOME Build and test Karamel based on a FStar image #1974: Pull request #516 synchronize by mtzguido
January 8, 2025 18:35 9m 29s mtzguido:no_fstar_home
mtzguido:no_fstar_home
January 8, 2025 18:35 9m 29s
No FSTAR_HOME Build and test Karamel based on a FStar image #1973: Pull request #516 opened by mtzguido
January 8, 2025 18:14 7m 45s mtzguido:no_fstar_home
mtzguido:no_fstar_home
January 8, 2025 18:14 7m 45s
WIP: Clangml frontend Build and test Karamel based on a FStar image #1972: Commit 0fe9a93 pushed by R1kM
January 8, 2025 18:10 3m 32s afromher_clangml
afromher_clangml
January 8, 2025 18:10 3m 32s