{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":131440641,"defaultBranch":"master","name":"TypesAndProofs","ownerLogin":"ptarau","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-04-28T20:06:57.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/13500010?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1524946019.0","currentOid":""},"activityList":{"items":[{"before":"6afa2982c85966486d0c15a3dc4f2719b792eff8","after":"fd67707e065723aefea548436f3ef5daf538c004","ref":"refs/heads/master","pushedAt":"2024-05-22T01:49:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ptarau","name":"Paul Tarau","path":"/ptarau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13500010?s=80&v=4"},"commit":{"message":"enabled compilation of falsifiable conjunctions","shortMessageHtmlLink":"enabled compilation of falsifiable conjunctions"}},{"before":"aa35d2bc0458269c2087d4ae13828d441bb3849b","after":"6afa2982c85966486d0c15a3dc4f2719b792eff8","ref":"refs/heads/master","pushedAt":"2024-05-13T17:12:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ptarau","name":"Paul Tarau","path":"/ptarau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13500010?s=80&v=4"},"commit":{"message":"tailgate example added","shortMessageHtmlLink":"tailgate example added"}},{"before":"4785ac74e7ca69f22167351e25406d100534210e","after":"aa35d2bc0458269c2087d4ae13828d441bb3849b","ref":"refs/heads/master","pushedAt":"2024-05-07T02:43:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ptarau","name":"Paul Tarau","path":"/ptarau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13500010?s=80&v=4"},"commit":{"message":"added symlp folder related to Dual Horn clauses","shortMessageHtmlLink":"added symlp folder related to Dual Horn clauses"}},{"before":"50dfd8673c3ae22740d010f535d8d953a4acec39","after":"4785ac74e7ca69f22167351e25406d100534210e","ref":"refs/heads/master","pushedAt":"2024-03-30T02:38:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ptarau","name":"Paul Tarau","path":"/ptarau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13500010?s=80&v=4"},"commit":{"message":"first cut at dual_lp","shortMessageHtmlLink":"first cut at dual_lp"}},{"before":"e113719674712040d421730950405656c4754e98","after":"50dfd8673c3ae22740d010f535d8d953a4acec39","ref":"refs/heads/master","pushedAt":"2023-12-24T02:41:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ptarau","name":"Paul Tarau","path":"/ptarau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13500010?s=80&v=4"},"commit":{"message":"minor swi syntax fix","shortMessageHtmlLink":"minor swi syntax fix"}},{"before":"2e2431cbc58f35f8a3e3f83e610c745054502403","after":"e113719674712040d421730950405656c4754e98","ref":"refs/heads/master","pushedAt":"2023-06-10T20:58:40.872Z","pushType":"push","commitsCount":1,"pusher":{"login":"ptarau","name":"Paul Tarau","path":"/ptarau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13500010?s=80&v=4"},"commit":{"message":"first cut at intuitionistic horn solver - ihorn.pro","shortMessageHtmlLink":"first cut at intuitionistic horn solver - ihorn.pro"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEUG3-sgA","startCursor":null,"endCursor":null}},"title":"Activity · ptarau/TypesAndProofs"}