libmata 1.2.0__tar.gz → 1.2.2__tar.gz

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (291) hide show
  1. {libmata-1.2.0 → libmata-1.2.2}/PKG-INFO +4 -1
  2. {libmata-1.2.0 → libmata-1.2.2}/libmata/alphabets.cpp +110 -116
  3. {libmata-1.2.0 → libmata-1.2.2}/libmata/alphabets.pyx +1 -1
  4. {libmata-1.2.0 → libmata-1.2.2}/libmata/nfa/nfa.cpp +101 -113
  5. {libmata-1.2.0 → libmata-1.2.2}/libmata/nfa/strings.cpp +48 -60
  6. {libmata-1.2.0 → libmata-1.2.2}/libmata/parser.cpp +69 -68
  7. {libmata-1.2.0 → libmata-1.2.2}/libmata/parser.pyx +1 -1
  8. {libmata-1.2.0 → libmata-1.2.2}/libmata/plotting.cpp +34 -46
  9. {libmata-1.2.0 → libmata-1.2.2}/libmata/utils.cpp +14 -26
  10. {libmata-1.2.0 → libmata-1.2.2}/libmata/utils.pxd +1 -0
  11. {libmata-1.2.0 → libmata-1.2.2}/mata/README.md +3 -0
  12. libmata-1.2.2/mata/VERSION +1 -0
  13. {libmata-1.2.0 → libmata-1.2.2}/mata/include/mata/utils/ord-vector.hh +2 -1
  14. {libmata-1.2.0 → libmata-1.2.2}/mata/include/mata/utils/utils.hh +1 -1
  15. {libmata-1.2.0 → libmata-1.2.2}/mata/src/nfa/delta.cc +21 -16
  16. {libmata-1.2.0 → libmata-1.2.2}/mata/src/nfa/nfa.cc +1 -0
  17. libmata-1.2.0/mata/VERSION +0 -1
  18. {libmata-1.2.0 → libmata-1.2.2}/libmata/__init__.py +0 -0
  19. {libmata-1.2.0 → libmata-1.2.2}/libmata/alphabets.pxd +0 -0
  20. {libmata-1.2.0 → libmata-1.2.2}/libmata/nfa/__init__.py +0 -0
  21. {libmata-1.2.0 → libmata-1.2.2}/libmata/nfa/nfa.pxd +0 -0
  22. {libmata-1.2.0 → libmata-1.2.2}/libmata/nfa/nfa.pyx +0 -0
  23. {libmata-1.2.0 → libmata-1.2.2}/libmata/nfa/strings.pxd +0 -0
  24. {libmata-1.2.0 → libmata-1.2.2}/libmata/nfa/strings.pyx +0 -0
  25. {libmata-1.2.0 → libmata-1.2.2}/libmata/parser.pxd +0 -0
  26. {libmata-1.2.0 → libmata-1.2.2}/libmata/plotting.pyx +0 -0
  27. {libmata-1.2.0 → libmata-1.2.2}/libmata/utils.pyx +0 -0
  28. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/CMakeLists.txt +0 -0
  29. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/Doxyfile.in +0 -0
  30. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/LICENSE +0 -0
  31. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/README +0 -0
  32. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/RELEASE.NOTES +0 -0
  33. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cplusplus/cuddObj.cc +0 -0
  34. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cplusplus/test_obj.test.in +0 -0
  35. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cplusplus/testmulti.cc +0 -0
  36. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cplusplus/testobj.cc +0 -0
  37. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddAPI.c +0 -0
  38. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddAddAbs.c +0 -0
  39. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddAddApply.c +0 -0
  40. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddAddFind.c +0 -0
  41. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddAddInv.c +0 -0
  42. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddAddIte.c +0 -0
  43. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddAddNeg.c +0 -0
  44. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddAddWalsh.c +0 -0
  45. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddAndAbs.c +0 -0
  46. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddAnneal.c +0 -0
  47. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddApa.c +0 -0
  48. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddApprox.c +0 -0
  49. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddBddAbs.c +0 -0
  50. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddBddCorr.c +0 -0
  51. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddBddIte.c +0 -0
  52. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddBridge.c +0 -0
  53. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddCache.c +0 -0
  54. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddCheck.c +0 -0
  55. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddClip.c +0 -0
  56. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddCof.c +0 -0
  57. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddCompose.c +0 -0
  58. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddDecomp.c +0 -0
  59. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddEssent.c +0 -0
  60. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddExact.c +0 -0
  61. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddExport.c +0 -0
  62. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddGenCof.c +0 -0
  63. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddGenetic.c +0 -0
  64. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddGroup.c +0 -0
  65. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddHarwell.c +0 -0
  66. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddInit.c +0 -0
  67. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddInt.h +0 -0
  68. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddInteract.c +0 -0
  69. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddLCache.c +0 -0
  70. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddLevelQ.c +0 -0
  71. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddLinear.c +0 -0
  72. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddLiteral.c +0 -0
  73. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddMatMult.c +0 -0
  74. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddPriority.c +0 -0
  75. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddRead.c +0 -0
  76. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddRef.c +0 -0
  77. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddReorder.c +0 -0
  78. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddSat.c +0 -0
  79. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddSign.c +0 -0
  80. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddSolve.c +0 -0
  81. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddSplit.c +0 -0
  82. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddSubsetHB.c +0 -0
  83. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddSubsetSP.c +0 -0
  84. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddSymmetry.c +0 -0
  85. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddTable.c +0 -0
  86. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddUtil.c +0 -0
  87. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddWindow.c +0 -0
  88. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddZddCount.c +0 -0
  89. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddZddFuncs.c +0 -0
  90. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddZddGroup.c +0 -0
  91. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddZddIsop.c +0 -0
  92. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddZddLin.c +0 -0
  93. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddZddMisc.c +0 -0
  94. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddZddPort.c +0 -0
  95. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddZddReord.c +0 -0
  96. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddZddSetop.c +0 -0
  97. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddZddSymm.c +0 -0
  98. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/cuddZddUtil.c +0 -0
  99. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/r7x8.1.mat +0 -0
  100. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/test_cudd.test.in +0 -0
  101. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/testcudd.c +0 -0
  102. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd/testextra.c +0 -0
  103. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/cudd_config.h.in +0 -0
  104. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/README.dddmp +0 -0
  105. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/README.testdddmp +0 -0
  106. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/RELEASE_NOTES +0 -0
  107. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/dddmp.h +0 -0
  108. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/dddmpBinary.c +0 -0
  109. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/dddmpConvert.c +0 -0
  110. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/dddmpDbg.c +0 -0
  111. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/dddmpInt.h +0 -0
  112. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/dddmpLoad.c +0 -0
  113. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/dddmpLoadCnf.c +0 -0
  114. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/dddmpNodeAdd.c +0 -0
  115. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/dddmpNodeBdd.c +0 -0
  116. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/dddmpNodeCnf.c +0 -0
  117. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/dddmpStoreAdd.c +0 -0
  118. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/dddmpStoreBdd.c +0 -0
  119. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/dddmpStoreCnf.c +0 -0
  120. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/dddmpStoreMisc.c +0 -0
  121. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/dddmpUtil.c +0 -0
  122. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/doc/cmdIndex.html +0 -0
  123. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/doc/commands.html +0 -0
  124. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/doc/credit.html +0 -0
  125. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/doc/dddmp-2.0-A4.ps +0 -0
  126. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/doc/dddmp-2.0-Letter.ps +0 -0
  127. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/doc/dddmpAllAbs.html +0 -0
  128. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/doc/dddmpAllByFile.html +0 -0
  129. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/doc/dddmpAllByFunc.html +0 -0
  130. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/doc/dddmpAllDet.html +0 -0
  131. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/doc/dddmpAllFile.html +0 -0
  132. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/doc/dddmpDesc.html +0 -0
  133. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/doc/dddmpDoc.txt +0 -0
  134. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/doc/dddmpExt.html +0 -0
  135. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/doc/dddmpExtAbs.html +0 -0
  136. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/doc/dddmpExtDet.html +0 -0
  137. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/doc/dddmpTitle.html +0 -0
  138. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/doc/packages.html +0 -0
  139. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/doc/pkgIndex.html +0 -0
  140. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/0.add +0 -0
  141. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/0.bdd +0 -0
  142. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/0or1.bdd +0 -0
  143. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/1.add +0 -0
  144. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/1.bdd +0 -0
  145. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/2.bdd +0 -0
  146. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/2and3.bdd +0 -0
  147. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/3.bdd +0 -0
  148. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/4.bdd +0 -0
  149. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/4.bdd.bis1 +0 -0
  150. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/4.bdd.bis2 +0 -0
  151. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/4.bdd.bis3 +0 -0
  152. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/4.bdd.bis4 +0 -0
  153. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/4.cnf +0 -0
  154. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/4.cnf.bis +0 -0
  155. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/4.max1 +0 -0
  156. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/4.max2 +0 -0
  157. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/4bis.bdd +0 -0
  158. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/4xor5.bdd +0 -0
  159. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/5.bdd +0 -0
  160. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/composeids.txt +0 -0
  161. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/one.bdd +0 -0
  162. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/s27RP1.bdd +0 -0
  163. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/s27deltaDddmp1.bdd +0 -0
  164. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/s27deltaDddmp1.bdd.bis +0 -0
  165. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/s27deltaDddmp2.bdd +0 -0
  166. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/varauxids.ord +0 -0
  167. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/varnames.ord +0 -0
  168. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/exp/zero.bdd +0 -0
  169. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/test_dddmp.test.in +0 -0
  170. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/dddmp/testdddmp.c +0 -0
  171. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/doc/cudd.tex.in +0 -0
  172. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/doc/phase.pdf +0 -0
  173. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/epd/epd.c +0 -0
  174. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/epd/epd.h +0 -0
  175. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/epd/epdInt.h +0 -0
  176. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/groups.dox +0 -0
  177. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/include/mata/cudd/cudd.h +0 -0
  178. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/include/mata/cudd/cuddObj.hh +0 -0
  179. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/mtr/mtr.h +0 -0
  180. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/mtr/mtrBasic.c +0 -0
  181. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/mtr/mtrGroup.c +0 -0
  182. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/mtr/mtrInt.h +0 -0
  183. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/mtr/test.groups +0 -0
  184. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/mtr/test_mtr.test.in +0 -0
  185. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/mtr/testmtr.c +0 -0
  186. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/st/st.c +0 -0
  187. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/st/st.h +0 -0
  188. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/st/test_st.test.in +0 -0
  189. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/st/testst.c +0 -0
  190. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/util/cpu_stats.c +0 -0
  191. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/util/cpu_time.c +0 -0
  192. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/util/cstringstream.c +0 -0
  193. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/util/cstringstream.h +0 -0
  194. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/util/datalimit.c +0 -0
  195. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/util/pathsearch.c +0 -0
  196. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/util/pipefork.c +0 -0
  197. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/util/prtime.c +0 -0
  198. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/util/safe_mem.c +0 -0
  199. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/util/strsav.c +0 -0
  200. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/util/texpand.c +0 -0
  201. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/util/ucbqsort.c +0 -0
  202. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/cudd/util/util.h +0 -0
  203. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/AUTHORS +0 -0
  204. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/CMakeLists.txt +0 -0
  205. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/CONTRIBUTORS +0 -0
  206. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/LICENSE +0 -0
  207. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/bitmap256.h +0 -0
  208. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/compile.cc +0 -0
  209. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/parse.cc +0 -0
  210. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/perl_groups.cc +0 -0
  211. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/pod_array.h +0 -0
  212. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/prog.cc +0 -0
  213. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/prog.h +0 -0
  214. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/re2.cc +0 -0
  215. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/re2.h +0 -0
  216. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/regexp.cc +0 -0
  217. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/regexp.h +0 -0
  218. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/simplify.cc +0 -0
  219. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/sparse_array.h +0 -0
  220. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/sparse_set.h +0 -0
  221. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/stringpiece.cc +0 -0
  222. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/stringpiece.h +0 -0
  223. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/tostring.cc +0 -0
  224. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/unicode_casefold.cc +0 -0
  225. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/unicode_casefold.h +0 -0
  226. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/unicode_groups.cc +0 -0
  227. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/unicode_groups.h +0 -0
  228. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/re2/walker-inl.h +0 -0
  229. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/util/logging.h +0 -0
  230. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/util/mutex.h +0 -0
  231. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/util/rune.cc +0 -0
  232. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/util/strutil.cc +0 -0
  233. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/util/strutil.h +0 -0
  234. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/util/utf.h +0 -0
  235. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/re2/util/util.h +0 -0
  236. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/simlib/CMakeLists.txt +0 -0
  237. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/simlib/include/mata/simlib/explicit_lts.hh +0 -0
  238. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/simlib/include/mata/simlib/util/abstract_transl.hh +0 -0
  239. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/simlib/include/mata/simlib/util/binary_relation.hh +0 -0
  240. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/simlib/include/mata/simlib/util/caching_allocator.hh +0 -0
  241. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/simlib/include/mata/simlib/util/convert.hh +0 -0
  242. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/simlib/include/mata/simlib/util/shared_counter.hh +0 -0
  243. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/simlib/include/mata/simlib/util/shared_list.hh +0 -0
  244. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/simlib/include/mata/simlib/util/simlib.hh +0 -0
  245. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/simlib/include/mata/simlib/util/smart_set.hh +0 -0
  246. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/simlib/include/mata/simlib/util/splitting_relation.hh +0 -0
  247. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/simlib/include/mata/simlib/util/transl_weak.hh +0 -0
  248. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/simlib/include/mata/simlib/util/two_way_dict.hh +0 -0
  249. {libmata-1.2.0 → libmata-1.2.2}/mata/3rdparty/simlib/src/explicit_lts_sim.cc +0 -0
  250. {libmata-1.2.0 → libmata-1.2.2}/mata/CMakeLists.txt +0 -0
  251. {libmata-1.2.0 → libmata-1.2.2}/mata/Doxyfile.in +0 -0
  252. {libmata-1.2.0 → libmata-1.2.2}/mata/LICENSE +0 -0
  253. {libmata-1.2.0 → libmata-1.2.2}/mata/Makefile +0 -0
  254. {libmata-1.2.0 → libmata-1.2.2}/mata/cmake/GetGitRevisionDescription.cmake +0 -0
  255. {libmata-1.2.0 → libmata-1.2.2}/mata/cmake/GetGitRevisionDescription.cmake.in +0 -0
  256. {libmata-1.2.0 → libmata-1.2.2}/mata/cmake_uninstall.cmake.in +0 -0
  257. {libmata-1.2.0 → libmata-1.2.2}/mata/include/mata/alphabet.hh +0 -0
  258. {libmata-1.2.0 → libmata-1.2.2}/mata/include/mata/nfa/algorithms.hh +0 -0
  259. {libmata-1.2.0 → libmata-1.2.2}/mata/include/mata/nfa/builder.hh +0 -0
  260. {libmata-1.2.0 → libmata-1.2.2}/mata/include/mata/nfa/delta.hh +0 -0
  261. {libmata-1.2.0 → libmata-1.2.2}/mata/include/mata/nfa/nfa.hh +0 -0
  262. {libmata-1.2.0 → libmata-1.2.2}/mata/include/mata/nfa/plumbing.hh +0 -0
  263. {libmata-1.2.0 → libmata-1.2.2}/mata/include/mata/nfa/strings.hh +0 -0
  264. {libmata-1.2.0 → libmata-1.2.2}/mata/include/mata/nfa/types.hh +0 -0
  265. {libmata-1.2.0 → libmata-1.2.2}/mata/include/mata/parser/inter-aut.hh +0 -0
  266. {libmata-1.2.0 → libmata-1.2.2}/mata/include/mata/parser/mintermization.hh +0 -0
  267. {libmata-1.2.0 → libmata-1.2.2}/mata/include/mata/parser/parser.hh +0 -0
  268. {libmata-1.2.0 → libmata-1.2.2}/mata/include/mata/parser/re2parser.hh +0 -0
  269. {libmata-1.2.0 → libmata-1.2.2}/mata/include/mata/utils/closed-set.hh +0 -0
  270. {libmata-1.2.0 → libmata-1.2.2}/mata/include/mata/utils/sparse-set.hh +0 -0
  271. {libmata-1.2.0 → libmata-1.2.2}/mata/include/mata/utils/synchronized-iterator.hh +0 -0
  272. {libmata-1.2.0 → libmata-1.2.2}/mata/src/CMakeLists.txt +0 -0
  273. {libmata-1.2.0 → libmata-1.2.2}/mata/src/Makefile +0 -0
  274. {libmata-1.2.0 → libmata-1.2.2}/mata/src/alphabet.cc +0 -0
  275. {libmata-1.2.0 → libmata-1.2.2}/mata/src/config.cc.in +0 -0
  276. {libmata-1.2.0 → libmata-1.2.2}/mata/src/inter-aut.cc +0 -0
  277. {libmata-1.2.0 → libmata-1.2.2}/mata/src/mintermization.cc +0 -0
  278. {libmata-1.2.0 → libmata-1.2.2}/mata/src/nfa/builder.cc +0 -0
  279. {libmata-1.2.0 → libmata-1.2.2}/mata/src/nfa/complement.cc +0 -0
  280. {libmata-1.2.0 → libmata-1.2.2}/mata/src/nfa/concatenation.cc +0 -0
  281. {libmata-1.2.0 → libmata-1.2.2}/mata/src/nfa/inclusion.cc +0 -0
  282. {libmata-1.2.0 → libmata-1.2.2}/mata/src/nfa/intersection.cc +0 -0
  283. {libmata-1.2.0 → libmata-1.2.2}/mata/src/nfa/operations.cc +0 -0
  284. {libmata-1.2.0 → libmata-1.2.2}/mata/src/nfa/universal.cc +0 -0
  285. {libmata-1.2.0 → libmata-1.2.2}/mata/src/parser.cc +0 -0
  286. {libmata-1.2.0 → libmata-1.2.2}/mata/src/re2parser.cc +0 -0
  287. {libmata-1.2.0 → libmata-1.2.2}/mata/src/strings/nfa-noodlification.cc +0 -0
  288. {libmata-1.2.0 → libmata-1.2.2}/mata/src/strings/nfa-segmentation.cc +0 -0
  289. {libmata-1.2.0 → libmata-1.2.2}/mata/src/strings/nfa-strings.cc +0 -0
  290. {libmata-1.2.0 → libmata-1.2.2}/pyproject.toml +0 -0
  291. {libmata-1.2.0 → libmata-1.2.2}/setup.py +0 -0
{libmata-1.2.0 → libmata-1.2.2}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.1
2
2
  Name: libmata
3
- Version: 1.2.0
3
+ Version: 1.2.2
4
4
  Summary: The automata library
5
5
  Home-page: https://github.com/verifit/mata
6
6
  Author: Lukáš Holík <holik@fit.vutbr.cz>, Ondřej Lengál <lengal@fit.vutbr.cz>, Martin Hruška <ihruskam@fit.vutbr.cz>, Tomáš Fiedor <ifiedortom@fit.vutbr.cz>, David Chocholatý <chocholaty.david@protonmail.com>, Juraj Síč <sicjuraj@fit.vutbr.cz>, Tomáš Vojnar <vojnar@fit.vutbr.cz>
@@ -227,6 +227,9 @@ The usage of the binding copies (to certain levels) the usage of the C++ library
227
227
 
228
228
  You can either run your scripts directly using `python` or compile it using the `cython` project.
229
229
 
230
+ # Publications
231
+ - Chocholatý, D., Fiedor, T., Havlena, V., Holík, L., Hruška, M., Lengál, O., & Síč, J. (2023). [Mata, a Fast and Simple Finite Automata Library](https://doi.org/10.48550/arXiv.2310.10136). arXiv preprint arXiv:2310.10136.
232
+
230
233
  # Contributing
231
234
 
232
235
  If you'd like to contribute to the libmata,