Skip to content

Actions: damaki/stree

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix wrong node linkage in Insert_Parent .github/workflows/main.yml #41: Commit e5ca6e3 pushed by damaki
8m 13s main
main
8m 13s
Fix wrong node linkage in Insert_Parent .github/workflows/main.yml #40: Pull request #16 opened by damaki
8m 23s topic/insert-parent-fixes
topic/insert-parent-fixes
8m 23s
Add precondition for Mapping_Preserved_Except_Subtree .github/workflows/main.yml #39: Commit cbf1c9a pushed by damaki
8m 22s main
main
8m 22s
Add precondition for Mapping_Preserved_Except_Subtree .github/workflows/main.yml #38: Pull request #15 opened by damaki
8m 8s topic/mapping-preserved-except-subtree-pre
topic/mapping-preserved-except-subtree-pre
8m 8s
Implement equality operator for unbounded trees .github/workflows/main.yml #37: Commit c2f6781 pushed by damaki
8m 3s main
main
8m 3s
Implement equality operator for unbounded trees .github/workflows/main.yml #36: Pull request #14 opened by damaki
7m 57s topic/tree-equality
topic/tree-equality
7m 57s
Strengthen postcondition of Insert_Parent .github/workflows/main.yml #35: Commit 0d7d24b pushed by damaki
8m 28s main
main
8m 28s
Add Position_Of and improve some postconditions .github/workflows/main.yml #34: Pull request #13 opened by damaki
8m 19s topic/add-position-func
topic/add-position-func
8m 19s
Strengthen contracts for Insert_Child, Insert_Parent, and Delete .github/workflows/main.yml #33: Commit b76e924 pushed by damaki
8m 17s main
main
8m 17s
Strengthen contracts for Insert_Child, Insert_Parent, and Delete .github/workflows/main.yml #32: Pull request #12 opened by damaki
8m 18s topic/post-improvements
topic/post-improvements
8m 18s
Update to SPARKlib version 15 .github/workflows/main.yml #31: Commit e410d3e pushed by damaki
8m 15s main
main
8m 15s
Update to SPARKlib version 15 .github/workflows/main.yml #30: Pull request #11 opened by damaki
8m 25s topic/sparklib-15
topic/sparklib-15
8m 25s
Add generic formal for "=" to functional trees. .github/workflows/main.yml #29: Commit a37dd86 pushed by damaki
11m 19s main
main
11m 19s
Proof improvements for several property functions, Insert_Child, and equality reflexivity .github/workflows/main.yml #28: Pull request #10 opened by damaki
11m 26s topic/proof-improvements
topic/proof-improvements
11m 26s
Ensure Free_List is set correctly in Insert_Root .github/workflows/main.yml #27: Commit f8c4593 pushed by damaki
11m 0s main
main
11m 0s
Improvements to node allocation .github/workflows/main.yml #26: Pull request #9 opened by damaki
11m 22s topic/node-alloc-improvements
topic/node-alloc-improvements
11m 22s
Add Always_Terminates aspect .github/workflows/main.yml #25: Commit 01f1b25 pushed by damaki
10m 54s main
main
10m 54s
Rename packages to be children of SPARK.Containers .github/workflows/main.yml #24: Pull request #8 opened by damaki
11m 33s topic/move-to-sparklib
topic/move-to-sparklib
11m 33s
Corrections to handling Element_Type in contracts .github/workflows/main.yml #23: Commit 83df88b pushed by damaki
11m 34s main
main
11m 34s
Run unit tests with assertions enabled in all dependencies .github/workflows/main.yml #22: Commit 084c330 pushed by damaki
12m 15s main
main
12m 15s
Corrections to handling Element_Type in contracts .github/workflows/main.yml #21: Pull request #7 opened by damaki
11m 29s topic/element-handling-improvements
topic/element-handling-improvements
11m 29s
Run unit tests with assertions enabled in all dependencies .github/workflows/main.yml #20: Pull request #6 opened by damaki
11m 44s topic/unit-tests-validation-profiles
topic/unit-tests-validation-profiles
11m 44s
Add functional tree unit tests for Contains, Is_Empty, and Length .github/workflows/main.yml #19: Commit f4e07b5 pushed by damaki
12m 45s main
main
12m 45s
Fix accidental recursion in contracts .github/workflows/main.yml #18: Pull request #5 synchronize by damaki
11m 42s topic/recursion-fixes
topic/recursion-fixes
11m 42s
Fix accidental recursion in contracts .github/workflows/main.yml #17: Pull request #5 opened by damaki
50s topic/recursion-fixes
topic/recursion-fixes
50s