Ugly Alpha 1
btor2tools:1.1.0

total uncompressed bytes

325.5 KB

total files

182

Fix

NewInclude { include: [ "src/lib.rs", "LICENSE", "README.md", ], has_build_script: false, }

178 wasted files

total waste: 311.9 KB

  1. btor2tools/examples/btorsim/ponylink-slaveTXlen-sat.btor2 : 105.6 KB
  2. btor2tools/src/btorsim/btorsimbv.c : 44.6 KB
  3. btor2tools/src/btor2parser/btor2parser.c : 40.9 KB
  4. btor2tools/src/btorsim/btorsim.c : 39.4 KB
  5. btor2tools/src/btor2aiger.cpp : 16.0 KB
  6. btor2tools/src/btorsim/btorsimbv.h : 9.0 KB
  7. btor2tools/README.md : 6.8 KB
  8. btor2tools/src/btor2parser/btor2parser.h : 5.7 KB
  9. btor2tools/src/btorsplit.cpp : 4.0 KB
  10. btor2tools/src/catbtor.c : 3.7 KB
  11. btor2tools/CMakeLists.txt : 3.6 KB
  12. btor2tools/examples/btorsim/run-examples.sh : 3.6 KB
  13. btor2tools/src/util/btor2stack.h : 3.3 KB
  14. btor2tools/src/util/btor2mem.h : 2.0 KB
  15. btor2tools/configure.sh : 1.7 KB
  16. tests/parser.rs : 1.5 KB
  17. .github/workflows/release.yml : 1.5 KB
  18. btor2tools/mksrcrelease.sh : 1.3 KB
  19. btor2tools/LICENSE.txt : 1.2 KB
  20. .github/workflows/test.yml : 1.1 KB
  21. btor2tools/src/btorsim/btorsimrng.c : 1.1 KB
  22. btor2tools/test/runtests.sh : 872 B
  23. btor2tools/src/CMakeLists.txt : 753 B
  24. btor2tools/test/run-coverage-tests.sh : 700 B
  25. btor2tools/src/btorsim/btorsimrng.h : 617 B
  26. btor2tools/.clang-format : 566 B
  27. btor2tools/setup-deps.sh : 473 B
  28. .releaserc.yml : 435 B
  29. btor2tools/examples/btorsim/factorial4even.btor2 : 411 B
  30. .gitignore : 409 B
  31. btor2tools/AUTHORS : 379 B
  32. btor2tools/examples/btorsim/twocount2c.btor2 : 306 B
  33. btor2tools/test/tests/allop2s.out : 296 B
  34. btor2tools/test/tests/allop2s.in : 296 B
  35. btor2tools/examples/btorsim/twocount32.btor2 : 278 B
  36. btor2tools/examples/btorsim/twocount2.btor2 : 264 B
  37. btor2tools/examples/btorsim/noninitstate.btor2 : 250 B
  38. btor2tools/examples/btorsim/recount4.btor2 : 204 B
  39. btor2tools/examples/btorsim/count4.btor2 : 128 B
  40. btor2tools/examples/btorsim/count2.btor2 : 128 B
  41. btor2tools/test/tests/addnospaceafterfirstarg.out : 114 B
  42. btor2tools/test/tests/arraynospaceaftersort.out : 112 B
  43. btor2tools/test/tests/andoutmismatch.out : 112 B
  44. btor2tools/test/tests/andargmismatch.out : 111 B
  45. btor2tools/test/tests/addnlafterfirstarg.out : 109 B
  46. btor2tools/test/tests/statenospace.out : 103 B
  47. btor2tools/test/tests/onesnospace.out : 102 B
  48. btor2tools/test/tests/array.in : 100 B
  49. btor2tools/test/tests/arrayasbv.out : 98 B
  50. btor2tools/test/tests/maxlen.out : 95 B
  51. btor2tools/test/tests/nor2ndargnospace.out : 92 B
  52. btor2tools/test/tests/nonewlinecomment.out : 92 B
  53. btor2tools/test/tests/tab.in : 91 B
  54. .gitmodules : 91 B
  55. btor2tools/test/tests/invalidid0.out : 88 B
  56. btor2tools/test/tests/invalidargid.out : 88 B
  57. btor2tools/test/tests/inputsymspace.out : 88 B
  58. btor2tools/test/tests/arrayasbv.in : 88 B
  59. btor2tools/test/tests/tab.out : 87 B
  60. btor2tools/test/tests/argidlarger.out : 87 B
  61. btor2tools/test/tests/zerowitharg.out : 86 B
  62. btor2tools/test/tests/sortasarg.out : 85 B
  63. btor2tools/test/tests/zeroid.out : 84 B
  64. btor2tools/test/tests/sortarray.out : 83 B
  65. btor2tools/test/tests/sortarray.in : 83 B
  66. btor2tools/test/tests/andlenospace.out : 83 B
  67. btor2tools/test/tests/zerolen.out : 82 B
  68. btor2tools/test/tests/implies2ndargundef.out : 82 B
  69. btor2tools/test/tests/sortarrayargs1.out : 81 B
  70. btor2tools/test/tests/nospaceafterid.out : 80 B
  71. btor2tools/test/tests/nondigitlen.out : 80 B
  72. btor2tools/test/tests/nondigitid.out : 79 B
  73. btor2tools/test/tests/undefinedargid.out : 78 B
  74. btor2tools/test/tests/andargmismatch.in : 78 B
  75. btor2tools/test/tests/tagnospace.out : 77 B
  76. btor2tools/test/tests/sortbvnobw.out : 77 B
  77. btor2tools/test/tests/sortarrayargs4.out : 74 B
  78. btor2tools/test/tests/sortarrayargs3.out : 74 B
  79. btor2tools/test/tests/sortarrayargs2.out : 71 B
  80. btor2tools/test/tests/invalidid.out : 70 B
  81. btor2tools/test/tests/inputemptysym.out : 68 B
  82. btor2tools/test/tests/andtrailspace.out : 68 B
  83. btor2tools/test/tests/unordered.out : 67 B
  84. btor2tools/test/tests/samearg.out : 67 B
  85. btor2tools/test/tests/array.out : 67 B
  86. btor2tools/test/tests/maxid.out : 66 B
  87. btor2tools/test/tests/invalidtag.out : 65 B
  88. btor2tools/test/tests/sortnotag.out : 64 B
  89. btor2tools/test/tests/emptytag.out : 63 B
  90. btor2tools/test/tests/andoutmismatch.in : 63 B
  91. btor2tools/test/tests/zz.out : 61 B
  92. btor2tools/test/tests/xx.out : 61 B
  93. btor2tools/test/tests/vv.out : 61 B
  94. btor2tools/test/tests/uu.out : 61 B
  95. btor2tools/test/tests/ss.out : 61 B
  96. btor2tools/test/tests/oo.out : 61 B
  97. btor2tools/test/tests/nn.out : 61 B
  98. btor2tools/test/tests/mm.out : 61 B
  99. btor2tools/test/tests/ll.out : 61 B
  100. btor2tools/test/tests/ii.out : 61 B
  101. btor2tools/test/tests/aa.out : 61 B
  102. btor2tools/test/tests/unordered.in : 51 B
  103. btor2tools/test/tests/arraynospaceaftersort.in : 51 B
  104. btor2tools/test/tests/sortbitvec.out : 50 B
  105. btor2tools/test/tests/sortbitvec.in : 50 B
  106. btor2tools/test/tests/sortarraywarrayarg.out : 50 B
  107. btor2tools/test/tests/sortarraywarrayarg.in : 50 B
  108. btor2tools/test/tests/state.out : 48 B
  109. btor2tools/test/tests/state.in : 48 B
  110. btor2tools/test/tests/andonesone.out : 47 B
  111. btor2tools/test/tests/andonesone.in : 47 B
  112. btor2tools/test/tests/nor2ndargnospace.in : 45 B
  113. btor2tools/test/tests/addnospaceafterfirstarg.in : 43 B
  114. btor2tools/test/tests/implies2ndargundef.in : 42 B
  115. btor2tools/examples/.gitignore : 40 B
  116. btor2tools/test/tests/andtrailspace.in : 39 B
  117. btor2tools/test/tests/andlenospace.in : 39 B
  118. btor2tools/test/tests/addnlafterfirstarg.in : 36 B
  119. btor2tools/test/tests/inputsymspace.in : 35 B
  120. btor2tools/test/tests/statenospace.in : 34 B
  121. btor2tools/test/tests/space.in : 33 B
  122. btor2tools/test/tests/onesnospace.in : 33 B
  123. btor2tools/test/tests/sortarrayargs2.in : 31 B
  124. btor2tools/test/tests/inputeofinsym.out : 31 B
  125. btor2tools/test/tests/inputeofinsym.in : 31 B
  126. btor2tools/test/tests/zerowitharg.in : 29 B
  127. btor2tools/test/tests/sortasarg.in : 29 B
  128. btor2tools/test/tests/undefinedargid.in : 28 B
  129. btor2tools/test/tests/invalidid.in : 27 B
  130. btor2tools/test/tests/inputemptysym.in : 27 B
  131. btor2tools/test/tests/gap.out : 27 B
  132. btor2tools/test/tests/gap.in : 27 B
  133. btor2tools/test/tests/zero32.out : 26 B
  134. btor2tools/test/tests/zero32.in : 26 B
  135. btor2tools/test/tests/invalidargid.in : 26 B
  136. btor2tools/test/tests/input.out : 26 B
  137. btor2tools/test/tests/input.in : 26 B
  138. btor2tools/test/tests/argidlarger.in : 26 B
  139. btor2tools/test/tests/zero1.out : 25 B
  140. btor2tools/test/tests/zero1.in : 25 B
  141. btor2tools/test/tests/maxlen.in : 25 B
  142. btor2tools/test/tests/nonewlinecomment.in : 24 B
  143. tests/invalid.btor2 : 23 B
  144. btor2tools/.gitignore : 21 B
  145. btor2tools/test/tests/sortarrayargs4.in : 17 B
  146. btor2tools/test/tests/zerolen.in : 16 B
  147. btor2tools/test/tests/invalidid0.in : 16 B
  148. btor2tools/test/tests/sortarrayargs3.in : 15 B
  149. btor2tools/test/tests/maxid.in : 15 B
  150. btor2tools/test/tests/sortbvnobw.in : 14 B
  151. btor2tools/test/tests/sortarrayargs1.in : 13 B
  152. btor2tools/test/tests/samearg.in : 10 B
  153. btor2tools/VERSION : 10 B
  154. btor2tools/test/tests/sortnotag.in : 9 B
  155. btor2tools/test/tests/nospaceafterid.in : 9 B
  156. btor2tools/test/tests/nondigitlen.in : 8 B
  157. btor2tools/test/tests/zz.in : 7 B
  158. btor2tools/test/tests/xx.in : 7 B
  159. btor2tools/test/tests/vv.in : 7 B
  160. btor2tools/test/tests/uu.in : 7 B
  161. btor2tools/test/tests/tagnospace.in : 7 B
  162. btor2tools/test/tests/ss.in : 7 B
  163. btor2tools/test/tests/oo.in : 7 B
  164. btor2tools/test/tests/nn.in : 7 B
  165. btor2tools/test/tests/mm.in : 7 B
  166. btor2tools/test/tests/ll.in : 7 B
  167. btor2tools/test/tests/ii.in : 7 B
  168. btor2tools/test/tests/aa.in : 7 B
  169. btor2tools/test/tests/.gitignore : 6 B
  170. btor2tools/test/tests/nlnlnl.in : 4 B
  171. btor2tools/test/tests/invalidtag.in : 4 B
  172. btor2tools/test/tests/emptytag.in : 3 B
  173. btor2tools/test/tests/zeroid.in : 2 B
  174. btor2tools/test/tests/nondigitid.in : 2 B
  175. btor2tools/test/tests/space.out : 0 B
  176. btor2tools/test/tests/nlnlnl.out : 0 B
  177. btor2tools/test/tests/empty.out : 0 B
  178. btor2tools/test/tests/empty.in : 0 B