[DRAFT] Automatic tracking of statistics after each commit

data/stat_history/02bf779.txt

@@ -0,0 +1,6 @@
+{"explicit_proof_true": 27810,
+"implicit_proof_true": 5299864,
+"unknown": 2863054,
+"implicit_proof_false": 42,
+"explicit_proof_false": 13842866
+}

data/stat_history/041b92d.txt

@@ -0,0 +1,5 @@
+{"unknown": 21726,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13274799,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 582443}

data/stat_history/05025ec.txt

@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582095,
+ "explicit_conjecture_false": 35}

data/stat_history/05138bb.txt

@@ -0,0 +1,5 @@
+{"unknown": 21407,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581649}

data/stat_history/06b2822.txt

@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582094,
+ "explicit_conjecture_false": 36}

data/stat_history/06cc0f7.txt

@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}

data/stat_history/09d8c67.txt

@@ -0,0 +1,7 @@
+{"unknown": 932,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272264,
+ "implicit_conjecture_false": 11,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582102,
+ "explicit_conjecture_false": 48}

data/stat_history/0b53ad1.txt

@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}

data/stat_history/0c3dda4.txt

@@ -0,0 +1,10 @@
+{"explicit_proof_true": 23109,
+"implicit_proof_true": 5295922,
+"explicit_conjecture_true": 38949,
+"implicit_conjecture_true": 1223057,
+"unknown": 7999,
+"implicit_conjecture_false": 1540725,
+"explicit_conjecture_false": 79635,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}

data/stat_history/0d7bd04.txt

@@ -0,0 +1,6 @@
+{"explicit_proof_true": 29248,
+"implicit_proof_true": 7063191,
+"unknown": 1120090,
+"implicit_proof_false": 13243426,
+"explicit_proof_false": 605854
+}

data/stat_history/0e34e17.txt

@@ -0,0 +1,6 @@
+{"explicit_proof_true": 27803,
+"implicit_proof_true": 5294943,
+"unknown": 2886650,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}

data/stat_history/0eb0e5a.txt

@@ -0,0 +1,6 @@
+{"explicit_proof_true": 23109,
+"implicit_proof_true": 5295922,
+"unknown": 2890365,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607,
+}

data/stat_history/0f89900.txt

@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28239,
+"implicit_proof_true": 5454927,
+"unknown": 2707562,
+"implicit_proof_false": 42,
+"explicit_proof_false": 13842866
+}

data/stat_history/1082fda.txt

@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28264,
+"implicit_proof_true": 5457961,
+"unknown": 2734065,
+"implicit_proof_false": 7723,
+"explicit_proof_false": 13833796
+}

data/stat_history/114922c.txt

@@ -0,0 +1,6 @@
+{"explicit_proof_true": 27810,
+"implicit_proof_true": 5299864,
+"unknown": 2881722,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}

data/stat_history/11a1831.txt

@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}

data/stat_history/11ab32c.txt

@@ -0,0 +1,7 @@
+{"unknown": 741,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272281,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582126,
+ "explicit_conjecture_false": 197}

data/stat_history/11dfc73.txt

@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582094,
+ "explicit_conjecture_false": 36}

data/stat_history/11f5d00.txt

@@ -0,0 +1,5 @@
+{"unknown": 29503,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13268299,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581166}

data/stat_history/12ceca3.txt

@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from

data/stat_history/12cfae3.txt

@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}

data/stat_history/1327a8f.txt

@@ -0,0 +1,5 @@
+{"unknown": 21323,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275914,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581731}

data/stat_history/1335244.txt

@@ -0,0 +1,6 @@
+{"explicit_proof_true": 27810,
+"implicit_proof_true": 5299864,
+"unknown": 2881722,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}

data/stat_history/143ec7e.txt

@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28264,
+"implicit_proof_true": 5457961,
+"unknown": 2726304,
+"implicit_proof_false": 3486,
+"explicit_proof_false": 13845794
+}

data/stat_history/14c230f.txt

@@ -0,0 +1,5 @@
+{"unknown": 21411,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275918,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581639}

data/stat_history/15b9889.txt

@@ -0,0 +1,5 @@
+{"unknown": 21319,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275885,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581764}

data/stat_history/15d5417.txt

@@ -0,0 +1,10 @@
+{"explicit_proof_true": 23109,
+"implicit_proof_true": 5295922,
+"explicit_conjecture_true": 38949,
+"implicit_conjecture_true": 1223057,
+"unknown": 7999,
+"implicit_conjecture_false": 1540725,
+"explicit_conjecture_false": 79635,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}

data/stat_history/161bdcc.txt

@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28264,
+"implicit_proof_true": 5457961,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}

data/stat_history/16ecfa0.txt

@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from

data/stat_history/198f326.txt

@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}

data/stat_history/198fd3f.txt

@@ -0,0 +1,5 @@
+{"unknown": 21411,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275918,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581639}

data/stat_history/199bfef.txt

@@ -0,0 +1,5 @@
+{"unknown": 21407,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581649}

data/stat_history/19b3bf7.txt

@@ -0,0 +1,7 @@
+{"unknown": 733,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582131,
+ "explicit_conjecture_false": 197}

data/stat_history/1a9fba3.txt

@@ -0,0 +1,5 @@
+{"unknown": 21162,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275949,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581857}

data/stat_history/1bb5c50.txt

@@ -0,0 +1,5 @@
+{"unknown": 21726,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13274799,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 582443}

data/stat_history/1c7e1bc.txt

@@ -0,0 +1,7 @@
+{"unknown": 733,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582131,
+ "explicit_conjecture_false": 197}

data/stat_history/1d1a7f6.txt

@@ -0,0 +1,5 @@
+{"unknown": 21407,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581649}

data/stat_history/1e6ebff.txt

@@ -0,0 +1,6 @@
+{"explicit_proof_true": 27803,
+"implicit_proof_true": 5294943,
+"unknown": 2886650,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}

data/stat_history/1e78ea5.txt

@@ -0,0 +1,6 @@
+{"explicit_proof_true": 29248,
+"implicit_proof_true": 7063191,
+"unknown": 1120090,
+"implicit_proof_false": 13243426,
+"explicit_proof_false": 605854
+}

data/stat_history/1e88f78.txt

@@ -0,0 +1,5 @@
+{"unknown": 21726,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13274797,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 582445}

data/stat_history/1ee4205.txt

@@ -0,0 +1,6 @@
+{"explicit_proof_true": 29248,
+"implicit_proof_true": 7063191,
+"unknown": 1120090,
+"implicit_proof_false": 13243426,
+"explicit_proof_false": 605854
+}

data/stat_history/1f05607.txt

@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}

data/stat_history/1f15dfe.txt

@@ -0,0 +1,5 @@
+{"unknown": 21162,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275949,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581857}

data/stat_history/1f2b196.txt

@@ -0,0 +1,5 @@
+{"unknown": 29682,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13243431,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 605855}

data/stat_history/1fa3377.txt

@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}

data/stat_history/1fdaa67.txt

@@ -0,0 +1,6 @@
+{"explicit_proof_true": 29248,
+"implicit_proof_true": 7063191,
+"unknown": 1127134,
+"implicit_proof_false": 8440,
+"explicit_proof_false": 13833796
+}

data/stat_history/202dd71.txt

@@ -0,0 +1,5 @@
+{"unknown": 21409,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581647}

data/stat_history/2059764.txt

@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}

data/stat_history/2077ebf.txt

@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28239,
+"implicit_proof_true": 5454927,
+"unknown": 2707562,
+"implicit_proof_false": 42,
+"explicit_proof_false": 13842866
+}

data/stat_history/20bd4f9.txt

@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}

data/stat_history/216d377.txt

@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from

data/stat_history/22ba7a0.txt

@@ -0,0 +1,5 @@
+{"unknown": 21409,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581647}

data/stat_history/2541455.txt

@@ -0,0 +1,5 @@
+{"unknown": 21323,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275914,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581731}