Skip to content

Actions: VCA-EPFL/graphiti

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
629 workflow runs
629 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Discuss correctness of commuting mapKey over bijectivePortRenaming CI #151: Commit b3387f7 pushed by ymherklotz
3m 9s main
main
3m 9s
Add a comment discussing the correctness of commuting mapKey over bij… CI #150: Commit b4788d6 pushed by ymherklotz
3m 8s main
main
3m 8s
Finish renaming proof with small assumption CI #149: Commit 6075714 pushed by ymherklotz
4m 3s main
main
4m 3s
Merge remote-tracking branch 'origin/pretty-printing' CI #148: Commit bac8934 pushed by ymherklotz
3m 11s main
main
3m 11s
Remove the bag from the loop rewrite CI #147: Commit 9cfc253 pushed by ymherklotz
3m 16s main
main
3m 16s
Remove Aesop from dataflow-rewriter runtime CI #146: Commit ac8eb92 pushed by ymherklotz
3m 31s main
main
3m 31s
Add the queue to the loop rewrite CI #145: Commit ad6f64f pushed by ymherklotz
1m 4s main
main
1m 4s
Merge branch 'pretty-printing' CI #144: Commit c205c7c pushed by ymherklotz
4m 29s main
main
4m 29s
Add many changes relative to the top-level proof CI #143: Commit c16f7c3 pushed by ymherklotz
1m 11s main
main
1m 11s
LoopRw CI #142: Commit e48c572 pushed by marty2697
1m 3s main
main
1m 3s
explicity phi doesn't work CI #141: Commit a4bf6d6 pushed by marty2697
1m 3s main
main
1m 3s
Increment counter by 1 in ghost state CI #140: Commit dd77c04 pushed by ymherklotz
1m 2s main
main
1m 2s
Increment counter by 1 in ghost state CI #139: Commit 7376f07 pushed by ymherklotz
58s main
main
58s
Fix evaluation of ghost state CI #138: Commit 0e98a3b pushed by ymherklotz
59s main
main
59s
Add ghost state to RHS in the loop rewrite CI #137: Commit c407469 pushed by ymherklotz
1m 6s main
main
1m 6s
Add rewrite proofs CI #136: Commit 1c6a67d pushed by ymherklotz
1m 7s main
main
1m 7s
End 2 cases invariant loop CI #135: Commit 7e665cf pushed by marty2697
4m 38s main
main
4m 38s
Add some comments CI #134: Commit 45269ef pushed by ymherklotz
3m 12s main
main
3m 12s
Add possibility to export the ExprHigh graph to a dot file CI #133: Commit ac56ec3 pushed by ymherklotz
3m 49s main
main
3m 49s
Add possibility to export the ExprHigh graph to a dot file CI #132: Commit c175c09 pushed by ymherklotz
3m 15s main
main
3m 15s
Add possibility to export the ExprHigh graph to a dot file CI #131: Commit 15333ec pushed by ymherklotz
3m 39s main
main
3m 39s
Change ordering of simp and get much more concise symbolic eval CI #130: Commit fa72261 pushed by ymherklotz
3m 16s main
main
3m 16s
Fix assertion by removing fork from loop rewrite rhs CI #129: Commit c4ecf69 pushed by ymherklotz
3m 54s main
main
3m 54s
Fix assertion by removing for from loop rewrite rhs CI #128: Commit 931c65c pushed by ymherklotz
3m 36s main
main
3m 36s
Add symbolic execution of the loop rewrite CI #127: Commit ae9358e pushed by ymherklotz
3m 34s main
main
3m 34s
ProTip! You can narrow down the results and go further in time using created:<2025-01-10 or the other filters available.