Skip to content

Actions: AeneasVerif/charon

Actions

.github/workflows/ci.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,614 workflow runs
1,614 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a micro-pass to fix borrow-checking issues introduced by index_to_function_calls .github/workflows/ci.yml #1618: Pull request #456 synchronize by sonmarcho
November 10, 2024 17:36 8m 11s son/index
son/index
November 10, 2024 17:36 8m 11s
Add more tests to array.rs .github/workflows/ci.yml #1617: Commit a23eafd pushed by sonmarcho
November 10, 2024 17:36 24m 18s son/index
son/index
November 10, 2024 17:36 24m 18s
Add a micro-pass to fix borrow-checking issues introduced by index_to_function_calls .github/workflows/ci.yml #1616: Pull request #456 synchronize by sonmarcho
November 10, 2024 17:28 4m 15s son/index
son/index
November 10, 2024 17:28 4m 15s
Update the type substitution .github/workflows/ci.yml #1615: Commit 91adda3 pushed by sonmarcho
November 10, 2024 17:28 15m 28s son/index
son/index
November 10, 2024 17:28 15m 28s
Add a micro-pass to fix borrow-checking issues introduced by index_to_function_calls .github/workflows/ci.yml #1614: Pull request #456 synchronize by sonmarcho
November 10, 2024 17:13 56s son/index
son/index
November 10, 2024 17:13 56s
Cleanup a bit .github/workflows/ci.yml #1613: Commit df62937 pushed by sonmarcho
November 10, 2024 17:13 17m 59s son/index
son/index
November 10, 2024 17:13 17m 59s
Add a micro-pass to fix borrow-checking issues introduced by index_to_function_calls .github/workflows/ci.yml #1612: Pull request #456 synchronize by sonmarcho
November 10, 2024 15:01 58s son/index
son/index
November 10, 2024 15:01 58s
Implement Ty::substitute and fix Place::compute_projected_type .github/workflows/ci.yml #1611: Commit eec25a4 pushed by sonmarcho
November 10, 2024 15:01 17m 12s son/index
son/index
November 10, 2024 15:01 17m 12s
Add a micro-pass to fix borrow-checking issues introduced by index_to_function_calls .github/workflows/ci.yml #1610: Pull request #456 synchronize by sonmarcho
November 10, 2024 14:03 57s son/index
son/index
November 10, 2024 14:03 57s
Update index_intermediate_assigns .github/workflows/ci.yml #1609: Commit 86e474f pushed by sonmarcho
November 10, 2024 14:03 17m 28s son/index
son/index
November 10, 2024 14:03 17m 28s
Update LlbcAstUtils.chain_statements .github/workflows/ci.yml #1608: Pull request #458 synchronize by sonmarcho
November 10, 2024 13:19 3m 43s son/cleanup
son/cleanup
November 10, 2024 13:19 3m 43s
Add Meta.safe_combine_span to Charon-ML .github/workflows/ci.yml #1607: Commit 0aeeccb pushed by sonmarcho
November 10, 2024 13:19 12m 50s son/cleanup
son/cleanup
November 10, 2024 13:19 12m 50s
Update LlbcAstUtils.chain_statements .github/workflows/ci.yml #1606: Pull request #458 opened by sonmarcho
November 10, 2024 13:11 45s son/cleanup
son/cleanup
November 10, 2024 13:11 45s
Update LlbcAstUtils.chain_statements .github/workflows/ci.yml #1605: Commit 9adb7b9 pushed by sonmarcho
November 10, 2024 13:11 11m 35s son/cleanup
son/cleanup
November 10, 2024 13:11 11m 35s
Store the type of each place .github/workflows/ci.yml #1604: Pull request #457 opened by Nadrieril
November 7, 2024 13:18 6m 29s Nadrieril:types-in-places
Nadrieril:types-in-places
November 7, 2024 13:18 6m 29s
Add a micro-pass to fix borrow-checking issues introduced by index_to_function_calls .github/workflows/ci.yml #1603: Pull request #456 opened by sonmarcho
November 6, 2024 11:23 5m 58s son/index
son/index
November 6, 2024 11:23 5m 58s
Fix some comments .github/workflows/ci.yml #1602: Commit 4486e36 pushed by sonmarcho
November 6, 2024 11:23 24m 58s son/index
son/index
November 6, 2024 11:23 24m 58s
Add a micro-pass before index_to_function_calls .github/workflows/ci.yml #1601: Commit b106d32 pushed by sonmarcho
November 6, 2024 11:17 11m 53s son/index
son/index
November 6, 2024 11:17 11m 53s
Remove trait indirection when the impl is known .github/workflows/ci.yml #1600: Pull request #210 synchronize by Nadrieril
November 6, 2024 10:44 1m 4s inline-known-method-ref
inline-known-method-ref
November 6, 2024 10:44 1m 4s
name matcher: match method fn pointers through the trait ref if enabled .github/workflows/ci.yml #1599: Commit e6167d7 pushed by Nadrieril
November 6, 2024 10:44 12m 18s inline-known-method-ref
inline-known-method-ref
November 6, 2024 10:44 12m 18s
Remove trait indirection when the impl is known .github/workflows/ci.yml #1598: Pull request #210 synchronize by Nadrieril
November 6, 2024 10:30 1m 11s inline-known-method-ref
inline-known-method-ref
November 6, 2024 10:30 1m 11s
name matcher: match method fn pointers through the trait ref if enabled .github/workflows/ci.yml #1597: Commit de74e0e pushed by Nadrieril
November 6, 2024 10:30 3m 8s inline-known-method-ref
inline-known-method-ref
November 6, 2024 10:30 3m 8s
Merge pull request #455 from AeneasVerif/son/doc .github/workflows/ci.yml #1596: Commit 73c4c8c pushed by Nadrieril
November 5, 2024 10:57 1m 46s main
main
November 5, 2024 10:57 1m 46s
Update the README to link to the online documentation .github/workflows/ci.yml #1595: Pull request #455 synchronize by Nadrieril
November 5, 2024 10:49 7m 29s son/doc
son/doc
November 5, 2024 10:49 7m 29s
Update the README to link to the online documentation .github/workflows/ci.yml #1594: Commit 701a333 pushed by Nadrieril
November 5, 2024 10:49 15m 29s son/doc
son/doc
November 5, 2024 10:49 15m 29s