Skip to content

Actions: AeneasVerif/charon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,039 workflow runs
2,039 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update the NameMatcher Build and test #224: Commit 521d6ea pushed by sonmarcho
March 10, 2024 18:00 39s son/clashes
son/clashes
March 10, 2024 18:00 39s
Update names::ImplElem to distinguish inherent impls from trait impls Build and test #223: Commit f56331c pushed by sonmarcho
March 10, 2024 15:54 2m 42s son/clashes
son/clashes
March 10, 2024 15:54 2m 42s
Merge pull request #81 from AeneasVerif/son/fix_loops Build and test #222: Commit c1b3f94 pushed by sonmarcho
March 8, 2024 23:49 20s main
main
March 8, 2024 23:49 20s
Add some tests for the loops Build and test #221: Pull request #81 synchronize by sonmarcho
March 8, 2024 23:43 54s son/fix_loops
son/fix_loops
March 8, 2024 23:43 54s
Update some tests Build and test #220: Commit 882c61d pushed by sonmarcho
March 8, 2024 23:43 38s son/fix_loops
son/fix_loops
March 8, 2024 23:43 38s
Add some tests for the loops Build and test #219: Pull request #81 opened by sonmarcho
March 8, 2024 22:20 39s son/fix_loops
son/fix_loops
March 8, 2024 22:20 39s
Add some tests for the loops Build and test #218: Commit 33c1f8e pushed by sonmarcho
March 8, 2024 22:20 37s son/fix_loops
son/fix_loops
March 8, 2024 22:20 37s
Merge pull request #77 from AeneasVerif/son/demo Build and test #217: Commit 89cecf5 pushed by sonmarcho
March 8, 2024 22:16 3m 36s son/fix_loops
son/fix_loops
March 8, 2024 22:16 3m 36s
Prepare the merge with hax Build and test #216: Pull request #70 synchronize by sonmarcho
March 7, 2024 15:50 6m 29s son/hax
son/hax
March 7, 2024 15:50 6m 29s
Merge branch 'main' into son/hax Build and test #215: Commit cb2a0fe pushed by sonmarcho
March 7, 2024 15:50 6m 13s son/hax
son/hax
March 7, 2024 15:50 6m 13s
Prepare the merge with hax Build and test #214: Pull request #70 synchronize by sonmarcho
March 7, 2024 15:49 6m 21s son/hax
son/hax
March 7, 2024 15:49 6m 21s
Update the Cargo.toml Build and test #213: Commit 26cd02a pushed by sonmarcho
March 7, 2024 15:49 5m 48s son/hax
son/hax
March 7, 2024 15:49 5m 48s
Merge pull request #77 from AeneasVerif/son/demo Build and test #212: Commit 89cecf5 pushed by sonmarcho
February 9, 2024 14:35 22s main
main
February 9, 2024 14:35 22s
Add a demo file Build and test #211: Pull request #77 opened by sonmarcho
February 9, 2024 14:25 23s son/demo
son/demo
February 9, 2024 14:25 23s
Add a demo file Build and test #210: Commit cc8b718 pushed by sonmarcho
February 9, 2024 14:21 3m 6s son/demo
son/demo
February 9, 2024 14:21 3m 6s
Prepare the merge with hax Build and test #209: Pull request #70 synchronize by sonmarcho
February 8, 2024 13:12 43s son/hax
son/hax
February 8, 2024 13:12 43s
Simplify the handling of traits Build and test #208: Commit 73c3556 pushed by sonmarcho
February 8, 2024 13:12 24s son/hax
son/hax
February 8, 2024 13:12 24s
Prepare the merge with hax Build and test #207: Pull request #70 synchronize by sonmarcho
February 8, 2024 08:43 42s son/hax
son/hax
February 8, 2024 08:43 42s
Merge branch 'main' into son/hax Build and test #206: Commit aedc53e pushed by sonmarcho
February 8, 2024 08:43 24s son/hax
son/hax
February 8, 2024 08:43 24s
Prepare the merge with hax Build and test #205: Pull request #70 synchronize by sonmarcho
February 8, 2024 08:25 40s son/hax
son/hax
February 8, 2024 08:25 40s
Update Charon-ML Build and test #204: Commit cff1c53 pushed by sonmarcho
February 8, 2024 08:25 23s son/hax
son/hax
February 8, 2024 08:25 23s
Prepare the merge with hax Build and test #203: Pull request #70 synchronize by sonmarcho
February 8, 2024 08:03 40s son/hax
son/hax
February 8, 2024 08:03 40s
Use Vec instead of BTreeMap for GenericParams::trait_clauses Build and test #202: Commit 30f24f8 pushed by sonmarcho
February 8, 2024 08:03 22s son/hax
son/hax
February 8, 2024 08:03 22s
Prepare the merge with hax Build and test #201: Pull request #70 synchronize by sonmarcho
February 8, 2024 07:45 3m 26s son/hax
son/hax
February 8, 2024 07:45 3m 26s
Handle the paths for the Self clause from the Hax frontend Build and test #200: Commit 71eb3a8 pushed by sonmarcho
February 8, 2024 07:45 3m 7s son/hax
son/hax
February 8, 2024 07:45 3m 7s
ProTip! You can narrow down the results and go further in time using created:<2024-02-08 or the other filters available.