Skip to content

Actions: AeneasVerif/charon

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cleanup the names and the module abbreviations .github/workflows/ci.yml #30: Commit ea97c19 pushed by sonmarcho
November 15, 2023 20:43 26s son_merge_types
son_merge_types
November 15, 2023 20:43 26s
Propagate the changes in Charon-ML and update the printing utilities .github/workflows/ci.yml #29: Commit 760fddc pushed by sonmarcho
November 14, 2023 17:18 22s son_merge_types
son_merge_types
November 14, 2023 17:18 22s
Remove SliceLen .github/workflows/ci.yml #28: Commit 0144c18 pushed by sonmarcho
November 14, 2023 09:35 24s son_merge_types
son_merge_types
November 14, 2023 09:35 24s
Update PathElem::Impl to store a type .github/workflows/ci.yml #27: Commit 62383a5 pushed by sonmarcho
November 14, 2023 08:45 25s son_merge_types
son_merge_types
November 14, 2023 08:45 25s
Fix a typo .github/workflows/ci.yml #26: Commit 9bf3fd8 pushed by sonmarcho
November 13, 2023 14:30 1m 34s son_merge_types
son_merge_types
November 13, 2023 14:30 1m 34s
Make minor modifications .github/workflows/ci.yml #25: Commit ec49a02 pushed by sonmarcho
November 13, 2023 12:25 1m 45s son_merge_types
son_merge_types
November 13, 2023 12:25 1m 45s
Remove regions_hierarchy.rs .github/workflows/ci.yml #24: Commit e2d7496 pushed by sonmarcho
November 13, 2023 12:24 1m 6s son_merge_types
son_merge_types
November 13, 2023 12:24 1m 6s
Update a comment .github/workflows/ci.yml #23: Commit 085fa6d pushed by sonmarcho
November 12, 2023 22:47 1m 31s son_merge_types
son_merge_types
November 12, 2023 22:47 1m 31s
Erase the regions inside the function bodies .github/workflows/ci.yml #22: Commit 631ffca pushed by sonmarcho
November 12, 2023 22:43 49s son_merge_types
son_merge_types
November 12, 2023 22:43 49s
Prefix the ty variants with "T" in Charon-ML .github/workflows/ci.yml #21: Commit 3611486 pushed by sonmarcho
November 12, 2023 19:02 36s son_merge_types
son_merge_types
November 12, 2023 19:02 36s
Rename some variants .github/workflows/ci.yml #20: Commit 61b6a72 pushed by sonmarcho
November 12, 2023 18:34 36s son_merge_types
son_merge_types
November 12, 2023 18:34 36s
Rename some definitions and factor out visitors .github/workflows/ci.yml #19: Commit b7d6ba6 pushed by sonmarcho
November 12, 2023 17:55 35s son_merge_types
son_merge_types
November 12, 2023 17:55 35s
Merge the erased regions and the "regular" regions .github/workflows/ci.yml #18: Commit 14f83db pushed by sonmarcho
November 10, 2023 19:04 1m 33s son_merge_types
son_merge_types
November 10, 2023 19:04 1m 33s
Rename RegionVarId to RegionId .github/workflows/ci.yml #17: Commit 16ba3a9 pushed by sonmarcho
November 10, 2023 17:45 1m 36s son_merge_types
son_merge_types
November 10, 2023 17:45 1m 36s
Merge pull request #49 from AeneasVerif/son_fixes .github/workflows/ci.yml #16: Commit d369bf4 pushed by sonmarcho
November 10, 2023 17:38 22s main
main
November 10, 2023 17:38 22s
Minor fixes .github/workflows/ci.yml #15: Pull request #49 opened by sonmarcho
November 10, 2023 17:37 23s son_fixes
son_fixes
November 10, 2023 17:37 23s
Update get_predicates_of to retrieve the lifetime/type constraints in… .github/workflows/ci.yml #14: Commit acb0dec pushed by sonmarcho
November 10, 2023 17:34 1m 38s son_fixes
son_fixes
November 10, 2023 17:34 1m 38s
Merge pull request #48 from AeneasVerif/son_traits_types .github/workflows/ci.yml #13: Commit 7de1d1e pushed by sonmarcho
November 10, 2023 12:28 22s main
main
November 10, 2023 12:28 22s
Add support for traits .github/workflows/ci.yml #12: Pull request #48 synchronize by sonmarcho
November 10, 2023 11:50 42s son_traits_types
son_traits_types
November 10, 2023 11:50 42s
Update the flake.lock .github/workflows/ci.yml #11: Commit 6636674 pushed by sonmarcho
November 10, 2023 11:50 25s son_traits_types
son_traits_types
November 10, 2023 11:50 25s
Add support for traits .github/workflows/ci.yml #10: Pull request #48 synchronize by sonmarcho
November 10, 2023 11:46 2m 23s son_traits_types
son_traits_types
November 10, 2023 11:46 2m 23s
Update some code snippets in the comments so that they are not run as… .github/workflows/ci.yml #9: Commit 024d863 pushed by sonmarcho
November 10, 2023 11:46 2m 6s son_traits_types
son_traits_types
November 10, 2023 11:46 2m 6s
Add support for traits .github/workflows/ci.yml #8: Pull request #48 synchronize by sonmarcho
November 10, 2023 11:39 2m 43s son_traits_types
son_traits_types
November 10, 2023 11:39 2m 43s
fix .github/workflows/ci.yml #7: Commit b510d23 pushed by sonmarcho
November 10, 2023 11:39 56s son_traits_types
son_traits_types
November 10, 2023 11:39 56s
fix .github/workflows/ci.yml #6: Commit b510d23 pushed by pnmadelaine
November 9, 2023 22:45 1m 51s pnmadelaine_traits_types
pnmadelaine_traits_types
November 9, 2023 22:45 1m 51s
ProTip! You can narrow down the results and go further in time using created:<2023-11-09 or the other filters available.