Code

start porting proba.v#127

Code

Draft

affeldt-aist wants to merge 38 commits intomasteraffeldt-aist/infotheo:masterfrom proba_portaffeldt-aist/infotheo:proba_portCopy head branch name to clipboard

+3,112-2,387

Commits

Commits on Jul 17, 2024

• start porting proba.v

  affeldt-aist

  committed
  2a320f3

• progress until log_RV

  affeldt-aist

  committed
  cbe8f39

• progress

  affeldt-aist

  committed
  3b27a8d

• prob.v done

  affeldt-aist

  committed
  a9b3b12

• jfdist_cond done

  affeldt-aist

  committed
  57db054

• fsdist.v

  t6s

  committed
  3c040ca

• convex_equiv

  t6s

  committed
  b16e4b8

• graphoid

  t6s

  committed
  548d795

• jensen

  t6s

  committed
  afa1dcf

• variation_dist

  t6s

  committed
  c463d81

Commits on Jul 18, 2024

• wip robustmean.v

  t6s

  committed
  a2c4c12

Commits on Jul 24, 2024

• robustmean.v

  t6s

  committed
  6629544

• kill warnings in robustmean

  t6s

  committed
  976086e

Commits on Jul 25, 2024

• divergence

  affeldt-aist

  committed
  8a89cfe

• pinsker

  affeldt-aist

  committed
  7401225

• necset.v

  affeldt-aist

  committed
  1b74b36

Commits on Jul 29, 2024

• bayes.v

  affeldt-aist

  committed
  8f768fc

• convex_equiv.v

  affeldt-aist

  committed
  f99f249

• expected_value_variance.v

  affeldt-aist

  committed
  acced33

• expected_value_variance_ordn.v

  affeldt-aist

  committed
  1a95451

Commits on Sep 26, 2024

• divergence.v done

  affeldt-aist

  committed
  d54cb02

Commits on Oct 3, 2024

• port log_sum.v

  affeldt-aist

  committed
  ed54195

• port partition_inequality.v

  affeldt-aist

  committed
  f9850aa

• prove pending admits

  affeldt-aist

  committed
  fe7efc3

Commits on Oct 4, 2024

• entropy.v

  affeldt-aist

  committed
  d40692a

• channel.v

  affeldt-aist

  committed
  79f0842

• pproba.v

  affeldt-aist

  committed
  99d6ab9

• channel_code.v

  affeldt-aist

  committed
  e0d698a

• shannon-fano

  affeldt-aist

  committed
  b59add2

• wip

  affeldt-aist

  committed
  cc2e53e

Commits on Oct 10, 2024

• wip

  affeldt-aist

  committed
  543a7ee

Commits on Oct 11, 2024

• x_x2_max

  t6s

  committed
  80b47ab

Commits on Oct 14, 2024

• mulr_reg{l,r}

  t6s

  committed
  cd06457

• port pinsker; add derive_ext

  t6s

  committed
  bfd9a4f

• wip on bsc

  t6s

  committed
  2091463

• fix an occurrence {fdist _} overlooked in divergence.v

  Show description for 02c20b7
  t6s

  committed
  02c20b7

• remove Rstruct from entropy

  t6s

  committed
  8c5b6b6

Commits on Nov 15, 2024

• typ_seq.v

  affeldt-aist

  committed
  70660cd