TS: upgrade script, version string, stats

This commit is contained in:
Asger F
2019-01-14 18:15:02 +00:00
parent 3ed9575529
commit a7b0f7e2ce
5 changed files with 2188 additions and 1 deletions

View File

@@ -814,6 +814,10 @@
<v>100</v>
</e>
<e>
<k>@bigintliteraltypeexpr</k>
<v>100</v>
</e>
<e>
<k>@generictypeexpr</k>
<v>5220</v>
</e>
@@ -974,6 +978,14 @@
<v>100</v>
</e>
<e>
<k>@biginttype</k>
<v>100</v>
</e>
<e>
<k>@bigintliteraltype</k>
<v>100</v>
</e>
<e>
<k>@uniquesymboltype</k>
<v>100</v>
</e>