All workflows

Workflow runs

• Updated proofs

  failed:
  CI#12:Pull request#52openedbymarekpetrik
  main

  Oct 23, 20262m 6s
  More actions for workflow run 12

• Merge pull request #51 from formalproofs/refactor-name-type

  failed:
  CI#11:Commit00fc841pushedbymarekpetrik
  main

  Oct 12, 202610m 47s
  More actions for workflow run 11

• Refactor name type

  failed:
  CI#10:Pull request#51openedbymarekpetrik
  refactor-name-type

  Oct 12, 20267m 52s
  More actions for workflow run 10

• Merge pull request #50 from formalproofs/refactor-name-type

  failed:
  CI#9:Commit7d9006fpushedbymarekpetrik
  main

  Sep 25, 20262m 26s
  More actions for workflow run 9

• Refactor name type

  failed:
  CI#8:Pull request#50openedbymarekpetrik
  refactor-name-type

  Sep 25, 20262m 29s
  More actions for workflow run 8

• cleaned up some results

  failed:
  CI#7:Commit161f4dbpushedbymarekpetrik
  main

  Sep 6, 202629m 3s
  More actions for workflow run 7

• CI badge

  failed:
  CI#6:Commite85e9a0pushedbymarekpetrik
  main

  Sep 4, 202636m 22s
  More actions for workflow run 6

• udpated readme

  cancelled:
  CI#5:Commit40b2f27pushedbymarekpetrik
  main

  Sep 4, 20262m 38s
  More actions for workflow run 5

• Merge pull request #49 from formalproofs/generalize-finenum-sample-space

  cancelled:
  CI#4:Commitb605a61pushedbymarekpetrik
  main

  Sep 4, 20268m 4s
  More actions for workflow run 4

• updated workflow to cache results

  failed:
  CI#3:Pull request#49openedbymarekpetrik
  generalize-finenum-sample-space

  Sep 4, 202643m 44s
  More actions for workflow run 3

• Merge pull request #48 from formalproofs/generalize-finenum-sample-space

  cancelled:
  CI#2:Commit94eb51cpushedbymarekpetrik
  main

  Sep 4, 20265m 20s
  More actions for workflow run 2

• Generalize finenum sample space

  failed:
  CI#1:Pull request#48openedbymarekpetrik
  generalize-finenum-sample-space

  Sep 4, 202629m 25s
  More actions for workflow run 1

• proved to correctness of the definition

  failed:
  Compile blueprint#71:Commita399514pushedbymarekpetrik
  main

  Jul 29, 20262m 27s
  More actions for workflow run 71

• another simple proof

  failed:
  Compile blueprint#70:Commitc570ebapushedbymarekpetrik
  main

  Jul 29, 20262m 31s
  More actions for workflow run 70

• fixed bugs and added CVaR implementation

  failed:
  Compile blueprint#69:Commitfaaa799pushedbymarekpetrik
  main

  Jul 29, 20262m 13s
  More actions for workflow run 69

• progress on proving the correctness of expectation

  failed:
  Compile blueprint#68:Commit15251c3pushedbymarekpetrik
  main

  Jul 16, 20262m 13s
  More actions for workflow run 68

• progress on expectation correctness

  failed:
  Compile blueprint#67:Commit8c04f58pushedbymarekpetrik
  main

  Jul 16, 20262m 0s
  More actions for workflow run 67

• some progress on the correctness of the expectation operator

  failed:
  Compile blueprint#66:Commit15464b8pushedbymarekpetrik
  main

  Jun 17, 20262m 8s
  More actions for workflow run 66

• progress on proving the correctness of E definition

  failed:
  Compile blueprint#65:Commita1de52apushedbymarekpetrik
  main

  Jun 12, 20261m 56s
  More actions for workflow run 65

• some ideas

  failed:
  Compile blueprint#64:Commitfb91536pushedbymarekpetrik
  main

  Jun 5, 20262m 23s
  More actions for workflow run 64

• some progress on the correctness of expectation

  failed:
  Compile blueprint#63:Commitf30aae2pushedbymarekpetrik
  main

  Jun 3, 20262m 0s
  More actions for workflow run 63

• Merge branch 'main' of github.com:formalproofs/MDPLib

  failed:
  Compile blueprint#62:Commitd645fe0pushedbymarekpetrik
  main

  Jun 3, 20262m 6s
  More actions for workflow run 62

• Merge upstream main

  failed:
  Compile blueprint#61:Commitb2ec40dpushedbyemily-chandran
  main

  May 27, 20261m 59s
  More actions for workflow run 61

• cleanup

  failed:
  Compile blueprint#60:Commit773dc5bpushedbymarekpetrik
  main

  May 20, 20262m 0s
  More actions for workflow run 60

• some capability to read in a random variable, and also some prelimina…

  failed:
  Compile blueprint#59:Commit523af40pushedbymarekpetrik
  main

  Apr 30, 20261m 50s
  More actions for workflow run 59