logic-asts 0.1.0__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 (192) hide show
  1. logic_asts-0.1.0/.envrc +1 -0
  2. logic_asts-0.1.0/.envrc.recommended +11 -0
  3. logic_asts-0.1.0/.gitignore +176 -0
  4. logic_asts-0.1.0/.jj/.gitignore +1 -0
  5. logic_asts-0.1.0/.jj/repo/editor-OCpuoK.jjdescription +10 -0
  6. logic_asts-0.1.0/.jj/repo/index/operations/00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +1 -0
  7. logic_asts-0.1.0/.jj/repo/index/operations/00970a064cb6664697c3c18136ba7835d9b68c48f0c0d0ee468ab18abe56647aa9a9fd7b1e2664e991bba33d979ad6f9d4dbebf6b6fa315c0ed120973574391e +1 -0
  8. logic_asts-0.1.0/.jj/repo/index/operations/0eac0d04d45ac977ceadbed6e7cb2075f12849e2f56dbaf1bba2b23abf0d5be19c263e2a586ec1754f6a1ad37c2b3fc1709abf412fd9b82a8b481ff17a2f1313 +1 -0
  9. logic_asts-0.1.0/.jj/repo/index/operations/11c683f0cb03f64131192e1a1f35a3b9c1e5af83d4c97a11820e3731181b8f0488228b86c74c7455f73565e87b08c7376f3b6911ff4d8d12ea854ca1badd9cf0 +1 -0
  10. logic_asts-0.1.0/.jj/repo/index/operations/217a393256dcaac66b8394f4f1e5350b324c1cc0f8f0b969c7092315d9226a8096633fae61956ebbb3addb7e00c815829e329b7cbe6b9a26458b756a461152f2 +1 -0
  11. logic_asts-0.1.0/.jj/repo/index/operations/358df6caabc12b3ebc9a1f4c694c9350ced2719988b9ee69f927c3c369bc2628ecde82145a5c70fdedf3c00f319c307d893e51d0963d5fe1b83ac5bca5d0ba4d +1 -0
  12. logic_asts-0.1.0/.jj/repo/index/operations/38a5ac615170b00428f3d470044b4353ab4c557170ba8b87edc88f99cf9302ae396dba20ad4e7aa26c49dcfe5c660533513253155d11e7cbbe925f300ee73f32 +1 -0
  13. logic_asts-0.1.0/.jj/repo/index/operations/3df676c8f3cf41915cf2be94b5d797b39928c3b8e6666f7bcd96774ae79474d6b4029c2196646c6d053c5f22347086badfd7cbe605c2f0c008f36fa14634e94a +1 -0
  14. logic_asts-0.1.0/.jj/repo/index/operations/4177138b3b9b0b6c7fcac33f71cbe6b92b782dc251da456c3414dfd87eb09b9c509e2db3e9c4cced76f4672e4be0f28c8a9f4b3806162ee3152b5d6c023558b8 +1 -0
  15. logic_asts-0.1.0/.jj/repo/index/operations/48e786f5ecc1bafe5546d8a32eae13e5002b8fe8105d359f01aed52ef2d5051068bd374ac7e71da510f66c8d5c3e4becee6260862631810810332baf308d0e9d +1 -0
  16. logic_asts-0.1.0/.jj/repo/index/operations/4a539a9bb4a3fa0f7ca4a30f48948d307f4290cb6007e2c39f4275ed39feb7d288b8b7f310d15cc9a0e7ecc22700b5073d6502bfb24107684e29f50a9e78921e +1 -0
  17. logic_asts-0.1.0/.jj/repo/index/operations/59aad150f4d44036cf5a65b7430e1d1000af61b600935576fd2632015cbdacb30daa7ab31e2010eca1af26e6e8c425e790efdfe85abf9955fa08544e34f3b7b5 +1 -0
  18. logic_asts-0.1.0/.jj/repo/index/operations/6e572f25cafa2de02681f549c11de96036d1ae9bdd8968d9b9e556a3a0a3dc0225350f61f4e7c467be1858e71aa91d092e391d74a6dd47ca94ccb6e69f51814d +1 -0
  19. logic_asts-0.1.0/.jj/repo/index/operations/7ef96c66c49728312e399a9a04fa1eed94a7a82faf9223911a0a873f7cfefe0c48771366dc9760d53496fd49f6e851490ee85097a729ffd550f7629c2acd0042 +1 -0
  20. logic_asts-0.1.0/.jj/repo/index/operations/80fd078ad9c7c181c37658adcc82d2d881274979bbe77aa4495419d97126da9298b9c19479786ee87f87c017ccf232b6f464390e4d4e8ee2763357d8b97420f5 +1 -0
  21. logic_asts-0.1.0/.jj/repo/index/operations/89e48d894646f17e708566bac7449ed0e1852b3acfa2fa4e2ccc6d78344c472980ece71dbd820d0bdb07614d5f14084fa53595860c644133748b40b104008a83 +1 -0
  22. logic_asts-0.1.0/.jj/repo/index/operations/8a4942e196bd5520d15f1b943fc3bebc516b2dd75ce66d0e96096c87b649e55ac30818b3350e488a8e489b8bd45ba9ede8f8beb4a41d8f8360d9d40662692b0f +1 -0
  23. logic_asts-0.1.0/.jj/repo/index/operations/8fa536caa95922a0c944247fea06703b6772fba73552f5e0e7626578ab3e5d976290cbb73e05808822bbcee22b84bd592f8c8feac0dac0be8f141e99e471ae2c +1 -0
  24. logic_asts-0.1.0/.jj/repo/index/operations/965b4b5dcff42b8d8ef715a5595c1d4027faf02b8dc04ea038230c54f30d0320d80902d3dd69923d3d4ec3a3da5c8ffdf9e064124c81caad84e2168f9a3b5516 +1 -0
  25. logic_asts-0.1.0/.jj/repo/index/operations/97616797b751fd71a218d2fd40f34a655a0586b50a02fce674c0d0125afdbd1607dff98fc2d45843f8defa1c7ced673ad73c1633bda0f3f9bf20cae6fa5fb90c +1 -0
  26. logic_asts-0.1.0/.jj/repo/index/operations/98fd2e8eedac710591c55a0ffe3b927d0853a0cf5bea34dd8d394b468f0261350b9db36727a3cca03e576571a88862d2e1b58d908d65b4413fd0a5fdffd93b48 +1 -0
  27. logic_asts-0.1.0/.jj/repo/index/operations/a0178152e7163c13d0219f543c32d9dca99bb77ca6b9d66375f4236060cd602e4b29a5647101f5a3ce2db93b78ee3b6584bcc2750441cf1702ec64ff70d8c426 +1 -0
  28. logic_asts-0.1.0/.jj/repo/index/operations/cc56da91d4dc9bf17e51345b72697cc308900b646e1cd8b50dc0897abf62d2841bb02b6dcdb06601a3f3f348d15dcdbb89275bd329a76b7ffba996c2b91dfaf2 +1 -0
  29. logic_asts-0.1.0/.jj/repo/index/operations/d05b1b6e033d81a2bce8f03f91b0aa47ca995668c317c6cd3fd5e2b0312d6eadab130fb6a0ffe4ba1bea816eae24923a0fca99e75baa6c020e083ce0fdafd90f +1 -0
  30. logic_asts-0.1.0/.jj/repo/index/operations/d7f2d92345b897bb5777f2b8ef00e21aa2bee8702b14fbe14501ade2c75026a9f22ee9ffb0314a91fb6d6b4e9f54a7584e192eba932ccf0c18a38ebdcc7827c6 +1 -0
  31. logic_asts-0.1.0/.jj/repo/index/operations/e1f98647ba8bbad7c17d8eabce6547a7712979fe76c8bc02a1e4a1c795ef36d451ca10b7107cc082607be20b2bb2e77c9bc258a9c1a5500baf7d13d05ff7eecd +1 -0
  32. logic_asts-0.1.0/.jj/repo/index/operations/e520b2160bf2c32a67a528017b5192f87c68136db438cca6e7257eaae02540a0fbb803d936146f8c2f2a0610cb5389382580cd475a5e8e11b54649033a93da92 +1 -0
  33. logic_asts-0.1.0/.jj/repo/index/operations/e8f403c5c01baf346b67411cc9158805d23873c6dfd45c98f05ce94d50f0c64f105c858964bbea7543bd5aae866283edac07bbe4d0d1c3585dea5f7929064097 +1 -0
  34. logic_asts-0.1.0/.jj/repo/index/operations/f0d805e05cfc3637fb862929c0dbc67a2ba45e186f855f1c30b49eaac4e104ec3950e47e1fa3026c8046637df1d78fc818a6e3dfb84d7462c925d52446a48eff +1 -0
  35. logic_asts-0.1.0/.jj/repo/index/operations/f60decb80583abded0d4ba9da5b8b97f171f374dde82c905b25c4d75d2480b3dddab9feefba66e309683856034dd578eca41b40f448ce061e25b999142c1b342 +1 -0
  36. logic_asts-0.1.0/.jj/repo/index/operations/f882470fb88c2f30efafc55e7eb4f8d36a5f403df82e8a93a31c60b5a3d4f136e6e340cb9fc95170bfe01b4f82be2839945662feff658167dcd3201e5c6be810 +1 -0
  37. logic_asts-0.1.0/.jj/repo/index/segments/1af54ef723073c7dc079dc88a103a604ec64551fe647cc244e2062ad6049053882deab9f377671f942e4d4c99f6d35c01518236b4a51ce96b3b4cf46848ccf52 +0 -0
  38. logic_asts-0.1.0/.jj/repo/index/segments/2cb6d030eab0a49bdff619bbc23227da07901cec28cd42d66ea3a0c3c2c5161625b22eb31974a501d4072bf7bf6af67094802feb7c80b65c2f8ae2703bd45aab +0 -0
  39. logic_asts-0.1.0/.jj/repo/index/segments/302ce14ea7c5b375d6016e86b3bc9992f6240a50f6713e0b1a4cedc51a02163dd502d7abe7b54fdf03b4495b3e34757b16af4d7cd775e8ce71acabe92be6de3c +0 -0
  40. logic_asts-0.1.0/.jj/repo/index/segments/3167d24f4e71c4bf5c1f3bf8a730f4d90eedc5fbd3d763316274594c4e9aa836d2d9d454aa405c7088dea8148ef2becea86ba268e91f3507e6b44c7b7da19564 +0 -0
  41. logic_asts-0.1.0/.jj/repo/index/segments/35408099e97560996cb612b4149bd969101eba2f7efcbcf681edd04b90e75dc3bf38dd116b4cd2a2183778039d21b3a9063c9f1c2592d403420bc51d3b9822d3 +0 -0
  42. logic_asts-0.1.0/.jj/repo/index/segments/3a2b00e065cc51298660d38ad012ffed6076c2cee798e798e90310fed60a7417effffbb5fb32b0a30e3e85d45372325ac0c8f291c624c35ffa7328af68698ad2 +0 -0
  43. logic_asts-0.1.0/.jj/repo/index/segments/3a8f5f86431192a87ba94d9db5b2f978fa656a49ccbfb000c357c7900640f0048b41f725431273e9817b39f05b4e97216087188826e5b4566197bf6438569cca +0 -0
  44. logic_asts-0.1.0/.jj/repo/index/segments/3de822b7eac8abaa118331e089ca33f37aa5bbb9ef5bc0df068216705050dce04bac59ac54d9b53b3bdc575ea4c0306cc28f3bbc7fd10bfe08f7ab532dcb7e55 +0 -0
  45. logic_asts-0.1.0/.jj/repo/index/segments/4fe6e973527707eb646cdfc1855c213c85a5104c1b680f60823648de4e6204ada9a0df9c566a3b20e89bb3f674b5be648cbb4dbcdf68cd576722a3d744519f69 +0 -0
  46. logic_asts-0.1.0/.jj/repo/index/segments/79c1d931873e2b2c64bc538061993fb5b433a07cce6462c1a80e522fad2875570a157058b52ca3f1a576dc2783496d5f2176af2953107a8f3c81b790870a9c3c +0 -0
  47. logic_asts-0.1.0/.jj/repo/index/segments/7f35405a95696abc6b1524b01f88f8b0663568196f3721fe2e87fd4d024459b6e35f3930c49f686682801210ebc33b235e21c391a3e1ffb6fb42a30057914c97 +0 -0
  48. logic_asts-0.1.0/.jj/repo/index/segments/8204f4617412a15d50c27d36f8b799212795296a739130741624aa82539e1a9dd7cee3e3ec2341f8b7fde32fc49b652724110906237129ee8c942e3cc5c4ec39 +0 -0
  49. logic_asts-0.1.0/.jj/repo/index/segments/8ade145a1064ddf61af5e6fe2c6cd0d42aa1e84cbb6daadadf072bd419b8c23bd82b7d974596f852631f90808c153c446a7cd0cab135cc2b2e0b90e720651cd2 +0 -0
  50. logic_asts-0.1.0/.jj/repo/index/segments/92fb6d7770b1ac9a13d60bce8423c957db59abab79aa7290e949a0aa088e54c8c2e1614bfaa05c6931a5e18c6158ce4d338cc2100febf41a44ca0b5699fbebfe +0 -0
  51. logic_asts-0.1.0/.jj/repo/index/segments/9a372254bf244988b32d2c1e9bd9aaa42ecbffa48f4787027b2b6dc9f9ad3477172f1e464197f1e707ae38b4becac714c81847dff892b99b2fcf2868cb9b6425 +0 -0
  52. logic_asts-0.1.0/.jj/repo/index/segments/a452d1a7c379c860eb56b9fb3289713b1c97a17ab378aef7b4a6b2fba55e12737ed72a627a061d86d4975520deb8e9cf28109ffc2aaa1f1a3abf543f44d3f2ec +0 -0
  53. logic_asts-0.1.0/.jj/repo/index/segments/b5a696627ab19833d500b93520138708772edf21c2df25b7d7be447be00769605e874e2e103dc8b0cd4ac4f710d60e655249632ef59ceb22273035a33c230c95 +0 -0
  54. logic_asts-0.1.0/.jj/repo/index/segments/bcf46b9938e485484e358c4df254e40e8240a6fa116f7c2bbdbc7d367ff7d2d1e5c1955a339298fb61d3d8ea615d8424aca34d5310c828072017075c8fcb3964 +0 -0
  55. logic_asts-0.1.0/.jj/repo/index/segments/ce4eac1f3ea7d618d84ea665d1cce74959538db8bd580255df7083a1354c4396043ae8e3d6c42f54b7fff806d642dbdcff50ec3b59d0e79b894bab75d279d6a5 +0 -0
  56. logic_asts-0.1.0/.jj/repo/index/segments/d27ad326963b75736b636adad9fb812eb3f2871e0efb4bc7db37d4b701a4282911eaaee91bed3a759e940769b667be1ed66f2d7f2f41ac3906b87ab7eec19c3a +0 -0
  57. logic_asts-0.1.0/.jj/repo/index/segments/dac087f9295a24563c17b587948c5984e1538abb623b15c5e30bf1d8ffffc11e2b65f8b767ac292a8adf3c8df4bc244ca269c06391b4e20632c506470e650c7c +0 -0
  58. logic_asts-0.1.0/.jj/repo/index/segments/dd70ebd4d26c34c0b0e6e8558600792397e88602107dfeed052ddde32dd7a2b2e2649f700b2b6e2d36e186f1c64f00aabbb6fbf3bdd7236420c71687b3b8de4a +0 -0
  59. logic_asts-0.1.0/.jj/repo/index/segments/e6f7830699da0383e1bec49f743073ef82bb42186145bc077c99b68e35b8db470f24bec9ab6aef882126e5c24b74d0ca60df0439b4cb2a27e2e1c6c6a64d2c0b +0 -0
  60. logic_asts-0.1.0/.jj/repo/index/segments/ecd75f21f36d65727729be766c7b707fefb6ea96e9715944dd90c705012d203c30752483970e9ed81954a507adca6cdf5f5c1219819b16f14a95425287fda172 +0 -0
  61. logic_asts-0.1.0/.jj/repo/index/segments/f3e6a4b65ab6090d2559fe362303a8b82fe453509035b68b0d24bd589afc885fbc8c487586663095a8872493ef8e559eca6dcc848eec27d5fbab5594694e93cf +0 -0
  62. logic_asts-0.1.0/.jj/repo/index/type +1 -0
  63. logic_asts-0.1.0/.jj/repo/op_heads/heads/11c683f0cb03f64131192e1a1f35a3b9c1e5af83d4c97a11820e3731181b8f0488228b86c74c7455f73565e87b08c7376f3b6911ff4d8d12ea854ca1badd9cf0 +0 -0
  64. logic_asts-0.1.0/.jj/repo/op_heads/type +1 -0
  65. logic_asts-0.1.0/.jj/repo/op_store/operations/00970a064cb6664697c3c18136ba7835d9b68c48f0c0d0ee468ab18abe56647aa9a9fd7b1e2664e991bba33d979ad6f9d4dbebf6b6fa315c0ed120973574391e +4 -0
  66. logic_asts-0.1.0/.jj/repo/op_store/operations/0eac0d04d45ac977ceadbed6e7cb2075f12849e2f56dbaf1bba2b23abf0d5be19c263e2a586ec1754f6a1ad37c2b3fc1709abf412fd9b82a8b481ff17a2f1313 +0 -0
  67. logic_asts-0.1.0/.jj/repo/op_store/operations/11c683f0cb03f64131192e1a1f35a3b9c1e5af83d4c97a11820e3731181b8f0488228b86c74c7455f73565e87b08c7376f3b6911ff4d8d12ea854ca1badd9cf0 +0 -0
  68. logic_asts-0.1.0/.jj/repo/op_store/operations/217a393256dcaac66b8394f4f1e5350b324c1cc0f8f0b969c7092315d9226a8096633fae61956ebbb3addb7e00c815829e329b7cbe6b9a26458b756a461152f2 +4 -0
  69. logic_asts-0.1.0/.jj/repo/op_store/operations/358df6caabc12b3ebc9a1f4c694c9350ced2719988b9ee69f927c3c369bc2628ecde82145a5c70fdedf3c00f319c307d893e51d0963d5fe1b83ac5bca5d0ba4d +4 -0
  70. logic_asts-0.1.0/.jj/repo/op_store/operations/38a5ac615170b00428f3d470044b4353ab4c557170ba8b87edc88f99cf9302ae396dba20ad4e7aa26c49dcfe5c660533513253155d11e7cbbe925f300ee73f32 +5 -0
  71. logic_asts-0.1.0/.jj/repo/op_store/operations/3df676c8f3cf41915cf2be94b5d797b39928c3b8e6666f7bcd96774ae79474d6b4029c2196646c6d053c5f22347086badfd7cbe605c2f0c008f36fa14634e94a +0 -0
  72. logic_asts-0.1.0/.jj/repo/op_store/operations/4177138b3b9b0b6c7fcac33f71cbe6b92b782dc251da456c3414dfd87eb09b9c509e2db3e9c4cced76f4672e4be0f28c8a9f4b3806162ee3152b5d6c023558b8 +4 -0
  73. logic_asts-0.1.0/.jj/repo/op_store/operations/48e786f5ecc1bafe5546d8a32eae13e5002b8fe8105d359f01aed52ef2d5051068bd374ac7e71da510f66c8d5c3e4becee6260862631810810332baf308d0e9d +0 -0
  74. logic_asts-0.1.0/.jj/repo/op_store/operations/4a539a9bb4a3fa0f7ca4a30f48948d307f4290cb6007e2c39f4275ed39feb7d288b8b7f310d15cc9a0e7ecc22700b5073d6502bfb24107684e29f50a9e78921e +4 -0
  75. logic_asts-0.1.0/.jj/repo/op_store/operations/59aad150f4d44036cf5a65b7430e1d1000af61b600935576fd2632015cbdacb30daa7ab31e2010eca1af26e6e8c425e790efdfe85abf9955fa08544e34f3b7b5 +0 -0
  76. logic_asts-0.1.0/.jj/repo/op_store/operations/6e572f25cafa2de02681f549c11de96036d1ae9bdd8968d9b9e556a3a0a3dc0225350f61f4e7c467be1858e71aa91d092e391d74a6dd47ca94ccb6e69f51814d +4 -0
  77. logic_asts-0.1.0/.jj/repo/op_store/operations/7ef96c66c49728312e399a9a04fa1eed94a7a82faf9223911a0a873f7cfefe0c48771366dc9760d53496fd49f6e851490ee85097a729ffd550f7629c2acd0042 +5 -0
  78. logic_asts-0.1.0/.jj/repo/op_store/operations/80fd078ad9c7c181c37658adcc82d2d881274979bbe77aa4495419d97126da9298b9c19479786ee87f87c017ccf232b6f464390e4d4e8ee2763357d8b97420f5 +4 -0
  79. logic_asts-0.1.0/.jj/repo/op_store/operations/89e48d894646f17e708566bac7449ed0e1852b3acfa2fa4e2ccc6d78344c472980ece71dbd820d0bdb07614d5f14084fa53595860c644133748b40b104008a83 +0 -0
  80. logic_asts-0.1.0/.jj/repo/op_store/operations/8a4942e196bd5520d15f1b943fc3bebc516b2dd75ce66d0e96096c87b649e55ac30818b3350e488a8e489b8bd45ba9ede8f8beb4a41d8f8360d9d40662692b0f +4 -0
  81. logic_asts-0.1.0/.jj/repo/op_store/operations/8fa536caa95922a0c944247fea06703b6772fba73552f5e0e7626578ab3e5d976290cbb73e05808822bbcee22b84bd592f8c8feac0dac0be8f141e99e471ae2c +0 -0
  82. logic_asts-0.1.0/.jj/repo/op_store/operations/965b4b5dcff42b8d8ef715a5595c1d4027faf02b8dc04ea038230c54f30d0320d80902d3dd69923d3d4ec3a3da5c8ffdf9e064124c81caad84e2168f9a3b5516 +0 -0
  83. logic_asts-0.1.0/.jj/repo/op_store/operations/97616797b751fd71a218d2fd40f34a655a0586b50a02fce674c0d0125afdbd1607dff98fc2d45843f8defa1c7ced673ad73c1633bda0f3f9bf20cae6fa5fb90c +0 -0
  84. logic_asts-0.1.0/.jj/repo/op_store/operations/98fd2e8eedac710591c55a0ffe3b927d0853a0cf5bea34dd8d394b468f0261350b9db36727a3cca03e576571a88862d2e1b58d908d65b4413fd0a5fdffd93b48 +0 -0
  85. logic_asts-0.1.0/.jj/repo/op_store/operations/a0178152e7163c13d0219f543c32d9dca99bb77ca6b9d66375f4236060cd602e4b29a5647101f5a3ce2db93b78ee3b6584bcc2750441cf1702ec64ff70d8c426 +0 -0
  86. logic_asts-0.1.0/.jj/repo/op_store/operations/cc56da91d4dc9bf17e51345b72697cc308900b646e1cd8b50dc0897abf62d2841bb02b6dcdb06601a3f3f348d15dcdbb89275bd329a76b7ffba996c2b91dfaf2 +5 -0
  87. logic_asts-0.1.0/.jj/repo/op_store/operations/d05b1b6e033d81a2bce8f03f91b0aa47ca995668c317c6cd3fd5e2b0312d6eadab130fb6a0ffe4ba1bea816eae24923a0fca99e75baa6c020e083ce0fdafd90f +0 -0
  88. logic_asts-0.1.0/.jj/repo/op_store/operations/d7f2d92345b897bb5777f2b8ef00e21aa2bee8702b14fbe14501ade2c75026a9f22ee9ffb0314a91fb6d6b4e9f54a7584e192eba932ccf0c18a38ebdcc7827c6 +0 -0
  89. logic_asts-0.1.0/.jj/repo/op_store/operations/e1f98647ba8bbad7c17d8eabce6547a7712979fe76c8bc02a1e4a1c795ef36d451ca10b7107cc082607be20b2bb2e77c9bc258a9c1a5500baf7d13d05ff7eecd +4 -0
  90. logic_asts-0.1.0/.jj/repo/op_store/operations/e520b2160bf2c32a67a528017b5192f87c68136db438cca6e7257eaae02540a0fbb803d936146f8c2f2a0610cb5389382580cd475a5e8e11b54649033a93da92 +4 -0
  91. logic_asts-0.1.0/.jj/repo/op_store/operations/e8f403c5c01baf346b67411cc9158805d23873c6dfd45c98f05ce94d50f0c64f105c858964bbea7543bd5aae866283edac07bbe4d0d1c3585dea5f7929064097 +4 -0
  92. logic_asts-0.1.0/.jj/repo/op_store/operations/f0d805e05cfc3637fb862929c0dbc67a2ba45e186f855f1c30b49eaac4e104ec3950e47e1fa3026c8046637df1d78fc818a6e3dfb84d7462c925d52446a48eff +0 -0
  93. logic_asts-0.1.0/.jj/repo/op_store/operations/f60decb80583abded0d4ba9da5b8b97f171f374dde82c905b25c4d75d2480b3dddab9feefba66e309683856034dd578eca41b40f448ce061e25b999142c1b342 +4 -0
  94. logic_asts-0.1.0/.jj/repo/op_store/operations/f882470fb88c2f30efafc55e7eb4f8d36a5f403df82e8a93a31c60b5a3d4f136e6e340cb9fc95170bfe01b4f82be2839945662feff658167dcd3201e5c6be810 +0 -0
  95. logic_asts-0.1.0/.jj/repo/op_store/type +1 -0
  96. logic_asts-0.1.0/.jj/repo/op_store/views/02bcfaf082f500471d9e64f32d8a416230c679efe7bd33a33b1c6a3ba93a1bd1613d1b35a8db3fa553be4de2cf8690cb186f07261f949c05746513a96d31216e +0 -0
  97. logic_asts-0.1.0/.jj/repo/op_store/views/05abd424e86f22b95bc13365d9ccd010d0270b1113176bb49207c9797f4d3cf9e4f16a080893ec62f48ad6df75dbf0a482ee57d582a31da99cf211337262d0e3 +20 -0
  98. logic_asts-0.1.0/.jj/repo/op_store/views/074d293e16ad48bc27ad56ed7cb6ba4bf6de5f7c2f599a4768ea031929d00a8efec3b7193cccff05fcd6c159a25b04e9f0c6bf3c5f0bc0c4a93f420d5662f214 +0 -0
  99. logic_asts-0.1.0/.jj/repo/op_store/views/18a7526ed56e1c26ea3e895b33f6bce20ac5c3451e6d8fe6fffcae8e93c674574fb9bf8196991951fcc430fbc2e4657aca66137337e5398546314c073cc62c44 +0 -0
  100. logic_asts-0.1.0/.jj/repo/op_store/views/334fb674fee13ba5b698363f69eea78b3aba386a0375453dc45922742ff69be920e4f0460dbb5f44b4f45f0f65f841d3e62b5a128a0b22de8b91f6dc64894709 +16 -0
  101. logic_asts-0.1.0/.jj/repo/op_store/views/5536907112b3426eb5355dce462f99064ae03046ae6c3f1e897ae03784f7be3f7287c85ace6a85a5672402d9949357c2be92a1b589335d6111a08933c3b0016d +24 -0
  102. logic_asts-0.1.0/.jj/repo/op_store/views/59c7ebee3767ef2f2c1af3478415bcc002b8008b6bb8e2cea0b807218d3788e2288be61a6582601f57c9a17a611b7dd6976809ad3b95b663a0028d2f151c732c +24 -0
  103. logic_asts-0.1.0/.jj/repo/op_store/views/5a335ff0110008eafabe2fa3e60eb02ab5fc28d3e704e5e3a2ef6491e9b7a219ab720473e42687dafe387efa73fe020c9f264342ee8c70ed6b0962f5128aadad +19 -0
  104. logic_asts-0.1.0/.jj/repo/op_store/views/5b002d7c75b8d284c5b83ed930df0a6a814e21e954b3db1bc77439bce34d6be4eefc49b45fc3b3eb58408c6d8207545a748bb85367f656162961b7d2ed34e7ee +14 -0
  105. logic_asts-0.1.0/.jj/repo/op_store/views/66a7962794faa33ff703d49444177421094420c275c18a60f55ad0aa3e3c009e1f391fe8b89a613e105e680b8b23c9f265b7b3b69d4de8aa9774ea6a8f5848a0 +19 -0
  106. logic_asts-0.1.0/.jj/repo/op_store/views/6c2b32f9cc181c7a587cf8c0e3f8e1110db1e4a71e0a5281f330a732d4433d9b4fd92ede58e29b2dd9f98841a36f6c6e72edcbd5a917af46dacf5100037a79eb +14 -0
  107. logic_asts-0.1.0/.jj/repo/op_store/views/74d282a08e62f9a9a252d44e91febb0342a78da7c2ada57d55224049959f947008208cdb090208837169feb599f2b89d99130c47d1dca9922edbe0f04ae34e57 +19 -0
  108. logic_asts-0.1.0/.jj/repo/op_store/views/805f0880d449f351f32a63fb2c3d67de2cac28231833fd89ba189b6c6a13f95062e13c1983dc0ea39169b494a1fc1cb44f3ae1fca2f7b1cfd0f8bf5f0f1f4afb +25 -0
  109. logic_asts-0.1.0/.jj/repo/op_store/views/85c3fb65664bad84822c7db92310b979c18975d7710576b3eb63aa0f24d6620e6343c659916b5f68c200a017e1a44883ba91a887a6fa7bad39ef1c57d8ee79f7 +19 -0
  110. logic_asts-0.1.0/.jj/repo/op_store/views/877daec6b5b6af1dd30ebba87191c82ef9ac2e42011968855e5e0691ca4b4a8afdefc39273f14d28db983e9262551f147bca8a85593875b580ce2e61e485bf38 +0 -0
  111. logic_asts-0.1.0/.jj/repo/op_store/views/89c501d0805b93851f7d1b21a4d60eabd82d424eb496f1f05fc617ce9701df7f2d92bb66eff2a84d7967cc35fe6cd9637495b21c53d40bcefdb95996bbb2015f +24 -0
  112. logic_asts-0.1.0/.jj/repo/op_store/views/9480f1b97c011c0a8a2062b51e56e7ba08ed7014bfc3dfc9a5c1dcd0ece37ce9afe4ec3027867bf2eff2f4455383f07185de69e08e4dfc1770afe8ec680987f1 +20 -0
  113. logic_asts-0.1.0/.jj/repo/op_store/views/9a07d547b4a9cef8671acc3137e418530e4b5dd45aa9ae803ff7f3c5ed985c1cf03f500c2cbe724c7d9c1b5cab3f5782bce4f5ba495a963d58cf28315148daca +24 -0
  114. logic_asts-0.1.0/.jj/repo/op_store/views/9bc7a04a8709c20560b691810fdf0030170855037c1c515bec96bcae40714230557f545680853c1fb7dd9762dcfcd054ad564d8554088d8fe8e4d529653b49d2 +0 -0
  115. logic_asts-0.1.0/.jj/repo/op_store/views/a8ba47b295545daa76bc6e52c9c2e8325403f8662ee003f2baa23c3901fd2740c512eea97fded0262ea4c89259d648f48df0dd8071d203135ae2a11c50d4c9eb +24 -0
  116. logic_asts-0.1.0/.jj/repo/op_store/views/b4452d745321480fbf736b6087e6a5d2ca258664650fad7291f83b658af8a894552518b430647c9418a3bfb2af4671d1abad5bf1182d38ad4c9dae3c4591e871 +24 -0
  117. logic_asts-0.1.0/.jj/repo/op_store/views/b4e0d88a10e21ac524ae6b46f9f15d90e1821f6bbc11f8091b5a6da94a5b5ac5b949968d6cf606e08b93e06d558ca8bf98a0a089ae2db243282bc741215e791d +26 -0
  118. logic_asts-0.1.0/.jj/repo/op_store/views/c72c5f9e908bf0b9764d8330a51f103528cc38aa03557ef9cdcafecaa1276e16c0034c4e6196ff3814314b40232d4a8b3d1096e0ac5d9f941919f073f77e72d4 +19 -0
  119. logic_asts-0.1.0/.jj/repo/op_store/views/c9dc3335f5f61ec4e1e7df7d10e4c67209928b6bd58990e47c9cece65fe737bf82c285d062d87b0a96a577fc1c1946650e9acb273717984d89085e7c5236e3ca +0 -0
  120. logic_asts-0.1.0/.jj/repo/op_store/views/deefeb806e51de28cc60d4f0507240dac34453cd49fa655aa5620f8b057c4d75959112a0145e586d79dabe3b08dec7456754b13219cdfb3047812e345cf2a74a +0 -0
  121. logic_asts-0.1.0/.jj/repo/op_store/views/e32c94c7ad7328d213d4e68a897a63ad60064e23b7847aac8953dc32bb7baeb1b53882315b70a87548a2e73d885952361f3d5b89e4e0d644eb2cac85be780c10 +19 -0
  122. logic_asts-0.1.0/.jj/repo/op_store/views/e603f1f928bfc381ce19879e5f096423b27b8a893c99eb467476e48a5aa190cb1303253ad940fa8dca9ca1703fae5ebc8bafb7cc8d3b0657c7f559f5686a7246 +24 -0
  123. logic_asts-0.1.0/.jj/repo/op_store/views/ed80f03f7aa8827bdb1dbee457c49c895d65944516a6f377fdf057043e67e018a0406755f17ee92ca594601c312f1d57c19834d4613525b410622281c6a411b6 +24 -0
  124. logic_asts-0.1.0/.jj/repo/op_store/views/f0c5f94376d1cd396052488f0fe5fe7bb8ae0df4cd1a36e6fb294d0431c1207a33e5f690547b1668753222d6da7e00343052a7b1508c45368cc7f99755c1f01d +0 -0
  125. logic_asts-0.1.0/.jj/repo/op_store/views/f24643cecfd283e15d0adf87a044d1576a8d2ed2156cf741f0a35fe13531b70ecce60930db4221154815518450a042137b00e95839ede159933ac7867d06b2d8 +25 -0
  126. logic_asts-0.1.0/.jj/repo/store/extra/03ab66f6b1eef4f5ce94922213a66b7499640a7b587ca4c4d1aba4313754459081168c6ed82c06cb159fba2d2957cf9948ba2a268c2229e7a8b1c5577be0a815 +0 -0
  127. logic_asts-0.1.0/.jj/repo/store/extra/0737c10afae40e24d69750d17dbde0e3e5f622aafe4532fa93b3658b5b40811cfc6196c7f20c147edd779e4ba01a9cd7dc5d13c2b505f7cbc5a9af14b6596c59 +0 -0
  128. logic_asts-0.1.0/.jj/repo/store/extra/0bad26bece1625969e8803d8d69c2fd5db4c880dded2b3b54bf84a5d9233cd5fb404d465e17c7f90cd50006280b160ab7ebbaf4903f763cead08c0498b9f189e +0 -0
  129. logic_asts-0.1.0/.jj/repo/store/extra/0bda35168817ac3fcc7abc6f6b476a58e51232b1e0f6c1cc5a096b5c9799a791e979c9110c5f63d5b17e3e2b5820d82ede508351b5fd2ccee2a75eb765a24db8 +0 -0
  130. logic_asts-0.1.0/.jj/repo/store/extra/18f02f21bc7c194aaf4135c556e52bcf4ca813d458a1210183eb811f5e168835fbc90208857062da1aebe0fb0ca4914ba1a3086d1d087ba1008a995d5f793774 +0 -0
  131. logic_asts-0.1.0/.jj/repo/store/extra/1bd33a63796c859ab97625087fc22f503ea361dd4427c851a69fcf3713c19a0e75a8e2b71cf5f9f78270c3801151b6af6e98304c49f987987b4d04864f3c13a7 +0 -0
  132. logic_asts-0.1.0/.jj/repo/store/extra/2676c2e9ec402d052b0405d63ebd9327357a35b4952ddfcee9a5a6995b73e07c44837b79bf9970abe2ec2588002ba3565fda8fed79c44d2a213abc6d45ec3b00 +0 -0
  133. logic_asts-0.1.0/.jj/repo/store/extra/2a29e1aac0c7468ae282275d7c34572f823673dcef93e9baa9a27bb97f2acbcf5705a93b2cfe09240220f4c848fc120a6aa9455d5ad55b26cca1d394281f1cfd +0 -0
  134. logic_asts-0.1.0/.jj/repo/store/extra/2ef9b457e6b7cff5baaf06fa6380773aa591466bef7c4ca698e51742cdc1c94bb3129d04623db6f93e1c9111c580c0bfb8844dba46d4d0dff2b36feb8401d4d0 +0 -0
  135. logic_asts-0.1.0/.jj/repo/store/extra/3138888bbd1506adb541f168ad17d478fd925186ff3f53309176695fda4e795062031acefe6eb46c7ab7cc8b812a83ce51c0928504037f1eb095c789ba6570e1 +0 -0
  136. logic_asts-0.1.0/.jj/repo/store/extra/35d38d9a8d2b2938ee88c4dbf8ec827b29e8db443efffc3bda2c39f6548b652c098388b594e4f9cd1e9888c5757bfcd22d468b9a10a811afd0a2bd67e4d00a0b +0 -0
  137. logic_asts-0.1.0/.jj/repo/store/extra/3c00c318b5d17bb6622625b331e988263622a7fc16404c6b1e169409637a2fa13ff28623ac2d9e6f0179edf7046cb13cd53f0f076dc1c716a95fd1a0dc7683e5 +0 -0
  138. logic_asts-0.1.0/.jj/repo/store/extra/482ae5a29fbe856c7272f2071b8b0f0359ee2d89ff392b8a900643fbd0836eccd067b8bf41909e206c90d45d6e7d8b6686b93ecaee5fe1a9060d87b672101310 +0 -0
  139. logic_asts-0.1.0/.jj/repo/store/extra/4871620b75b4198812a44f755c66df5a8bb7a231003a34a2ce6a0dc32d499766a62a28bc75793bac5fc16995e84fe01efd0bfcf8933bd1c542aecc1c4bba624c +0 -0
  140. logic_asts-0.1.0/.jj/repo/store/extra/57e7a60333e02ab1f24bba84600850973f0f37c0110258189f2d7cbb17aad497806a6dc07a10aa7d0e9f0202532840dc26549e14166fa1915080148aa71aba52 +0 -0
  141. logic_asts-0.1.0/.jj/repo/store/extra/665d6744e2c4c7ebe64f1c238764e6779e1ebb198348e96f328aae05d57dbab0366c54e93f9b179afd1a5d55a278b37db67dae191ac2707b6be45791cb3c8202 +0 -0
  142. logic_asts-0.1.0/.jj/repo/store/extra/76f882e78820e022dc06965b576b97316114dbac7c97c4a9a4950f6c4607727731e9c1a7db87fe876405644827671d1fa7d99dc430f4a7b34f429060c85e51f7 +0 -0
  143. logic_asts-0.1.0/.jj/repo/store/extra/7714594148716c1ffeea1c1d9eb4bc1014e5d0d9d30202759328cadad5729e3733678a4a6232184e5b961bca234ab75926c08e6845b3b7d6de9be3c12197a913 +0 -0
  144. logic_asts-0.1.0/.jj/repo/store/extra/796743a27e317817e5e3829c86a95b525ee6cfa59256bf4b6782cbb2672666b2e569c092d4066868cffdb5d54dcc9f093a56d588082f967fbdaa98448481a7d3 +0 -0
  145. logic_asts-0.1.0/.jj/repo/store/extra/7bf682c19a030aca2092b693de23630284cfc31cc7163cfab90ef49a3abfaf1797864351cf5734a1881ad44095925ac74a484cbb899c5ad0137e20153a3cb4b8 +0 -0
  146. logic_asts-0.1.0/.jj/repo/store/extra/8851f70cf48babf38933aa4aead644994f955883fb0f10d76164a59024261f0ccdba8d1deebd2f82600ba338fa05307443e11afa90f9ae054935eab4174bc6b2 +0 -0
  147. logic_asts-0.1.0/.jj/repo/store/extra/940c047ce5b868c4183884f0550598b66b272182206bf8696f7aa9db24f71386c7bf323a536f82d23882c8b1b2c76bed7b1dd21c5320812b7db01ea1eeaeb892 +0 -0
  148. logic_asts-0.1.0/.jj/repo/store/extra/96318706edceab566a58890d4317a56a0d682e087aec9ef56d06dd2646fb1e4557921aa6f5c71d8ca30177750f936ee015a2ad2e1f1be5563b57b38f505f4ca5 +0 -0
  149. logic_asts-0.1.0/.jj/repo/store/extra/97361b581a51c062f7272f67447f7e4c659cc12e2d1ed132de97550f3cba197f22f287a2a933a2e8f465de57b30543aff479b91832663dd27e199eea18ed5f33 +0 -0
  150. logic_asts-0.1.0/.jj/repo/store/extra/98be2592e99f8cc2c4ed55be68987ecca86ba6e8e003220c2a3f14c0fca1dbef76e0dfbbd2e99076b9a7bb2d5ee2a2998df2b832c6cb8c4b7d5908f0b351b5d6 +0 -0
  151. logic_asts-0.1.0/.jj/repo/store/extra/9c28c24b3c21fa163f56f7f6205b2ad4d78902ec3528bded6228be945000125208a26318d5b52ba8eece0cc25aab6c19555f95d7d2ef4c88b5187cf98e246830 +0 -0
  152. logic_asts-0.1.0/.jj/repo/store/extra/a08c53f524df4e69239980703a642772af3017a9ee4aa06a2c5cb2fc0b7c9e9668fce62cc83d36470f3e7fcf901cc79d9c002d70bdbb185f58434e10b83177da +0 -0
  153. logic_asts-0.1.0/.jj/repo/store/extra/ae132c1a6b4312b157cd1f62217218100d444fdde14b5c35775abe28f88b1ad0325b935249d3652c8c65e280df41ae4df184de7291664ceb523dcb4451828eae +0 -0
  154. logic_asts-0.1.0/.jj/repo/store/extra/b9be29fca6083f6cae08aad484c26f6f4869f747e1baf54dd9fd08b8d5ff0080192b078f654dae4e12b2b6c51c6685ab369b911872d1d2c091b4b9e0ad7fe20a +0 -0
  155. logic_asts-0.1.0/.jj/repo/store/extra/c1309162eb877ed8f429b061d81615b07c38dd1931d5fe91984ffeb2555578041201f8a483c677f394b31f98cc0d59f7109b6d9884b3006d07f05e3e23e699cb +0 -0
  156. logic_asts-0.1.0/.jj/repo/store/extra/c9004bcbcbbb6fb6f609c0b84bee6fd024f7237c7b74ca56238fca702ff214dc29d57ce89ba491b32c0a8926fdb5b96fd98478181d1bd05c136048f3ef161ff6 +0 -0
  157. logic_asts-0.1.0/.jj/repo/store/extra/cb6d3720600f951c529e266631ff522702ddcdc172bf4ca14cd00312c685e3d39999b15d370f299e083395e042c53a8f3957a15e5bc528fdf71af8e50fdcd7e3 +0 -0
  158. logic_asts-0.1.0/.jj/repo/store/extra/d1bd83bd631af88936f38dd4daf6a272c9a28f1cc1d022c95e0ba813d63413c6b227cfbfd464ca954ba4776da8c04d7e02e3e5a1645ee0c04ee6ffdc16f958bf +0 -0
  159. logic_asts-0.1.0/.jj/repo/store/extra/d3e38828c9b081db0a8066af23abfa11b56ea755fc405181843d67cca2787d01c83032a7f34d1b6fad72fcab23de3072b29af9130e5a0a7e246299d6d9663e58 +0 -0
  160. logic_asts-0.1.0/.jj/repo/store/extra/df15c0dbb7a782d61570e5287984576eea4d20fac9f3859a853ba2cbd7467de02b1519dedad9046ada6696d6478dabf10f92d0008274b79c8ba23dcb5200cd47 +0 -0
  161. logic_asts-0.1.0/.jj/repo/store/extra/e5fe501246286b06fe57d01e4f173c3a1d0071c3b8132cf3fc5430420933ae6ec87c776a3d446f64e0041bb08fc74da96e48f98f066af18b19b555e7d5239143 +0 -0
  162. logic_asts-0.1.0/.jj/repo/store/extra/f0e228b05ea5cb6eb374b8717289c70caa484a230fe72054c995f3003e6a2b88a6a4eba4eb2b2e236f9a7f8dab89874c35070178e8a09b3df80a71a776a350d1 +0 -0
  163. logic_asts-0.1.0/.jj/repo/store/extra/f2f0443ad5a93d53803beab9270fb6bbc7e8cdde08a0a411fe9f9eaf0b357b56b9bae29dbc880982a341a267860a21f61ed2c57289eb0724751ee7db0f477db7 +0 -0
  164. logic_asts-0.1.0/.jj/repo/store/extra/f3f5203913117ff18207a2c320378e5816fbea42039df6ab2fd7b1ccb2edede36b1d3978cefe259a616147dbd609c7e3ffe7cd8e1fd02762f6b28373927996d5 +0 -0
  165. logic_asts-0.1.0/.jj/repo/store/extra/fc360b91f6f01e822d926bbd3dca152692d666e9295647d94abaa37c9ec8f804030e7fc69622a6dbde24563726ceb43f675d08f01b8b5fd3545a567205ac479c +0 -0
  166. logic_asts-0.1.0/.jj/repo/store/extra/fd229efea4dca38d3fb6cf3f098b431b388b88133062c75a83d52a79fcaaae9a9b90af2b1a97cd3a108e72897b23657efbf7159e7bc3368574d1f1278221fe53 +0 -0
  167. logic_asts-0.1.0/.jj/repo/store/extra/heads/7bf682c19a030aca2092b693de23630284cfc31cc7163cfab90ef49a3abfaf1797864351cf5734a1881ad44095925ac74a484cbb899c5ad0137e20153a3cb4b8 +0 -0
  168. logic_asts-0.1.0/.jj/repo/store/git_target +1 -0
  169. logic_asts-0.1.0/.jj/repo/store/type +1 -0
  170. logic_asts-0.1.0/.jj/repo/submodule_store/type +1 -0
  171. logic_asts-0.1.0/.jj/working_copy/checkout +1 -0
  172. logic_asts-0.1.0/.jj/working_copy/tree_state +0 -0
  173. logic_asts-0.1.0/.jj/working_copy/type +1 -0
  174. logic_asts-0.1.0/.python-version +1 -0
  175. logic_asts-0.1.0/Makefile +33 -0
  176. logic_asts-0.1.0/PKG-INFO +34 -0
  177. logic_asts-0.1.0/README.md +23 -0
  178. logic_asts-0.1.0/pyproject.toml +53 -0
  179. logic_asts-0.1.0/src/logic_asts/__init__.py +65 -0
  180. logic_asts-0.1.0/src/logic_asts/base.py +233 -0
  181. logic_asts-0.1.0/src/logic_asts/grammars/__init__.py +108 -0
  182. logic_asts-0.1.0/src/logic_asts/grammars/base.lark +32 -0
  183. logic_asts-0.1.0/src/logic_asts/grammars/ltl.lark +23 -0
  184. logic_asts-0.1.0/src/logic_asts/grammars/strel.lark +28 -0
  185. logic_asts-0.1.0/src/logic_asts/ltl.py +186 -0
  186. logic_asts-0.1.0/src/logic_asts/py.typed +0 -0
  187. logic_asts-0.1.0/src/logic_asts/strel.py +120 -0
  188. logic_asts-0.1.0/src/logic_asts/utils.py +23 -0
  189. logic_asts-0.1.0/tests/test_base_logic.py +22 -0
  190. logic_asts-0.1.0/tests/test_ltl.py +30 -0
  191. logic_asts-0.1.0/tests/test_strel.py +38 -0
  192. logic_asts-0.1.0/uv.lock +385 -0
@@ -0,0 +1 @@
1
+ .envrc.recommended
@@ -0,0 +1,11 @@
1
+ #!/usr/bin/env bash
2
+
3
+ set -euo pipefail
4
+
5
+ info() {
6
+ DIRENV_LOG_FORMAT="envrc: %s" log_status "$@"
7
+ }
8
+
9
+ make dev
10
+ watch_file uv.lock
11
+ source ./.venv/bin/activate
@@ -0,0 +1,176 @@
1
+ # Created by https://www.toptal.com/developers/gitignore/api/python
2
+ # Edit at https://www.toptal.com/developers/gitignore?templates=python
3
+
4
+ ### Python ###
5
+ # Byte-compiled / optimized / DLL files
6
+ __pycache__/
7
+ *.py[cod]
8
+ *$py.class
9
+
10
+ # C extensions
11
+ *.so
12
+
13
+ # Distribution / packaging
14
+ .Python
15
+ build/
16
+ develop-eggs/
17
+ dist/
18
+ downloads/
19
+ eggs/
20
+ .eggs/
21
+ lib/
22
+ lib64/
23
+ parts/
24
+ sdist/
25
+ var/
26
+ wheels/
27
+ share/python-wheels/
28
+ *.egg-info/
29
+ .installed.cfg
30
+ *.egg
31
+ MANIFEST
32
+
33
+ # PyInstaller
34
+ # Usually these files are written by a python script from a template
35
+ # before PyInstaller builds the exe, so as to inject date/other infos into it.
36
+ *.manifest
37
+ *.spec
38
+
39
+ # Installer logs
40
+ pip-log.txt
41
+ pip-delete-this-directory.txt
42
+
43
+ # Unit test / coverage reports
44
+ htmlcov/
45
+ .tox/
46
+ .nox/
47
+ .coverage
48
+ .coverage.*
49
+ .cache
50
+ nosetests.xml
51
+ coverage.xml
52
+ *.cover
53
+ *.py,cover
54
+ .hypothesis/
55
+ .pytest_cache/
56
+ cover/
57
+
58
+ # Translations
59
+ *.mo
60
+ *.pot
61
+
62
+ # Django stuff:
63
+ *.log
64
+ local_settings.py
65
+ db.sqlite3
66
+ db.sqlite3-journal
67
+
68
+ # Flask stuff:
69
+ instance/
70
+ .webassets-cache
71
+
72
+ # Scrapy stuff:
73
+ .scrapy
74
+
75
+ # Sphinx documentation
76
+ docs/_build/
77
+
78
+ # PyBuilder
79
+ .pybuilder/
80
+ target/
81
+
82
+ # Jupyter Notebook
83
+ .ipynb_checkpoints
84
+
85
+ # IPython
86
+ profile_default/
87
+ ipython_config.py
88
+
89
+ # pyenv
90
+ # For a library or package, you might want to ignore these files since the code is
91
+ # intended to run in multiple environments; otherwise, check them in:
92
+ # .python-version
93
+
94
+ # pipenv
95
+ # According to pypa/pipenv#598, it is recommended to include Pipfile.lock in version control.
96
+ # However, in case of collaboration, if having platform-specific dependencies or dependencies
97
+ # having no cross-platform support, pipenv may install dependencies that don't work, or not
98
+ # install all needed dependencies.
99
+ #Pipfile.lock
100
+
101
+ # poetry
102
+ # Similar to Pipfile.lock, it is generally recommended to include poetry.lock in version control.
103
+ # This is especially recommended for binary packages to ensure reproducibility, and is more
104
+ # commonly ignored for libraries.
105
+ # https://python-poetry.org/docs/basic-usage/#commit-your-poetrylock-file-to-version-control
106
+ #poetry.lock
107
+
108
+ # pdm
109
+ # Similar to Pipfile.lock, it is generally recommended to include pdm.lock in version control.
110
+ #pdm.lock
111
+ # pdm stores project-wide configurations in .pdm.toml, but it is recommended to not include it
112
+ # in version control.
113
+ # https://pdm.fming.dev/#use-with-ide
114
+ .pdm.toml
115
+
116
+ # PEP 582; used by e.g. github.com/David-OConnor/pyflow and github.com/pdm-project/pdm
117
+ __pypackages__/
118
+
119
+ # Celery stuff
120
+ celerybeat-schedule
121
+ celerybeat.pid
122
+
123
+ # SageMath parsed files
124
+ *.sage.py
125
+
126
+ # Environments
127
+ .env
128
+ .venv
129
+ env/
130
+ venv/
131
+ ENV/
132
+ env.bak/
133
+ venv.bak/
134
+
135
+ # Spyder project settings
136
+ .spyderproject
137
+ .spyproject
138
+
139
+ # Rope project settings
140
+ .ropeproject
141
+
142
+ # mkdocs documentation
143
+ /site
144
+
145
+ # mypy
146
+ .mypy_cache/
147
+ .dmypy.json
148
+ dmypy.json
149
+
150
+ # Pyre type checker
151
+ .pyre/
152
+
153
+ # pytype static type analyzer
154
+ .pytype/
155
+
156
+ # Cython debug symbols
157
+ cython_debug/
158
+
159
+ # PyCharm
160
+ # JetBrains specific template is maintained in a separate JetBrains.gitignore that can
161
+ # be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
162
+ # and can be added to the global gitignore or merged into this file. For a more nuclear
163
+ # option (not recommended) you can uncomment the following to ignore the entire idea folder.
164
+ #.idea/
165
+
166
+ ### Python Patch ###
167
+ # Poetry local configuration file - https://python-poetry.org/docs/configuration/#local-configuration
168
+ poetry.toml
169
+
170
+ # ruff
171
+ .ruff_cache/
172
+
173
+ # LSP config files
174
+ pyrightconfig.json
175
+
176
+ # End of https://www.toptal.com/developers/gitignore/api/python
@@ -0,0 +1 @@
1
+ /*
@@ -0,0 +1,10 @@
1
+ JJ: Enter a description for the first commit.
2
+
3
+ JJ: This commit contains the following changes:
4
+ JJ: A src/logic_asts/base.py
5
+ JJ: A src/logic_asts/grammars/base.lark
6
+ JJ: A src/logic_asts/grammars/ltl.lark
7
+ JJ: A src/logic_asts/grammars/strel.lark
8
+ JJ: A src/logic_asts/py.typed
9
+
10
+ JJ: Lines starting with "JJ:" (like this one) will be removed.
@@ -0,0 +1 @@
1
+ d27ad326963b75736b636adad9fb812eb3f2871e0efb4bc7db37d4b701a4282911eaaee91bed3a759e940769b667be1ed66f2d7f2f41ac3906b87ab7eec19c3a
@@ -0,0 +1 @@
1
+ 3167d24f4e71c4bf5c1f3bf8a730f4d90eedc5fbd3d763316274594c4e9aa836d2d9d454aa405c7088dea8148ef2becea86ba268e91f3507e6b44c7b7da19564
@@ -0,0 +1 @@
1
+ b5a696627ab19833d500b93520138708772edf21c2df25b7d7be447be00769605e874e2e103dc8b0cd4ac4f710d60e655249632ef59ceb22273035a33c230c95
@@ -0,0 +1 @@
1
+ dd70ebd4d26c34c0b0e6e8558600792397e88602107dfeed052ddde32dd7a2b2e2649f700b2b6e2d36e186f1c64f00aabbb6fbf3bdd7236420c71687b3b8de4a
@@ -0,0 +1 @@
1
+ a452d1a7c379c860eb56b9fb3289713b1c97a17ab378aef7b4a6b2fba55e12737ed72a627a061d86d4975520deb8e9cf28109ffc2aaa1f1a3abf543f44d3f2ec
@@ -0,0 +1 @@
1
+ ce4eac1f3ea7d618d84ea665d1cce74959538db8bd580255df7083a1354c4396043ae8e3d6c42f54b7fff806d642dbdcff50ec3b59d0e79b894bab75d279d6a5
@@ -0,0 +1 @@
1
+ 3a2b00e065cc51298660d38ad012ffed6076c2cee798e798e90310fed60a7417effffbb5fb32b0a30e3e85d45372325ac0c8f291c624c35ffa7328af68698ad2
@@ -0,0 +1 @@
1
+ 8ade145a1064ddf61af5e6fe2c6cd0d42aa1e84cbb6daadadf072bd419b8c23bd82b7d974596f852631f90808c153c446a7cd0cab135cc2b2e0b90e720651cd2
@@ -0,0 +1 @@
1
+ bcf46b9938e485484e358c4df254e40e8240a6fa116f7c2bbdbc7d367ff7d2d1e5c1955a339298fb61d3d8ea615d8424aca34d5310c828072017075c8fcb3964
@@ -0,0 +1 @@
1
+ e6f7830699da0383e1bec49f743073ef82bb42186145bc077c99b68e35b8db470f24bec9ab6aef882126e5c24b74d0ca60df0439b4cb2a27e2e1c6c6a64d2c0b
@@ -0,0 +1 @@
1
+ 4fe6e973527707eb646cdfc1855c213c85a5104c1b680f60823648de4e6204ada9a0df9c566a3b20e89bb3f674b5be648cbb4dbcdf68cd576722a3d744519f69
@@ -0,0 +1 @@
1
+ f3e6a4b65ab6090d2559fe362303a8b82fe453509035b68b0d24bd589afc885fbc8c487586663095a8872493ef8e559eca6dcc848eec27d5fbab5594694e93cf
@@ -0,0 +1 @@
1
+ dac087f9295a24563c17b587948c5984e1538abb623b15c5e30bf1d8ffffc11e2b65f8b767ac292a8adf3c8df4bc244ca269c06391b4e20632c506470e650c7c
@@ -0,0 +1 @@
1
+ 3a2b00e065cc51298660d38ad012ffed6076c2cee798e798e90310fed60a7417effffbb5fb32b0a30e3e85d45372325ac0c8f291c624c35ffa7328af68698ad2
@@ -0,0 +1 @@
1
+ 3de822b7eac8abaa118331e089ca33f37aa5bbb9ef5bc0df068216705050dce04bac59ac54d9b53b3bdc575ea4c0306cc28f3bbc7fd10bfe08f7ab532dcb7e55
@@ -0,0 +1 @@
1
+ 9a372254bf244988b32d2c1e9bd9aaa42ecbffa48f4787027b2b6dc9f9ad3477172f1e464197f1e707ae38b4becac714c81847dff892b99b2fcf2868cb9b6425
@@ -0,0 +1 @@
1
+ 8204f4617412a15d50c27d36f8b799212795296a739130741624aa82539e1a9dd7cee3e3ec2341f8b7fde32fc49b652724110906237129ee8c942e3cc5c4ec39
@@ -0,0 +1 @@
1
+ 3a8f5f86431192a87ba94d9db5b2f978fa656a49ccbfb000c357c7900640f0048b41f725431273e9817b39f05b4e97216087188826e5b4566197bf6438569cca
@@ -0,0 +1 @@
1
+ a452d1a7c379c860eb56b9fb3289713b1c97a17ab378aef7b4a6b2fba55e12737ed72a627a061d86d4975520deb8e9cf28109ffc2aaa1f1a3abf543f44d3f2ec
@@ -0,0 +1 @@
1
+ ecd75f21f36d65727729be766c7b707fefb6ea96e9715944dd90c705012d203c30752483970e9ed81954a507adca6cdf5f5c1219819b16f14a95425287fda172
@@ -0,0 +1 @@
1
+ 2cb6d030eab0a49bdff619bbc23227da07901cec28cd42d66ea3a0c3c2c5161625b22eb31974a501d4072bf7bf6af67094802feb7c80b65c2f8ae2703bd45aab
@@ -0,0 +1 @@
1
+ 35408099e97560996cb612b4149bd969101eba2f7efcbcf681edd04b90e75dc3bf38dd116b4cd2a2183778039d21b3a9063c9f1c2592d403420bc51d3b9822d3
@@ -0,0 +1 @@
1
+ 92fb6d7770b1ac9a13d60bce8423c957db59abab79aa7290e949a0aa088e54c8c2e1614bfaa05c6931a5e18c6158ce4d338cc2100febf41a44ca0b5699fbebfe
@@ -0,0 +1 @@
1
+ 92fb6d7770b1ac9a13d60bce8423c957db59abab79aa7290e949a0aa088e54c8c2e1614bfaa05c6931a5e18c6158ce4d338cc2100febf41a44ca0b5699fbebfe
@@ -0,0 +1 @@
1
+ ecd75f21f36d65727729be766c7b707fefb6ea96e9715944dd90c705012d203c30752483970e9ed81954a507adca6cdf5f5c1219819b16f14a95425287fda172
@@ -0,0 +1 @@
1
+ 302ce14ea7c5b375d6016e86b3bc9992f6240a50f6713e0b1a4cedc51a02163dd502d7abe7b54fdf03b4495b3e34757b16af4d7cd775e8ce71acabe92be6de3c
@@ -0,0 +1 @@
1
+ 3de822b7eac8abaa118331e089ca33f37aa5bbb9ef5bc0df068216705050dce04bac59ac54d9b53b3bdc575ea4c0306cc28f3bbc7fd10bfe08f7ab532dcb7e55
@@ -0,0 +1 @@
1
+ 7f35405a95696abc6b1524b01f88f8b0663568196f3721fe2e87fd4d024459b6e35f3930c49f686682801210ebc33b235e21c391a3e1ffb6fb42a30057914c97
@@ -0,0 +1 @@
1
+ 1af54ef723073c7dc079dc88a103a604ec64551fe647cc244e2062ad6049053882deab9f377671f942e4d4c99f6d35c01518236b4a51ce96b3b4cf46848ccf52
@@ -0,0 +1 @@
1
+ 79c1d931873e2b2c64bc538061993fb5b433a07cce6462c1a80e522fad2875570a157058b52ca3f1a576dc2783496d5f2176af2953107a8f3c81b790870a9c3c
@@ -0,0 +1 @@
1
+ 35408099e97560996cb612b4149bd969101eba2f7efcbcf681edd04b90e75dc3bf38dd116b4cd2a2183778039d21b3a9063c9f1c2592d403420bc51d3b9822d3
@@ -0,0 +1 @@
1
+ default
@@ -0,0 +1 @@
1
+ simple_op_heads_store
@@ -0,0 +1,4 @@
1
+
2
+ @�}�Ƶ�����q��.��.Bh�^^��KJ���Òs�M(ۘ>�bU{ʊ�Y8u���.a䅿8@�
3
+ ˑ���2��������������2���������fetch from git remote(s) origin"xps13*anand2
4
+ args jj git fetch
@@ -0,0 +1,4 @@
1
+
2
+ @�E-tS!H�sk`����%�de�r��;e����U%�0d|�����Fqѫ�[�-8�L��<E��q@�[K]��+����Y\@'��+��N�8# T�
3
+ ��֩�2�����������֩�2���������4edit commit c781181ea0fae12dbc659b3517118552ac563de0"xps13*anand2
4
+ args
@@ -0,0 +1,4 @@
1
+
2
+ @��؊��$�kF��]��k�� Zm�J[ZŹI��l�����mU��������-�C(+�A!^y@nW/%��-�&��I��`6Ѯ�݉hٹ�V����%5a���g�X�� .9t��Gʔ̶�Q�M_
3
+ �����2��������������2���������snapshot working copy"xps13*anand2
4
+ argsjj log8
@@ -0,0 +1,5 @@
1
+
2
+ @���nQ�(�`��Pr@��DS�I�eZ�b�|Mu���^Xmyھ;��EgT�2��0G�.4\�J@�ag��Q�q���@�JeZ��
3
+ ��t��Z�������XC���|�g:�<3����� ���_� _
4
+ �����2��������������2���������snapshot working copy"xps13*anand2
5
+ argsjj log8
@@ -0,0 +1,4 @@
1
+
2
+ @��G��T]�v�nR���2T�f.��<9�'@����&.�ȒY�H��݀q�Z�P���@�
3
+ ��ީ�2�����������ީ�2���������new empty commit"xps13*anand2
4
+ argsjj new
@@ -0,0 +1,4 @@
1
+
2
+ @��Ѐ[��}!����-BN����_�Η�-��f��Myg�5�l�ct��S� ���Y���_@5��ʫ�+>��LiL�P��q����i�'��i�&(�ނZ\p����1�0}�>QЖ=_�:ż�кM�
3
+ ����2��������������2���������<squash commits into bd90a4b6525ba2e0a573bade4f381993e5a8309c"xps13*anand2
4
+ args jj squash
@@ -0,0 +1,4 @@
1
+
2
+ @���(�Á���_ d#�{��<��Ftv�Z���%:�@��ʜ�p?�^����̍;W��Y�hjrF@Aw�;� l��?q��+x-�Q�El4��~���P�-�����v�g.K�򌊟K8.�+]l5X�_
3
+ �����2��������������2���������snapshot working copy"xps13*anand2
4
+ argsjj log8
@@ -0,0 +1,5 @@
1
+
2
+ @��35������}��r ��kՉ��|���_�7��…�b�{
3
+ ��w�Fe��'7�M�^|R6��@8��aQp�(��pKCS�LUqp����ȏ�ϓ�9m� �Nz�lI��\f3Q2S]�˾�_0�?2�
4
+ �����2��������������2���������4edit commit 96f2df632c22df716f960727c6fa2e5a55340185"xps13*anand2
5
+ argsjj edit -r '@+'
@@ -0,0 +1,4 @@
1
+
2
+ @t҂��b���R�N���B���­�}U"@I���p �� �qi���򸝙 G�ܩ�.���J�NW@��6ʩY"��D$�p;gr��5R���bex�>]�b�˷>��"���+��Y/����������q�,�
3
+ �����2��������������2���������8describe commit 7aa6de60f96459458dbf313318c98bf0906f7b04"xps13*anand2(
4
+ args jj desc -m 'feat: STREL parsing'
@@ -0,0 +1,4 @@
1
+
2
+ @��G����g�17�SK]�Z���?����\�?P ,�rL}�\�?W�����IZ�=X�(1QH��@�Vڑ�ܛ�~Q4[ri|�� dnص
3
+ �����2��������������2���������(push bookmark strel to git remote origin"xps13*anand2
4
+ argsjj git push --allow-new
@@ -0,0 +1,5 @@
1
+
2
+ @���|
3
+ � b�V��p���ɥ�����|���0'�{����ES��q��i��M�p���h ��@�[n=�����?���GʙVh���?��1-n�������n�$�:ʙ�[�l<�����
4
+ �����2��������������2���������Gpoint bookmark strel to commit 2b5cebbe6032a766a27482182195fc476db17abf"xps13*anand2"
5
+ argsjj bookmark set strel -r @
@@ -0,0 +1,4 @@
1
+
2
+ @�_��I�Q�*c�,=g�,�(#3����lj�Pb�<����i�����O:���������_J�@�IBᖽU �_�?þ�Qk-�\�m� l��I�Z��5H��H���[���������`��bi+m
3
+ ��թ�2�����������թ�2���������fetch from git remote(s) origin"xps13*anand2
4
+ args jj git fetch
@@ -0,0 +1,4 @@
1
+
2
+ @3O�t��;���6?i:�8juE=�Y"t/��� ��F
3
+ �����2��������������2���������Fpoint bookmark main to commit 33adfb9145081b2a74c29ad4239af44cafeb4f62"xps13*anand2%
4
+ argsjj bookmark move main --to @-
@@ -0,0 +1,4 @@
1
+
2
+ @��$�o"�[�3e����' k���yM<���j��b���u���WՂ����3rb��@��.���q��Z�;�}S��[�4ݍ9KF�a5 ��g'�̠>Weq��b�ᵍ��e�A?Х���;H^
3
+ �����2���������¿���2���������snapshot working copy"xps13*anand2
4
+ argsjj st8
@@ -0,0 +1,4 @@
1
+
2
+ @��?z��{���WĜ�]e�E��w��W>g��@gU�~�,��`1/W��4�a5%�b"�Ƥ�@���\�67��))���z+�^o�_0������9P�~�l�Fc}�׏���߸Mtb�%�$F���^
3
+ ����2�������������2���������new empty commit"xps13*anand2
4
+ args jj new strel
@@ -0,0 +1 @@
1
+ simple_op_store
@@ -0,0 +1,20 @@
1
+
2
+  s��Q9e�#�0�6��8�/��-
3
+ refs/heads/main
4
+ ���9x{o�C
5
+ `M��+i?6
6
+ refs/remotes/origin/main
7
+ ���9x{o�C
8
+ `M��+i?*o
9
+ main
10
+ ���9x{o�C
11
+ `M��+i?#
12
+ git
13
+ ���9x{o�C
14
+ `M��+i?&
15
+ origin
16
+ ���9x{o�C
17
+ `M��+i?B
18
+ default s��Q9e�#�0�6��8�/��J
19
+ ���9x{o�C
20
+ `M��+i?
@@ -0,0 +1,16 @@
1
+
2
+ �}�1��� ��Ǻ�}�1�-
3
+ refs/heads/main
4
+ 3���E*tš�#��L��Ob6
5
+ refs/remotes/origin/main
6
+ ���9x{o�C
7
+ `M��+i?*o
8
+ main
9
+ 3���E*tš�#��L��Ob#
10
+ git
11
+ 3���E*tš�#��L��Ob&
12
+ origin
13
+ ���9x{o�C
14
+ `M��+i?B
15
+ default�}�1��� ��Ǻ�}�1�J
16
+ 3���E*tš�#��L��Ob