Skip to content

Actions: AeneasVerif/aeneas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
140 workflow run results
140 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update the validity proofs for higher-order functions .github/workflows/ci.yml #143: Commit 24c5289 pushed by sonmarcho
December 11, 2023 18:48 8m 22s son_merge_back2
son_merge_back2
December 11, 2023 18:48 8m 22s
Start working on higher-order examples for Diverge .github/workflows/ci.yml #142: Commit 78367ef pushed by sonmarcho
December 11, 2023 17:34 8m 5s son_merge_back2
son_merge_back2
December 11, 2023 17:34 8m 5s
Cleanup a bit .github/workflows/ci.yml #141: Commit ee669c4 pushed by sonmarcho
December 11, 2023 16:07 8m 8s son_merge_back2
son_merge_back2
December 11, 2023 16:07 8m 8s
Update Diverge/Elab.lean to use the more general FixII definitions .github/workflows/ci.yml #140: Commit c23a376 pushed by sonmarcho
December 11, 2023 16:00 8m 35s son_merge_back2
son_merge_back2
December 11, 2023 16:00 8m 35s
Reorganize a bit .github/workflows/ci.yml #139: Commit cb332ff pushed by sonmarcho
December 11, 2023 10:37 14m 20s son_merge_back2
son_merge_back2
December 11, 2023 10:37 14m 20s
Reactivate the sanity checks for the progress tactic .github/workflows/ci.yml #138: Commit 10a77d1 pushed by sonmarcho
December 11, 2023 10:31 15m 49s son_merge_back2
son_merge_back2
December 11, 2023 10:31 15m 49s
Update the progress tactic to use discrimination trees .github/workflows/ci.yml #137: Commit 3c09216 pushed by sonmarcho
December 8, 2023 11:41 8m 50s son_merge_back2
son_merge_back2
December 8, 2023 11:41 8m 50s
Start working on a version of Diverge.FixI more suited to higher-orde… .github/workflows/ci.yml #136: Commit b3ebef2 pushed by sonmarcho
December 7, 2023 19:52 8m 15s son_merge_back2
son_merge_back2
December 7, 2023 19:52 8m 15s
Reorganize a bit .github/workflows/ci.yml #135: Commit f749358 pushed by sonmarcho
December 7, 2023 15:29 8m 5s son_merge_back2
son_merge_back2
December 7, 2023 15:29 8m 5s
Update the flake.lock .github/workflows/ci.yml #134: Commit b3b53e3 pushed by sonmarcho
December 7, 2023 14:32 8m 33s son_merge_back2
son_merge_back2
December 7, 2023 14:32 8m 33s
Merge pull request #49 from AeneasVerif/son_merge_back .github/workflows/ci.yml #133: Commit d4ebd6c pushed by sonmarcho
December 7, 2023 14:02 8m 7s main
main
December 7, 2023 14:02 8m 7s
Allow the extraction of structures as tuples .github/workflows/ci.yml #132: Pull request #49 synchronize by sonmarcho
December 7, 2023 13:51 10m 23s son_merge_back
son_merge_back
December 7, 2023 13:51 10m 23s
Update the flake.lock .github/workflows/ci.yml #131: Commit 613496f pushed by sonmarcho
December 7, 2023 13:51 8m 15s son_merge_back
son_merge_back
December 7, 2023 13:51 8m 15s
Allow the extraction of structures as tuples .github/workflows/ci.yml #130: Pull request #49 opened by sonmarcho
December 7, 2023 13:47 8m 51s son_merge_back
son_merge_back
December 7, 2023 13:47 8m 51s
Regenerate the tests .github/workflows/ci.yml #129: Commit 6c0a23e pushed by sonmarcho
December 7, 2023 13:43 8m 21s son_merge_back
son_merge_back
December 7, 2023 13:43 8m 21s
Update the micro passes to inline deconstruction of tuples with one f… .github/workflows/ci.yml #128: Commit c17d8cb pushed by sonmarcho
December 7, 2023 11:45 8m 16s son_merge_back
son_merge_back
December 7, 2023 11:45 8m 16s
Fix minor issues when extracting a structure with one field as a tuple .github/workflows/ci.yml #127: Commit 6dbe9e1 pushed by sonmarcho
December 7, 2023 11:24 8m 21s son_merge_back
son_merge_back
December 7, 2023 11:24 8m 21s
Use a better syntax when extracting tuple types (structures with unna… .github/workflows/ci.yml #126: Commit 0209fee pushed by sonmarcho
December 7, 2023 11:08 8m 15s son_merge_back
son_merge_back
December 7, 2023 11:08 8m 15s
Remove the type sv_kind ("symbolic value kind") .github/workflows/ci.yml #125: Commit eb05c2e pushed by sonmarcho
December 5, 2023 16:51 8m 12s son_merge_back
son_merge_back
December 5, 2023 16:51 8m 12s
Merge pull request #38 from AeneasVerif/son_fixes2 .github/workflows/ci.yml #124: Commit 9eb117d pushed by sonmarcho
December 5, 2023 16:46 8m 13s main
main
December 5, 2023 16:46 8m 13s
Merge branch 'main' into son_fixes2 .github/workflows/ci.yml #123: Commit 726db49 pushed by sonmarcho
December 5, 2023 16:34 8m 23s son_fixes2
son_fixes2
December 5, 2023 16:34 8m 23s
Simplify and add some lemmas .github/workflows/ci.yml #122: Pull request #38 synchronize by sonmarcho
December 5, 2023 16:34 8m 11s son_fixes2
son_fixes2
December 5, 2023 16:34 8m 11s
Merge pull request #48 from AeneasVerif/son_closures .github/workflows/ci.yml #121: Commit 4795e5f pushed by sonmarcho
December 5, 2023 15:47 8m 6s main
main
December 5, 2023 15:47 8m 6s
Prepare support for function pointers and closures .github/workflows/ci.yml #120: Pull request #48 synchronize by sonmarcho
December 5, 2023 15:32 8m 26s son_closures
son_closures
December 5, 2023 15:32 8m 26s
Update the flake.lock .github/workflows/ci.yml #119: Commit a212ab4 pushed by sonmarcho
December 5, 2023 15:32 7m 59s son_closures
son_closures
December 5, 2023 15:32 7m 59s