Skip to content

Actions: formalproofs/MDPLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

removed unneeded preconditions Compile blueprint #55: Commit 20a713a pushed by marekpetrik
2m 1s main
main
2m 1s
major refactor: name change and updated libraries Compile blueprint #54: Commit 685879c pushed by marekpetrik
2m 4s main
main
2m 4s
simplification Compile blueprint #53: Commit 2718043 pushed by marekpetrik
11m 23s main
main
11m 23s
Merge pull request #45 from asi1009/Ahmed_Oscaar Compile blueprint #52: Commit 3f652ea pushed by marekpetrik
11m 16s main
main
11m 16s
Merge pull request #47 from formalproofs/Stochastic_Matricies Compile blueprint #51: Commit 231eafb pushed by marekpetrik
2m 27s main
main
2m 27s
Merge branch 'ebunle/main' Compile blueprint #50: Commit f1191c6 pushed by marekpetrik
1m 1s main
main
1m 1s
cleanup Compile blueprint #49: Commit ec94c00 pushed by marekpetrik
11m 43s main
main
11m 43s
cleanup Compile blueprint #48: Commit e6d59b2 pushed by marekpetrik
2m 10s main
main
2m 10s
rename and cleanup Compile blueprint #47: Commit d27df9e pushed by marekpetrik
47m 41s main
main
47m 41s
Merge branch 'histories' Compile blueprint #46: Commit 2b2f6ce pushed by marekpetrik
13m 8s main
main
13m 8s
Merge branch 'VaR' Compile blueprint #45: Commit 97d4d5e pushed by marekpetrik
10m 4s main
main
10m 4s
Revert "stashing changes"; this was an unintentional commit Compile blueprint #44: Commit 3439fd5 pushed by marekpetrik
36s main
main
36s
stashing changes Compile blueprint #43: Commit 432c987 pushed by keithbadger
14m 58s main
main
14m 58s
Added lint check and fixed lint messages Compile blueprint #42: Commit f67b03e pushed by marekpetrik
11m 51s main
main
11m 51s
small VaR-related comments Compile blueprint #41: Commit c48a37d pushed by marekpetrik
10m 37s main
main
10m 37s
removed old code Compile blueprint #40: Commit 8ab8cfb pushed by marekpetrik
11m 34s main
main
11m 34s
Merge branch 'lotus' Compile blueprint #39: Commit b23758a pushed by marekpetrik
14m 5s main
main
14m 5s
Merge pull request #34 from formalproofs/lotus Compile blueprint #38: Commit 715b08c pushed by marekpetrik
12m 1s main
main
12m 1s
Merge pull request #33 from formalproofs/lotus Compile blueprint #37: Commit 76a6b0b pushed by marekpetrik
12m 39s main
main
12m 39s
Merge pull request #32 from formalproofs/lotus Compile blueprint #36: Commit 9031777 pushed by marekpetrik
12m 22s main
main
12m 22s
Merge pull request #27 from zero-stroke/fix-sorry Compile blueprint #35: Commit e802f1a pushed by marekpetrik
11m 56s main
main
11m 56s
generalized theorem Compile blueprint #34: Commit 9f15e1d pushed by marekpetrik
13m 18s main
main
13m 18s
Merge branch 'merge-25' Compile blueprint #33: Commit 95c0131 pushed by marekpetrik
12m 9s main
main
12m 9s
small tweaks to statements Compile blueprint #32: Commit 8205df7 pushed by marekpetrik
12m 40s main
main
12m 40s
proved another theorem Compile blueprint #31: Commit f108d5c pushed by marekpetrik
13m 17s main
main
13m 17s