Skip to content

Actions: AeneasVerif/aeneas

Actions

All workflows

Actions

Loading...
Loading

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

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
feat: progress? to say which theorem has been used (#277) .github/workflows/ci.yml #1198: Commit 71f2c2a pushed by sonmarcho
July 5, 2024 13:25 17m 41s main
main
July 5, 2024 13:25 17m 41s
Add the AVL tree example .github/workflows/ci.yml #1197: Pull request #283 opened by sonmarcho
July 5, 2024 12:48 53m 45s son/avl-tests
son/avl-tests
July 5, 2024 12:48 53m 45s
feat: progress? to say which theorem has been used .github/workflows/ci.yml #1196: Pull request #277 synchronize by sonmarcho
July 5, 2024 12:47 37m 16s RaitoBezarius:progress-says
RaitoBezarius:progress-says
July 5, 2024 12:47 37m 16s
Update scalar_tac to use the aesop tactic .github/workflows/ci.yml #1195: Pull request #282 opened by sonmarcho
July 5, 2024 12:46 13m 24s son/scalar_tac
son/scalar_tac
July 5, 2024 12:46 13m 24s
.github/workflows/ci.yml .github/workflows/ci.yml #1194: by sonmarcho
July 5, 2024 12:45 30s main
main
July 5, 2024 12:45 30s
Update the dependencies .github/workflows/ci.yml #1193: Commit 95ee392 pushed by sonmarcho
July 5, 2024 11:46 6m 21s son/scalar_tac
son/scalar_tac
July 5, 2024 11:46 6m 21s
Make progress on scalar_tac .github/workflows/ci.yml #1192: Commit 406cd41 pushed by sonmarcho
July 5, 2024 08:58 6m 24s son/scalar_tac
son/scalar_tac
July 5, 2024 08:58 6m 24s
Make minor modifications to the AVLs .github/workflows/ci.yml #1191: Commit 96f789f pushed by sonmarcho
July 5, 2024 08:16 16m 1s son/avl-tests
son/avl-tests
July 5, 2024 08:16 16m 1s
Make progress on updating the proofs of the AVL tree .github/workflows/ci.yml #1190: Commit 930add2 pushed by sonmarcho
July 4, 2024 17:38 15m 11s son/avl-tests
son/avl-tests
July 4, 2024 17:38 15m 11s
Make progress on updating the proofs of the AVL trees .github/workflows/ci.yml #1189: Commit 5f0e848 pushed by sonmarcho
July 4, 2024 14:08 7m 20s son/avl-tests
son/avl-tests
July 4, 2024 14:08 7m 20s
Regenerate the code of the AVL tree .github/workflows/ci.yml #1188: Commit 0305ad9 pushed by sonmarcho
July 4, 2024 12:13 15m 58s son/avl-tests
son/avl-tests
July 4, 2024 12:13 15m 58s
Start fixing the AVL tree example .github/workflows/ci.yml #1187: Commit 3365c91 pushed by sonmarcho
July 4, 2024 10:02 6m 13s son/avl-tests
son/avl-tests
July 4, 2024 10:02 6m 13s
feat: progress with a term .github/workflows/ci.yml #1186: Pull request #281 opened by RaitoBezarius
July 3, 2024 15:52 30m 23s RaitoBezarius:progress-with-terms
RaitoBezarius:progress-with-terms
July 3, 2024 15:52 30m 23s
feat: progress? to say which theorem has been used .github/workflows/ci.yml #1185: Pull request #277 synchronize by RaitoBezarius
July 3, 2024 15:51 20m 45s RaitoBezarius:progress-says
RaitoBezarius:progress-says
July 3, 2024 15:51 20m 45s
Update the Makefile to filter more files when running tests .github/workflows/ci.yml #1184: Pull request #280 opened by sonmarcho
July 3, 2024 15:32 2m 39s son/fix-test-runner
son/fix-test-runner
July 3, 2024 15:32 2m 39s
Update the Makefile to filter more files when running tests .github/workflows/ci.yml #1183: Commit bd5a75a pushed by sonmarcho
July 3, 2024 15:32 21m 47s son/fix-test-runner
son/fix-test-runner
July 3, 2024 15:32 21m 47s
tests: add Lean formalization for AVL .github/workflows/ci.yml #1182: Commit 4a89dbd pushed by sonmarcho
July 3, 2024 15:16 17m 59s son/avl-tests
son/avl-tests
July 3, 2024 15:16 17m 59s
Update Lean to 4.10.0-rc1 .github/workflows/ci.yml #1181: Pull request #279 opened by sonmarcho
July 3, 2024 15:02 45s son/update-lean
son/update-lean
July 3, 2024 15:02 45s
Merge remote-tracking branch 'origin/main' into son/update-lean .github/workflows/ci.yml #1180: Commit a47c3e3 pushed by sonmarcho
July 3, 2024 15:02 23m 25s son/update-lean
son/update-lean
July 3, 2024 15:02 23m 25s
Merge pull request #264 from Nadrieril/format .github/workflows/ci.yml #1179: Commit a2f87c1 pushed by Nadrieril
July 3, 2024 14:07 37s main
main
July 3, 2024 14:07 37s
Tweak formatting options .github/workflows/ci.yml #1178: Pull request #264 synchronize by Nadrieril
July 3, 2024 13:32 18m 40s Nadrieril:format
Nadrieril:format
July 3, 2024 13:32 18m 40s
Update the tests .github/workflows/ci.yml #1177: Commit 2db905b pushed by sonmarcho
July 3, 2024 12:49 22m 1s son/update-lean
son/update-lean
July 3, 2024 12:49 22m 1s
Merge branch 'son/update-lean' into son/scalar_tac .github/workflows/ci.yml #1176: Commit 0efea04 pushed by sonmarcho
July 3, 2024 12:48 16m 20s son/scalar_tac
son/scalar_tac
July 3, 2024 12:48 16m 20s
Tweak formatting options .github/workflows/ci.yml #1175: Pull request #264 synchronize by Nadrieril
July 3, 2024 12:36 13m 12s Nadrieril:format
Nadrieril:format
July 3, 2024 12:36 13m 12s
Merge pull request #278 from Nadrieril/update-charon .github/workflows/ci.yml #1174: Commit a58998b pushed by Nadrieril
July 3, 2024 12:35 59s main
main
July 3, 2024 12:35 59s