Skip to content

Actions: AeneasVerif/aeneas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,222 workflow runs
1,222 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Fix a minor issue with the loops fixed-point computation .github/workflows/ci.yml #1150: Pull request #273 opened by sonmarcho
June 30, 2024 08:04 41m 35s son/fix
son/fix
June 30, 2024 08:04 41m 35s
Update the Charon pin .github/workflows/ci.yml #1149: Commit f568d4e pushed by sonmarcho
June 30, 2024 07:59 45m 2s son/fix
son/fix
June 30, 2024 07:59 45m 2s
Make progress on updating scalar_tac to use aesop .github/workflows/ci.yml #1148: Commit 69e8532 pushed by sonmarcho
June 28, 2024 18:22 9m 11s son/scalar_tac
son/scalar_tac
June 28, 2024 18:22 9m 11s
Update intTac to use Aesop.saturate .github/workflows/ci.yml #1147: Commit 7625854 pushed by sonmarcho
June 28, 2024 14:21 9m 4s son/scalar_tac
son/scalar_tac
June 28, 2024 14:21 9m 4s
Merge pull request #272 from Nadrieril/remove-llbc_name .github/workflows/ci.yml #1146: Commit 5590dc8 pushed by Nadrieril
June 28, 2024 08:58 31s main
main
June 28, 2024 08:58 31s
Remove redundant llbc_name field .github/workflows/ci.yml #1145: Pull request #272 opened by Nadrieril
June 28, 2024 07:48 17m 43s Nadrieril:remove-llbc_name
Nadrieril:remove-llbc_name
June 28, 2024 07:48 17m 43s
Merge pull request #271 from Nadrieril/update-charon2 .github/workflows/ci.yml #1144: Commit 2e9d264 pushed by Nadrieril
June 28, 2024 06:44 28s main
main
June 28, 2024 06:44 28s
Update charon .github/workflows/ci.yml #1143: Pull request #271 opened by Nadrieril
June 28, 2024 06:19 25s Nadrieril:update-charon2
Nadrieril:update-charon2
June 28, 2024 06:19 25s
feat: add Scalar.cast_in_bounds_eq to progress on "trivial" scalar casts .github/workflows/ci.yml #1142: Pull request #265 opened by RaitoBezarius
June 27, 2024 10:47 24m 39s RaitoBezarius:scalar_cast_in_bounds
RaitoBezarius:scalar_cast_in_bounds
June 27, 2024 10:47 24m 39s
Tweak formatting options .github/workflows/ci.yml #1141: Pull request #264 synchronize by Nadrieril
June 25, 2024 12:24 26m 16s Nadrieril:format
Nadrieril:format
June 25, 2024 12:24 26m 16s
Tweak formatting options .github/workflows/ci.yml #1140: Pull request #264 synchronize by Nadrieril
June 25, 2024 12:23 18m 54s Nadrieril:format
Nadrieril:format
June 25, 2024 12:23 18m 54s
Tweak formatting options .github/workflows/ci.yml #1139: Pull request #264 synchronize by Nadrieril
June 25, 2024 12:17 16m 6s Nadrieril:format
Nadrieril:format
June 25, 2024 12:17 16m 6s
Tweak formatting options .github/workflows/ci.yml #1138: Pull request #264 synchronize by Nadrieril
June 25, 2024 12:16 8m 42s Nadrieril:format
Nadrieril:format
June 25, 2024 12:16 8m 42s
Merge pull request #263 from Nadrieril/subst-preds .github/workflows/ci.yml #1137: Commit 3f07bf0 pushed by Nadrieril
June 25, 2024 12:16 1m 10s main
main
June 25, 2024 12:16 1m 10s
Tweak formatting options .github/workflows/ci.yml #1136: Pull request #264 opened by Nadrieril
June 25, 2024 12:04 12m 2s Nadrieril:format
Nadrieril:format
June 25, 2024 12:04 12m 2s
Update charon .github/workflows/ci.yml #1135: Pull request #263 opened by Nadrieril
June 25, 2024 11:58 11m 5s Nadrieril:subst-preds
Nadrieril:subst-preds
June 25, 2024 11:58 11m 5s
Bump Lean to v4.9.0rc3 (#261) .github/workflows/ci.yml #1134: Commit 59ee1eb pushed by sonmarcho
June 25, 2024 08:34 1m 7s main
main
June 25, 2024 08:34 1m 7s
Bump Lean to v4.9.0rc3 .github/workflows/ci.yml #1133: Pull request #261 opened by sonmarcho
June 24, 2024 19:20 32s son/update-lean
son/update-lean
June 24, 2024 19:20 32s
Bump Lean to v4.9.0rc3 .github/workflows/ci.yml #1132: Commit a2f53cb pushed by sonmarcho
June 24, 2024 19:20 13m 56s son/update-lean
son/update-lean
June 24, 2024 19:20 13m 56s
Update charon .github/workflows/ci.yml #1131: Pull request #260 opened by Nadrieril
June 24, 2024 15:41 4m 25s Nadrieril:update-charon
Nadrieril:update-charon
June 24, 2024 15:41 4m 25s
Merge pull request #259 from Nadrieril/augmente-ta-vitesse .github/workflows/ci.yml #1130: Commit 56235fc pushed by Nadrieril
June 24, 2024 13:04 25s main
main
June 24, 2024 13:04 25s
Use the self-hosted runner for the lean CI checks .github/workflows/ci.yml #1129: Pull request #259 opened by Nadrieril
June 24, 2024 12:44 8m 31s Nadrieril:augmente-ta-vitesse
Nadrieril:augmente-ta-vitesse
June 24, 2024 12:44 8m 31s
Merge pull request #258 from Nadrieril/bump-charon .github/workflows/ci.yml #1128: Commit e2e2e17 pushed by Nadrieril
June 24, 2024 12:27 26s main
main
June 24, 2024 12:27 26s
Update charon .github/workflows/ci.yml #1127: Pull request #258 synchronize by Nadrieril
June 24, 2024 11:53 17m 48s Nadrieril:bump-charon
Nadrieril:bump-charon
June 24, 2024 11:53 17m 48s
Update charon .github/workflows/ci.yml #1126: Pull request #258 opened by Nadrieril
June 24, 2024 09:31 17m 44s Nadrieril:bump-charon
Nadrieril:bump-charon
June 24, 2024 09:31 17m 44s