Skip to content

Actions: marekpetrik/StationaryPolicies

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

histories Compile blueprint #36: Commit b000b01 pushed by marekpetrik
January 4, 2025 02:59 10m 43s main
main
January 4, 2025 02:59 10m 43s
history tweaks Compile blueprint #35: Commit 4e392bf pushed by marekpetrik
January 4, 2025 02:58 6m 33s main
main
January 4, 2025 02:58 6m 33s
more policy types Compile blueprint #34: Commit 084c75c pushed by marekpetrik
January 3, 2025 19:56 6m 31s main
main
January 3, 2025 19:56 6m 31s
latex total exp proof Compile blueprint #33: Commit 8ad498d pushed by marekpetrik
January 3, 2025 14:46 6m 27s main
main
January 3, 2025 14:46 6m 27s
proofs Compile blueprint #32: Commit 06bd9fa pushed by marekpetrik
January 2, 2025 16:13 13m 36s main
main
January 2, 2025 16:13 13m 36s
more proofs Compile blueprint #31: Commit d90d132 pushed by marekpetrik
January 1, 2025 00:42 6m 26s main
main
January 1, 2025 00:42 6m 26s
more proofs Compile blueprint #30: Commit 76b42de pushed by marekpetrik
December 31, 2024 00:56 6m 18s main
main
December 31, 2024 00:56 6m 18s
simple proof Compile blueprint #29: Commit 7165d67 pushed by marekpetrik
December 29, 2024 22:32 6m 5s main
main
December 29, 2024 22:32 6m 5s
fixed the behavior with \mathbb{P} Compile blueprint #28: Commit ce95314 pushed by marekpetrik
December 29, 2024 02:52 6m 17s main
main
December 29, 2024 02:52 6m 17s
latex improvements Compile blueprint #27: Commit 03cec45 pushed by marekpetrik
December 29, 2024 02:37 6m 19s main
main
December 29, 2024 02:37 6m 19s
cleanup Compile blueprint #26: Commit ffdeeec pushed by marekpetrik
December 29, 2024 02:05 6m 12s main
main
December 29, 2024 02:05 6m 12s
simple properties and proofs Compile blueprint #25: Commit 421659d pushed by marekpetrik
December 29, 2024 01:31 6m 16s main
main
December 29, 2024 01:31 6m 16s
updated to include more properties for the expectation Compile blueprint #24: Commit a027bbf pushed by marekpetrik
December 28, 2024 23:01 7m 5s main
main
December 28, 2024 23:01 7m 5s
more probability definitions and results Compile blueprint #23: Commit 5fbe42f pushed by marekpetrik
December 28, 2024 17:00 7m 8s main
main
December 28, 2024 17:00 7m 8s
cleanup Compile blueprint #22: Commit 4c471dd pushed by marekpetrik
December 28, 2024 15:15 6m 31s main
main
December 28, 2024 15:15 6m 31s
rename and fix Compile blueprint #21: Commit 564761c pushed by marekpetrik
December 28, 2024 14:22 13m 46s main
main
December 28, 2024 14:22 13m 46s
expectation probability cleanup Compile blueprint #20: Commit 1c90249 pushed by marekpetrik
December 28, 2024 02:55 1m 52s main
main
December 28, 2024 02:55 1m 52s
latex and leanblueprint identifiers Compile blueprint #19: Commit 301adb1 pushed by marekpetrik
December 19, 2024 16:50 14m 33s main
main
December 19, 2024 16:50 14m 33s
notation and law of total expectation Compile blueprint #18: Commit 56ed3a9 pushed by marekpetrik
December 19, 2024 16:08 13m 2s main
main
December 19, 2024 16:08 13m 2s
build cleanup Compile blueprint #17: Commit 2d69aa3 pushed by marekpetrik
December 19, 2024 04:00 13m 23s main
main
December 19, 2024 04:00 13m 23s
type properties Compile blueprint #16: Commit 86eb095 pushed by marekpetrik
December 19, 2024 03:53 1m 33s main
main
December 19, 2024 03:53 1m 33s
type instance updates Compile blueprint #15: Commit a1efc62 pushed by marekpetrik
December 19, 2024 03:50 1m 33s main
main
December 19, 2024 03:50 1m 33s
cleaned up and refactored expectations Compile blueprint #14: Commit e595450 pushed by marekpetrik
December 15, 2024 01:58 1m 53s main
main
December 15, 2024 01:58 1m 53s
conditional probability and expectation definitions Compile blueprint #13: Commit 13d3240 pushed by marekpetrik
December 11, 2024 14:13 6m 38s main
main
December 11, 2024 14:13 6m 38s
basic notation in latex Compile blueprint #12: Commit 8060fd4 pushed by marekpetrik
December 10, 2024 02:52 6m 55s main
main
December 10, 2024 02:52 6m 55s