total uncompressed bytes

100.8 MB

total files

2892

Waste by Extension

1. *.json

   78.3 MB waste in 1176 files

2. *.tla

   15.5 MB waste in 843 files

3. *.png

   1.7 MB waste in 18 files

4. *.rs

   834.8 KB waste in 97 files

5. *.md

   216.2 KB waste in 36 files

6. no extension

   162 B waste in 18 files

Versions

1. 0.24.0-pre.1

   Total

   5.6 MB total in 142 files

   Waste in all versions

   5.5 MB wasted in 114 files

2. 0.23.5

   Total

   5.6 MB total in 142 files

   Waste in all versions

   5.5 MB wasted in 114 files

3. 0.23.4

   Total

   5.7 MB total in 150 files

   Waste in all versions

   5.5 MB wasted in 114 files

4. 0.23.2

   Total

   5.7 MB total in 150 files

   Waste in all versions

   5.5 MB wasted in 114 files

5. 0.23.1

   Total

   5.7 MB total in 150 files

   Waste in all versions

   5.5 MB wasted in 114 files

6. 0.23.0

   Total

   5.7 MB total in 150 files

   Waste in all versions

   5.5 MB wasted in 114 files

7. 0.23.0-internal

   Total

   5.7 MB total in 150 files

   Waste in all versions

   5.5 MB wasted in 114 files

8. 0.22.0

   Total

   5.7 MB total in 150 files

   Waste in all versions

   5.5 MB wasted in 114 files

9. 0.21.0

   Total

   5.7 MB total in 151 files

   Waste in all versions

   5.5 MB wasted in 114 files

10. 0.20.0

    Total

    5.7 MB total in 151 files

    Waste in all versions

    5.5 MB wasted in 114 files

11. 0.19.0

    Total

    5.7 MB total in 151 files

    Waste in all versions

    5.5 MB wasted in 114 files

12. 0.18.1

    Total

    5.7 MB total in 151 files

    Waste in all versions

    5.5 MB wasted in 114 files

13. 0.18.0

    Total

    5.7 MB total in 151 files

    Waste in all versions

    5.5 MB wasted in 114 files

14. 0.17.1

    Total

    5.7 MB total in 150 files

    Waste in all versions

    5.5 MB wasted in 113 files

15. 0.17.0

    Total

    5.7 MB total in 157 files

    Waste in all versions

    5.5 MB wasted in 120 files

16. 0.17.0-rc3

    Total

    5.4 MB total in 173 files

    Waste in all versions

    5.3 MB wasted in 136 files

17. 0.17.0-rc2

    Total

    5.4 MB total in 173 files

    Waste in all versions

    5.3 MB wasted in 136 files

18. 0.17.0-rc1

    Total

    1.8 MB total in 124 files

    Waste in all versions

    1.6 MB wasted in 87 files

19. 0.16.0

    Total

    1.4 MB total in 90 files

    Waste in all versions

    1.2 MB wasted in 59 files

20. 0.15.0

    Total

    1.4 MB total in 86 files

    Waste in all versions

    1.2 MB wasted in 55 files