Skip to content

Actions: AeneasVerif/charon

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update some tests .github/workflows/ci.yml #144: Pull request #55 opened by sonmarcho
December 7, 2023 13:45 21s son_tuple_types
son_tuple_types
December 7, 2023 13:45 21s
Update the no_nested_borrows.rs test file .github/workflows/ci.yml #143: Commit 84c60ea pushed by sonmarcho
December 7, 2023 13:44 39s son_tuple_types
son_tuple_types
December 7, 2023 13:44 39s
Merge pull request #54 from AeneasVerif/son_closures .github/workflows/ci.yml #142: Commit 71fe503 pushed by sonmarcho
December 5, 2023 15:31 23s main
main
December 5, 2023 15:31 23s
Add support for function pointers and closures .github/workflows/ci.yml #141: Pull request #54 synchronize by sonmarcho
December 5, 2023 13:59 59s son_closures
son_closures
December 5, 2023 13:59 59s
Make minor modifications .github/workflows/ci.yml #140: Commit ed1b370 pushed by sonmarcho
December 5, 2023 13:59 42s son_closures
son_closures
December 5, 2023 13:59 42s
Add support for function pointers and closures .github/workflows/ci.yml #139: Pull request #54 opened by sonmarcho
December 5, 2023 09:50 22s son_closures
son_closures
December 5, 2023 09:50 22s
Make a minor modification .github/workflows/ci.yml #138: Commit a994fdd pushed by sonmarcho
December 5, 2023 09:12 2m 41s son_closures
son_closures
December 5, 2023 09:12 2m 41s
Fix a minor issue with an error not being properly reported .github/workflows/ci.yml #137: Commit 421d662 pushed by sonmarcho
December 5, 2023 08:51 2m 42s son_closures
son_closures
December 5, 2023 08:51 2m 42s
Only build the Rust executable with the default Makefile target .github/workflows/ci.yml #136: Commit 431bf1c pushed by sonmarcho
December 5, 2023 08:35 22s son_closures
son_closures
December 5, 2023 08:35 22s
Merge branch 'name_matcher' into son_closures .github/workflows/ci.yml #135: Commit f808f7d pushed by sonmarcho
December 5, 2023 08:27 39s son_closures
son_closures
December 5, 2023 08:27 39s
Update the flake.nix .github/workflows/ci.yml #134: Commit cc061fe pushed by sonmarcho
December 4, 2023 16:45 30s son_closures
son_closures
December 4, 2023 16:45 30s
Update Charon-ML .github/workflows/ci.yml #133: Commit 698c1e6 pushed by sonmarcho
December 4, 2023 16:22 2m 49s son_closures
son_closures
December 4, 2023 16:22 2m 49s
Update the charon/Cargo.lock .github/workflows/ci.yml #132: Commit 02f52fb pushed by sonmarcho
December 4, 2023 14:49 4m 16s son_closures
son_closures
December 4, 2023 14:49 4m 16s
Add the update_closure_signatures.rs file .github/workflows/ci.yml #131: Commit cffb7b8 pushed by sonmarcho
December 4, 2023 14:46 22s son_closures
son_closures
December 4, 2023 14:46 22s
Add generics to AggregateKind::Closure .github/workflows/ci.yml #130: Commit cdf1104 pushed by sonmarcho
December 4, 2023 14:44 23s son_closures
son_closures
December 4, 2023 14:44 23s
Update charon/Cargo.lock .github/workflows/ci.yml #129: Commit a64b1d1 pushed by sonmarcho
December 4, 2023 13:56 1m 41s son_closures
son_closures
December 4, 2023 13:56 1m 41s
Update the closures tests .github/workflows/ci.yml #128: Commit 202882d pushed by sonmarcho
December 4, 2023 13:50 23s son_closures
son_closures
December 4, 2023 13:50 23s
Add a micro-pass to correctly parameterize closures with their state .github/workflows/ci.yml #127: Commit 5f8ae6a pushed by sonmarcho
December 4, 2023 13:22 23s son_closures
son_closures
December 4, 2023 13:22 23s
Improve the formatting of contexts .github/workflows/ci.yml #126: Commit 8c64c24 pushed by sonmarcho
December 4, 2023 08:36 2m 40s son_closures
son_closures
December 4, 2023 08:36 2m 40s
Add support for raw pointers in the name matcher .github/workflows/ci.yml #125: Commit 43a8f8d pushed by sonmarcho
December 1, 2023 21:05 48s name_matcher
name_matcher
December 1, 2023 21:05 48s
Add support for arrows in the name matcher .github/workflows/ci.yml #124: Commit 14d904d pushed by sonmarcho
December 1, 2023 20:58 39s name_matcher
name_matcher
December 1, 2023 20:58 39s
Update the NameMatcher tests .github/workflows/ci.yml #123: Commit e7d459b pushed by sonmarcho
December 1, 2023 20:40 54s name_matcher
name_matcher
December 1, 2023 20:40 54s
Generalize the "common prefix" and "convertibility" functions for Nam… .github/workflows/ci.yml #122: Commit 9218fe4 pushed by sonmarcho
December 1, 2023 20:38 56s name_matcher
name_matcher
December 1, 2023 20:38 56s
Make minor improvements to remove_dynamic_checks .github/workflows/ci.yml #121: Commit a3a03a7 pushed by sonmarcho
December 1, 2023 20:31 30s son_closures
son_closures
December 1, 2023 20:31 30s
Update remove_dynamic_checks to properly handle signed operations .github/workflows/ci.yml #120: Commit c57f95d pushed by sonmarcho
December 1, 2023 20:26 30s son_closures
son_closures
December 1, 2023 20:26 30s
ProTip! You can narrow down the results and go further in time using created:<2023-12-01 or the other filters available.