{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":652801701,"defaultBranch":"main","name":"regex-to-smtlib","ownerLogin":"sgomber","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-06-12T20:34:32.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/31078236?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1686602073.053052","currentOid":""},"activityList":{"items":[{"before":"7191ba14bd08792268fe02b7ce809e1a5f30365a","after":"de6b8a09b441bf71cb7a44f12132a3b061b068fa","ref":"refs/heads/main","pushedAt":"2023-06-18T22:10:40.166Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Add support for ? (optional operator)","shortMessageHtmlLink":"Add support for ? (optional operator)"}},{"before":"b57c594ad2442e334be3be0a240374c66d422f3e","after":"7191ba14bd08792268fe02b7ce809e1a5f30365a","ref":"refs/heads/main","pushedAt":"2023-06-16T17:42:14.613Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Optimize the generated regex for char sequences\n\nEarlier:\n\"234\" -> (re.++ (str.to_re \"2\") (str.to_re \"3\") (str.to_re \"4\"))\n\nNow:\n\"234\" -> (str.to_re \"234\")","shortMessageHtmlLink":"Optimize the generated regex for char sequences"}},{"before":"6689866bc6753da70c8b0e7a6fa2f00d72129908","after":"b57c594ad2442e334be3be0a240374c66d422f3e","ref":"refs/heads/main","pushedAt":"2023-06-16T17:10:30.743Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Char seq optimization is still not done","shortMessageHtmlLink":"Char seq optimization is still not done"}},{"before":"709b534601d0376b1a72693ba1b52f785067dca6","after":"6689866bc6753da70c8b0e7a6fa2f00d72129908","ref":"refs/heads/main","pushedAt":"2023-06-15T17:31:06.708Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Fix minor indentation issue","shortMessageHtmlLink":"Fix minor indentation issue"}},{"before":"6f1698d131849b48b1adbdab4841abb94098c9ec","after":"709b534601d0376b1a72693ba1b52f785067dca6","ref":"refs/heads/main","pushedAt":"2023-06-15T17:19:01.376Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Add the functionality to handle character classes\n\n>> PYTHONPATH=. python3 src/convert.py '[a-zY-Z3]+'\n(re.+ (re.union (str.to_re \"3\") (re.range \"Y\" \"Z\") (re.range \"a\" \"z\")))","shortMessageHtmlLink":"Add the functionality to handle character classes"}},{"before":"08775fb1089e54e4602919d69dae4bf18d6dcb87","after":"6f1698d131849b48b1adbdab4841abb94098c9ec","ref":"refs/heads/main","pushedAt":"2023-06-14T23:47:02.409Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Optimize union syntax to use one re.union with multiple operands","shortMessageHtmlLink":"Optimize union syntax to use one re.union with multiple operands"}},{"before":"e0eacb762caa503b43e868c0be7c54ba4f2d79e7","after":"08775fb1089e54e4602919d69dae4bf18d6dcb87","ref":"refs/heads/main","pushedAt":"2023-06-14T17:32:14.560Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Optimize concat syntax to use one ++ with multiple operands","shortMessageHtmlLink":"Optimize concat syntax to use one ++ with multiple operands"}},{"before":"e872b6ee80e00ac2f166231dc5fe8c8e1addd45e","after":"e0eacb762caa503b43e868c0be7c54ba4f2d79e7","ref":"refs/heads/main","pushedAt":"2023-06-14T17:20:31.803Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Fix: remove brackets from re.allchar as it is not a function","shortMessageHtmlLink":"Fix: remove brackets from re.allchar as it is not a function"}},{"before":"e644585625f1d83e287dded8a5d53cfcfd2bd476","after":"e872b6ee80e00ac2f166231dc5fe8c8e1addd45e","ref":"refs/heads/main","pushedAt":"2023-06-14T17:04:28.961Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Add support for the . (allchar) regex","shortMessageHtmlLink":"Add support for the . (allchar) regex"}},{"before":"648c3e380cd5d7ed3bfe583ad728a13eb4202c65","after":"e644585625f1d83e287dded8a5d53cfcfd2bd476","ref":"refs/heads/main","pushedAt":"2023-06-14T16:56:14.685Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Update the example commands with new syntax","shortMessageHtmlLink":"Update the example commands with new syntax"}},{"before":"6fcdbec9481a75a440961115fed0505b0f25cb00","after":"648c3e380cd5d7ed3bfe583ad728a13eb4202c65","ref":"refs/heads/main","pushedAt":"2023-06-14T16:53:48.631Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Implement chars and move away from the prev (weird?) logic of strs\n\nOpens a new task:\nWe can optimize the generated regex for char sequences ( (re.++ (str.to_re \"a\") (str.to_re \"b\")) -> (str.to_re \"ab\"))","shortMessageHtmlLink":"Implement chars and move away from the prev (weird?) logic of strs"}},{"before":"f76a9bb74898c945a2b4da8d6c92cbf795bb7692","after":"6fcdbec9481a75a440961115fed0505b0f25cb00","ref":"refs/heads/main","pushedAt":"2023-06-14T06:38:18.462Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Use the widely used concat syntax for concatenation\n\nAlso change the grammar accordingly and introduce an end marker ($).","shortMessageHtmlLink":"Use the widely used concat syntax for concatenation"}},{"before":"a3744d1545449306c4c457ec710c780e914b4746","after":"f76a9bb74898c945a2b4da8d6c92cbf795bb7692","ref":"refs/heads/main","pushedAt":"2023-06-14T04:40:34.392Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Add instructions to fetch ply submodule","shortMessageHtmlLink":"Add instructions to fetch ply submodule"}},{"before":"57be5e00c28c2baaa82089762b44957b4a048ba9","after":"a3744d1545449306c4c457ec710c780e914b4746","ref":"refs/heads/main","pushedAt":"2023-06-13T17:03:35.882Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Update README with command to run tests","shortMessageHtmlLink":"Update README with command to run tests"}},{"before":"a61bbba53d6439fbed27c6610e82f9d6542220dc","after":"57be5e00c28c2baaa82089762b44957b4a048ba9","ref":"refs/heads/main","pushedAt":"2023-06-13T17:01:53.494Z","pushType":"push","commitsCount":2,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Implement initial basic functionality\n\n- Includes ++ (concat), | (union), * (kleene star), + (kleene plus)\n- Also allows paranthesizing to set precedence.\n\nPlease refer to tests/test-converter.py to check what all is supported\nand the syntax.","shortMessageHtmlLink":"Implement initial basic functionality"}},{"before":null,"after":"a61bbba53d6439fbed27c6610e82f9d6542220dc","ref":"refs/heads/main","pushedAt":"2023-06-12T20:34:33.053Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADQ_9ByAA","startCursor":null,"endCursor":null}},"title":"Activity · sgomber/regex-to-smtlib"}