Skip to content

Commit

Permalink
audit
Browse files Browse the repository at this point in the history
  • Loading branch information
@fzaiser
fzaiser committed Oct 13, 2023
1 parent a7682c9 commit 68928fd
Showing 1 changed file with 5 additions and 4 deletions.
9 changes: 5 additions & 4 deletions audit.log
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,8 @@ src/ProbabilisticProgramming/Loops.dfy(183,17): UntilAsBind: Declaration has exp
src/ProbabilisticProgramming/Loops.dfy(197,4): EnsureUntilTerminatesAndForAll: Definition has `assume {:axiom}` statement in body.
src/ProbabilisticProgramming/Loops.dfy(207,8): WhileIsIndep: Definition has `assume {:axiom}` statement in body.
src/ProbabilisticProgramming/Loops.dfy(39,4): While: Definition has `assume {:axiom}` statement in body.
src/ProbabilisticProgramming/Monad.dfy(134,17): CoinHasProbOneHalf: Declaration has explicit `{:axiom}` attribute.
src/ProbabilisticProgramming/Monad.dfy(141,17): MeasureHeadDrop: Declaration has explicit `{:axiom}` attribute.
src/ProbabilisticProgramming/Monad.dfy(147,17): TailIsMeasurePreserving: Declaration has explicit `{:axiom}` attribute.
src/ProbabilisticProgramming/Randomness.dfy(25,17): ProbIsProbabilityMeasure: Declaration has explicit `{:axiom}` attribute.
src/ProbabilisticProgramming/Monad.dfy(134,17): TailIsBitstream: Declaration has explicit `{:axiom}` attribute.
src/ProbabilisticProgramming/Monad.dfy(138,17): CoinHasProbOneHalf: Declaration has explicit `{:axiom}` attribute.
src/ProbabilisticProgramming/Monad.dfy(145,17): MeasureHeadDrop: Declaration has explicit `{:axiom}` attribute.
src/ProbabilisticProgramming/Monad.dfy(151,17): TailIsMeasurePreserving: Declaration has explicit `{:axiom}` attribute.
src/ProbabilisticProgramming/RandomSource.dfy(27,17): ProbIsProbabilityMeasure: Declaration has explicit `{:axiom}` attribute.

0 comments on commit 68928fd

Please sign in to comment.