quick patch of source_coding_vl_*.v files to compile with the last

version of infotheo
affeldt-aist · Aug 19, 2019 · 6079b6c · 6079b6c
1 parent cf0181e
commit 6079b6c
Show file tree

Hide file tree

Showing 4 changed files with 1,510 additions and 1,393 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -57,6 +57,8 @@ information_theory/kraft.v
 information_theory/shannon_fano.v
 information_theory/string_entropy.v
 information_theory/convex_dist.v
+information_theory/source_coding_vl_direct.v
+information_theory/source_coding_vl_converse.v
 ecc_classic/linearcode.v
 ecc_classic/decoding.v
 ecc_classic/mceliece.v