{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":267896667,"defaultBranch":"master","name":"pegreg","ownerLogin":"jsalzbergedu","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-05-29T15:50:56.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/25715167?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1689710206.0","currentOid":""},"activityList":{"items":[{"before":"225e2f8a3661e6ea033cb01ec57b42b58c6f97e6","after":"6bdc8ceb7b9b5ce1aa437e1b0e4489d2646853d4","ref":"refs/heads/dnmprefixes","pushedAt":"2023-09-19T21:06:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jsalzbergedu","name":"Jacob Salzberg","path":"/jsalzbergedu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25715167?s=80&v=4"},"commit":{"message":"Neg now takes out indefinite .*","shortMessageHtmlLink":"Neg now takes out indefinite .*"}},{"before":"e241d11abeda1a2768a88f1cab6a3dbf0a275d7e","after":"225e2f8a3661e6ea033cb01ec57b42b58c6f97e6","ref":"refs/heads/dnmprefixes","pushedAt":"2023-09-19T15:10:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jsalzbergedu","name":"Jacob Salzberg","path":"/jsalzbergedu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25715167?s=80&v=4"},"commit":{"message":"Add 3rd line","shortMessageHtmlLink":"Add 3rd line"}},{"before":"31749d907201e2b90707778015bbe1f95d802fd5","after":"e241d11abeda1a2768a88f1cab6a3dbf0a275d7e","ref":"refs/heads/dnmprefixes","pushedAt":"2023-09-19T02:31:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jsalzbergedu","name":"Jacob Salzberg","path":"/jsalzbergedu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25715167?s=80&v=4"},"commit":{"message":"Change over poof to be existentially quantified","shortMessageHtmlLink":"Change over poof to be existentially quantified"}},{"before":"b85cba242d49c2ba4a2465cc1109e733c51bc410","after":"31749d907201e2b90707778015bbe1f95d802fd5","ref":"refs/heads/dnmprefixes","pushedAt":"2023-08-02T21:16:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jsalzbergedu","name":"Jacob Salzberg","path":"/jsalzbergedu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25715167?s=80&v=4"},"commit":{"message":"add forward corr. peg","shortMessageHtmlLink":"add forward corr. peg"}},{"before":"2500ca129381b4679ddd2babf9776bb4b7048757","after":"b85cba242d49c2ba4a2465cc1109e733c51bc410","ref":"refs/heads/dnmprefixes","pushedAt":"2023-08-02T21:02:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jsalzbergedu","name":"Jacob Salzberg","path":"/jsalzbergedu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25715167?s=80&v=4"},"commit":{"message":"An untested method: extract peg&reg portions from both halves.","shortMessageHtmlLink":"An untested method: extract peg&reg portions from both halves."}},{"before":"b09c6cd32eba3c9ed645efa01c85600bbba60d3b","after":"2500ca129381b4679ddd2babf9776bb4b7048757","ref":"refs/heads/dnmprefixes","pushedAt":"2023-07-31T17:17:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jsalzbergedu","name":"Jacob Salzberg","path":"/jsalzbergedu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25715167?s=80&v=4"},"commit":{"message":"Realize the error of my ways. Fix thing\n\nOnly when followed by .* does negation correspond to peg.","shortMessageHtmlLink":"Realize the error of my ways. Fix thing"}},{"before":"73481e55110b7c4adc72dd8a7ac9de920a280794","after":"b09c6cd32eba3c9ed645efa01c85600bbba60d3b","ref":"refs/heads/dnmprefixes","pushedAt":"2023-07-29T03:28:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jsalzbergedu","name":"Jacob Salzberg","path":"/jsalzbergedu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25715167?s=80&v=4"},"commit":{"message":"Fix a little bug: in seq. you either fail on prf. or suf.","shortMessageHtmlLink":"Fix a little bug: in seq. you either fail on prf. or suf."}},{"before":"ea64bf59a54ca2a2857ecc89b940c5e15a2afa2e","after":"73481e55110b7c4adc72dd8a7ac9de920a280794","ref":"refs/heads/dnmprefixes","pushedAt":"2023-07-29T03:28:24.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jsalzbergedu","name":"Jacob Salzberg","path":"/jsalzbergedu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25715167?s=80&v=4"},"commit":{"message":"Fix a little bug: we need negate to negate peg1 as well.","shortMessageHtmlLink":"Fix a little bug: we need negate to negate peg1 as well."}},{"before":"6dc20304ff4c86b1f1bf32654cd708ff6ba5d88e","after":"ea64bf59a54ca2a2857ecc89b940c5e15a2afa2e","ref":"refs/heads/dnmprefixes","pushedAt":"2023-07-27T20:31:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jsalzbergedu","name":"Jacob Salzberg","path":"/jsalzbergedu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25715167?s=80&v=4"},"commit":{"message":"Fix mathit on 2","shortMessageHtmlLink":"Fix mathit on 2"}},{"before":"8a079eb7f85dc587f34b1db9fddca928603e8331","after":"6dc20304ff4c86b1f1bf32654cd708ff6ba5d88e","ref":"refs/heads/dnmprefixes","pushedAt":"2023-07-27T20:28:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jsalzbergedu","name":"Jacob Salzberg","path":"/jsalzbergedu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25715167?s=80&v=4"},"commit":{"message":"fix concatenation","shortMessageHtmlLink":"fix concatenation"}},{"before":"a2fbec0bc7872d6c34a17642e92663781411de27","after":"8a079eb7f85dc587f34b1db9fddca928603e8331","ref":"refs/heads/dnmprefixes","pushedAt":"2023-07-23T20:32:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jsalzbergedu","name":"Jacob Salzberg","path":"/jsalzbergedu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25715167?s=80&v=4"},"commit":{"message":"Add back . for more clarity","shortMessageHtmlLink":"Add back . for more clarity"}},{"before":"ac9506ef86406bcb3cdf8e746758c7e83b9014c5","after":"a2fbec0bc7872d6c34a17642e92663781411de27","ref":"refs/heads/dnmprefixes","pushedAt":"2023-07-22T15:40:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jsalzbergedu","name":"Jacob Salzberg","path":"/jsalzbergedu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25715167?s=80&v=4"},"commit":{"message":"Update to make clear . is for concatenation","shortMessageHtmlLink":"Update to make clear . is for concatenation"}},{"before":"521cb8650d0796061fecb484820875afa511ab84","after":"ac9506ef86406bcb3cdf8e746758c7e83b9014c5","ref":"refs/heads/dnmprefixes","pushedAt":"2023-07-22T15:35:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jsalzbergedu","name":"Jacob Salzberg","path":"/jsalzbergedu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25715167?s=80&v=4"},"commit":{"message":"Fix .*","shortMessageHtmlLink":"Fix .*"}},{"before":"ff8ed3effeef770163f804e73d009f6da485bc2c","after":"521cb8650d0796061fecb484820875afa511ab84","ref":"refs/heads/dnmprefixes","pushedAt":"2023-07-21T21:38:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jsalzbergedu","name":"Jacob Salzberg","path":"/jsalzbergedu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25715167?s=80&v=4"},"commit":{"message":"Update PDF","shortMessageHtmlLink":"Update PDF"}},{"before":"29f68411312f103c27999dfe124753fe04d1bf7a","after":"ff8ed3effeef770163f804e73d009f6da485bc2c","ref":"refs/heads/dnmprefixes","pushedAt":"2023-07-20T18:51:26.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jsalzbergedu","name":"Jacob Salzberg","path":"/jsalzbergedu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25715167?s=80&v=4"},"commit":{"message":"remove useless .*","shortMessageHtmlLink":"remove useless .*"}},{"before":null,"after":"29f68411312f103c27999dfe124753fe04d1bf7a","ref":"refs/heads/dnmprefixes","pushedAt":"2023-07-18T19:56:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jsalzbergedu","name":"Jacob Salzberg","path":"/jsalzbergedu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25715167?s=80&v=4"},"commit":{"message":"Make a lot of progress on a new proposed version.\n\nNeeded to backtrack due to the case:\nnot (match P* s) -> not match (PEGREG p* r) s\n\nis not true; the translation of p* can match off the prefix [],\nthen r can take care of s.\n\nMaybe deleting all of the cases where there is no matching emp could\nhelp (all matches mean some characters are consumed)\n\nBut thinking back, what _exactly_ is the problem with deriving a\ncontraction from DNM P* l1 ? Can't you always match to Some ([], l1)?\n\n_NO_, because you need match P l1 = None, but maybe we could try DNM\nall prefixes, then you can always match to that. Of course, that might\nbe odd behavior to the user...","shortMessageHtmlLink":"Make a lot of progress on a new proposed version."}},{"before":"7af555dc1428a0e61d372ff4f0628df761f80309","after":"29f68411312f103c27999dfe124753fe04d1bf7a","ref":"refs/heads/master","pushedAt":"2023-07-18T19:56:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jsalzbergedu","name":"Jacob Salzberg","path":"/jsalzbergedu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25715167?s=80&v=4"},"commit":{"message":"Make a lot of progress on a new proposed version.\n\nNeeded to backtrack due to the case:\nnot (match P* s) -> not match (PEGREG p* r) s\n\nis not true; the translation of p* can match off the prefix [],\nthen r can take care of s.\n\nMaybe deleting all of the cases where there is no matching emp could\nhelp (all matches mean some characters are consumed)\n\nBut thinking back, what _exactly_ is the problem with deriving a\ncontraction from DNM P* l1 ? Can't you always match to Some ([], l1)?\n\n_NO_, because you need match P l1 = None, but maybe we could try DNM\nall prefixes, then you can always match to that. Of course, that might\nbe odd behavior to the user...","shortMessageHtmlLink":"Make a lot of progress on a new proposed version."}},{"before":"46a7e75b5fa288d3050f18290fa73b19176222d9","after":"7af555dc1428a0e61d372ff4f0628df761f80309","ref":"refs/heads/master","pushedAt":"2023-07-13T19:40:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jsalzbergedu","name":"Jacob Salzberg","path":"/jsalzbergedu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25715167?s=80&v=4"},"commit":{"message":"Rework pegreg algo, to one I think probably works.","shortMessageHtmlLink":"Rework pegreg algo, to one I think probably works."}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOS0xOVQyMTowNjowMC4wMDAwMDBazwAAAAOERes_","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOS0xOVQyMTowNjowMC4wMDAwMDBazwAAAAOERes_","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNy0xM1QxOTo0MDozNS4wMDAwMDBazwAAAANVIA8M"}},"title":"Activity · jsalzbergedu/pegreg"}