what4 - Reverse dependency statistics

what4: reverse dependencies per version

Direct reverse dependencies	Indirect reverse dependencies	Total
8	8	16

Version	Reverse dependencies
1.0	copilot-theorem-3.2.1 copilot-verifier-0.1 copilot-verifier-3.19 copilot-verifier-3.20 crucible-0.7 crucible-llvm-0.6 crucible-llvm-0.7 crucible-symio-0.1 crucible-symio-0.1.1 crux-0.7 crux-0.7.1 crux-llvm-0.8 crux-llvm-0.9 cryptol-2.9.0 cryptol-2.9.1 cryptol-2.10.0
1.1	copilot-theorem-3.3 copilot-theorem-3.4 copilot-theorem-3.5 copilot-theorem-3.6 copilot-theorem-3.7 copilot-theorem-3.8 copilot-theorem-3.9 copilot-theorem-3.10 copilot-theorem-3.11 copilot-verifier-0.1 copilot-verifier-3.19 copilot-verifier-3.20 crucible-0.7 crucible-llvm-0.6 crucible-llvm-0.7 crucible-symio-0.1 crucible-symio-0.1.1 crux-0.7 crux-0.7.1 crux-llvm-0.8 crux-llvm-0.9 cryptol-2.11.0
1.2	copilot-theorem-3.7 copilot-theorem-3.8 copilot-theorem-3.9 copilot-theorem-3.10 copilot-theorem-3.11 copilot-verifier-0.1 copilot-verifier-3.19 copilot-verifier-3.20 crucible-0.7 crucible-llvm-0.6 crucible-llvm-0.7 crucible-symio-0.1 crucible-symio-0.1.1 crux-0.7 crux-0.7.1 crux-llvm-0.8 crux-llvm-0.9 cryptol-2.12.0
1.2.1	copilot-theorem-3.7 copilot-theorem-3.8 copilot-theorem-3.9 copilot-theorem-3.10 copilot-theorem-3.11 copilot-verifier-0.1 copilot-verifier-3.19 copilot-verifier-3.20 crucible-0.7 crucible-llvm-0.6 crucible-llvm-0.7 crucible-symio-0.1 crucible-symio-0.1.1 crux-0.7 crux-0.7.1 crux-llvm-0.8 crux-llvm-0.9 cryptol-2.12.0
1.3	copilot-theorem-3.10 copilot-theorem-3.11 copilot-theorem-3.12 copilot-theorem-3.13 copilot-theorem-3.14 copilot-theorem-3.15 copilot-theorem-3.16 copilot-theorem-3.16.1 copilot-theorem-3.17 copilot-theorem-3.18 copilot-theorem-3.18.1 copilot-theorem-3.19 copilot-theorem-3.19.1 copilot-theorem-3.20 copilot-theorem-4.0 copilot-theorem-4.1 copilot-verifier-0.1 copilot-verifier-3.19 copilot-verifier-3.20 crucible-0.7 crucible-llvm-0.6 crucible-llvm-0.7 crucible-symio-0.1 crucible-symio-0.1.1 crux-0.7 crux-0.7.1 crux-llvm-0.8 crux-llvm-0.9 cryptol-2.13.0
1.4	copilot-theorem-3.14 copilot-theorem-3.15 copilot-theorem-3.16 copilot-theorem-3.16.1 copilot-theorem-3.17 copilot-theorem-3.18 copilot-theorem-3.18.1 copilot-theorem-3.19 copilot-theorem-3.19.1 copilot-theorem-3.20 copilot-theorem-4.0 copilot-theorem-4.1 copilot-verifier-0.1 copilot-verifier-3.19 copilot-verifier-3.20 crucible-0.7 crucible-llvm-0.6 crucible-llvm-0.7 crucible-symio-0.1 crucible-symio-0.1.1 crux-0.7 crux-0.7.1 crux-llvm-0.8 crux-llvm-0.9 cryptol-3.0.0 cryptol-3.1.0 cryptol-3.2.0
1.5	copilot-theorem-3.17 copilot-theorem-3.18 copilot-theorem-3.18.1 copilot-theorem-3.19 copilot-theorem-3.19.1 copilot-theorem-3.20 copilot-theorem-4.0 copilot-theorem-4.1 copilot-verifier-0.1 copilot-verifier-3.19 copilot-verifier-3.20 crucible-0.7 crucible-llvm-0.6 crucible-llvm-0.7 crucible-symio-0.1 crucible-symio-0.1.1 crux-0.7 crux-0.7.1 crux-llvm-0.8 crux-llvm-0.9 cryptol-3.1.0 cryptol-3.2.0
1.5.1	copilot-theorem-3.17 copilot-theorem-3.18 copilot-theorem-3.18.1 copilot-theorem-3.19 copilot-theorem-3.19.1 copilot-theorem-3.20 copilot-theorem-4.0 copilot-theorem-4.1 copilot-verifier-0.1 copilot-verifier-3.19 copilot-verifier-3.20 crucible-0.7 crucible-llvm-0.6 crucible-llvm-0.7 crucible-symio-0.1 crucible-symio-0.1.1 crux-0.7 crux-0.7.1 crux-llvm-0.8 crux-llvm-0.9 cryptol-3.1.0 cryptol-3.2.0
1.6	copilot-theorem-3.20 copilot-theorem-4.0 copilot-theorem-4.1 copilot-verifier-0.1 copilot-verifier-3.19 copilot-verifier-3.20 crucible-0.7 crucible-llvm-0.6 crucible-llvm-0.7 crucible-symio-0.1 crucible-symio-0.1.1 crux-0.7 crux-0.7.1 crux-llvm-0.8 crux-llvm-0.9 cryptol-3.2.0
1.6.1	copilot-theorem-3.20 copilot-theorem-4.0 copilot-theorem-4.1 copilot-verifier-0.1 copilot-verifier-3.19 copilot-verifier-3.20 copilot-verifier-4.0 copilot-verifier-4.1 crucible-0.7 crucible-0.7.1 crucible-llvm-0.6 crucible-llvm-0.7 crucible-symio-0.1 crucible-symio-0.1.1 crux-0.7 crux-0.7.1 crux-llvm-0.8 crux-llvm-0.9 cryptol-3.2.0
1.6.2	copilot-theorem-3.20 copilot-theorem-4.0 copilot-theorem-4.1 copilot-verifier-0.1 copilot-verifier-3.19 copilot-verifier-3.20 copilot-verifier-4.0 copilot-verifier-4.1 crucible-0.7 crucible-0.7.1 crucible-llvm-0.6 crucible-llvm-0.7 crucible-symio-0.1 crucible-symio-0.1.1 crux-0.7 crux-0.7.1 crux-llvm-0.8 crux-llvm-0.9 cryptol-3.2.0