Skip to content

Actions: formalproofs/MDPLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
103 workflow runs
103 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
proved to correctness of the definition Compile blueprint #71: Commit a399514 pushed by marekpetrik
2m 27s main
main
2m 27s
another simple proof Compile blueprint #70: Commit c570eba pushed by marekpetrik
2m 31s main
main
2m 31s
fixed bugs and added CVaR implementation Compile blueprint #69: Commit faaa799 pushed by marekpetrik
2m 13s main
main
2m 13s
progress on proving the correctness of expectation Compile blueprint #68: Commit 15251c3 pushed by marekpetrik
2m 13s main
main
2m 13s
progress on expectation correctness Compile blueprint #67: Commit 8c04f58 pushed by marekpetrik
2m 0s main
main
2m 0s
some progress on the correctness of the expectation operator Compile blueprint #66: Commit 15464b8 pushed by marekpetrik
2m 8s main
main
2m 8s
progress on proving the correctness of E definition Compile blueprint #65: Commit a1de52a pushed by marekpetrik
1m 56s main
main
1m 56s
some ideas Compile blueprint #64: Commit fb91536 pushed by marekpetrik
2m 23s main
main
2m 23s
some progress on the correctness of expectation Compile blueprint #63: Commit f30aae2 pushed by marekpetrik
2m 0s main
main
2m 0s
Merge branch 'main' of github.com:formalproofs/MDPLib Compile blueprint #62: Commit d645fe0 pushed by marekpetrik
2m 6s main
main
2m 6s
Merge upstream main Compile blueprint #61: Commit b2ec40d pushed by emily-chandran
1m 59s main
main
1m 59s
cleanup Compile blueprint #60: Commit 773dc5b pushed by marekpetrik
2m 0s main
main
2m 0s
some capability to read in a random variable, and also some prelimina… Compile blueprint #59: Commit 523af40 pushed by marekpetrik
1m 50s main
main
1m 50s
updated readme with a plan Compile blueprint #58: Commit 645e727 pushed by marekpetrik
1m 24s main
main
1m 24s
updated the proof Compile blueprint #57: Commit 3b989d4 pushed by marekpetrik
2m 0s main
main
2m 0s
added a small numerical example Compile blueprint #56: Commit 4b160e7 pushed by marekpetrik
1m 45s main
main
1m 45s
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