{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":240902825,"defaultBranch":"master","name":"Philosophy","ownerLogin":"luciangreen","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-02-16T14:10:53.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/15845542?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1581862255.0","currentOid":""},"activityList":{"items":[{"before":"920d08d26b2f201fc1ca7318b8dcbd6de0a94597","after":"71ee809d68d18daff1af9ff6810363d90f2212d9","ref":"refs/heads/master","pushedAt":"2024-07-18T06:08:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"S2A foldr(move_vars_pred)","shortMessageHtmlLink":"S2A foldr(move_vars_pred)"}},{"before":"eb32a1fb0d8012b499ab1556e958e674c264184e","after":"920d08d26b2f201fc1ca7318b8dcbd6de0a94597","ref":"refs/heads/master","pushedAt":"2024-07-17T22:48:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Removed duplicate term_to_brackets","shortMessageHtmlLink":"Removed duplicate term_to_brackets"}},{"before":"3a177c8cedaf0120a1a545fc2dc6e3922d8a4a08","after":"eb32a1fb0d8012b499ab1556e958e674c264184e","ref":"refs/heads/master","pushedAt":"2024-07-17T12:51:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Comment for non-deterministic results","shortMessageHtmlLink":"Comment for non-deterministic results"}},{"before":"466c62355a87481a44984b0d5f585ee933a5c90f","after":"3a177c8cedaf0120a1a545fc2dc6e3922d8a4a08","ref":"refs/heads/master","pushedAt":"2024-07-17T12:20:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Fixed bug in non-deterministic results","shortMessageHtmlLink":"Fixed bug in non-deterministic results"}},{"before":"e433c9af5f2cd7b580442546894e54101b180f9d","after":"466c62355a87481a44984b0d5f585ee933a5c90f","ref":"refs/heads/master","pushedAt":"2024-07-17T01:54:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"a1c7e934e663f1ce9d156761eeeaa72609f604dd","after":"e433c9af5f2cd7b580442546894e54101b180f9d","ref":"refs/heads/master","pushedAt":"2024-07-16T13:57:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Removed comments from S2A test 7","shortMessageHtmlLink":"Removed comments from S2A test 7"}},{"before":"2efae3f007a54c7a929f90a04a4cea675790bf2a","after":"a1c7e934e663f1ce9d156761eeeaa72609f604dd","ref":"refs/heads/master","pushedAt":"2024-07-16T05:26:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"S2A added non-deterministic results","shortMessageHtmlLink":"S2A added non-deterministic results"}},{"before":"9d7b59c6a3c4a7e6d499730fb3403606e8b2863a","after":"2efae3f007a54c7a929f90a04a4cea675790bf2a","ref":"refs/heads/master","pushedAt":"2024-07-16T00:16:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Update term_to_list.pl","shortMessageHtmlLink":"Update term_to_list.pl"}},{"before":"41f7d98b81456fee84a784447fe219aa80842388","after":"9d7b59c6a3c4a7e6d499730fb3403606e8b2863a","ref":"refs/heads/master","pushedAt":"2024-07-16T00:06:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Delete s2a","shortMessageHtmlLink":"Delete s2a"}},{"before":"f7f4066a99d8bf9f54ea371962b18c6ae0a47908","after":"41f7d98b81456fee84a784447fe219aa80842388","ref":"refs/heads/master","pushedAt":"2024-07-16T00:05:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Made S2A algorithm self-contained","shortMessageHtmlLink":"Made S2A algorithm self-contained"}},{"before":"1b0a9b015c59f129712ae16338954dc33ce8747d","after":"f7f4066a99d8bf9f54ea371962b18c6ae0a47908","ref":"refs/heads/master","pushedAt":"2024-07-15T11:05:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Reset to Corrected correspondences of map,\n\nTook r out of algorithm","shortMessageHtmlLink":"Reset to Corrected correspondences of map,"}},{"before":"f1f5053d4a48c7fa6977d598d00fe18791cb9cb0","after":"1b0a9b015c59f129712ae16338954dc33ce8747d","ref":"refs/heads/master","pushedAt":"2024-07-15T06:29:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Unused change in comments","shortMessageHtmlLink":"Unused change in comments"}},{"before":"7f89ef04044fc42cd217d84f2d8251ba95964532","after":"f1f5053d4a48c7fa6977d598d00fe18791cb9cb0","ref":"refs/heads/master","pushedAt":"2024-07-15T04:10:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Inserted cuts in rs_and_data_to_term","shortMessageHtmlLink":"Inserted cuts in rs_and_data_to_term"}},{"before":"423e2a6ee6761546ee031b89502d121b859846b3","after":"7f89ef04044fc42cd217d84f2d8251ba95964532","ref":"refs/heads/master","pushedAt":"2024-07-15T03:41:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Corrected correspondences of map to clauses","shortMessageHtmlLink":"Corrected correspondences of map to clauses"}},{"before":"19d0feb1b12732b436c4bc54f0c172ecefd31e1e","after":"423e2a6ee6761546ee031b89502d121b859846b3","ref":"refs/heads/master","pushedAt":"2024-07-15T01:33:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Turned off tabling","shortMessageHtmlLink":"Turned off tabling"}},{"before":"a60186b28d95d4e2a2ff88d3cecbf46906cba4ec","after":"19d0feb1b12732b436c4bc54f0c172ecefd31e1e","ref":"refs/heads/master","pushedAt":"2024-07-14T14:11:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Added tabling to speed up s2g, s2a","shortMessageHtmlLink":"Added tabling to speed up s2g, s2a"}},{"before":"f0886caf78f209b5d541681a9e9103d72a7073b2","after":"a60186b28d95d4e2a2ff88d3cecbf46906cba4ec","ref":"refs/heads/master","pushedAt":"2024-07-14T00:05:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Update .DS_Store","shortMessageHtmlLink":"Update .DS_Store"}},{"before":"6d5a8a6f7fda9599c9318163ae42ba67d15083bf","after":"f0886caf78f209b5d541681a9e9103d72a7073b2","ref":"refs/heads/master","pushedAt":"2024-07-12T14:14:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Deleted two files","shortMessageHtmlLink":"Deleted two files"}},{"before":"c95e08cee6490d5c3c97ab0921a13b158501e839","after":"6d5a8a6f7fda9599c9318163ae42ba67d15083bf","ref":"refs/heads/master","pushedAt":"2024-07-12T06:17:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"S2A test 18, made strings recursive in CB mode","shortMessageHtmlLink":"S2A test 18, made strings recursive in CB mode"}},{"before":"9a5a17676415198b2152543e7dd4f3a5c0a39930","after":"c95e08cee6490d5c3c97ab0921a13b158501e839","ref":"refs/heads/master","pushedAt":"2024-07-10T04:02:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Fixed bug in single item output","shortMessageHtmlLink":"Fixed bug in single item output"}},{"before":"6288aa4af1325878ea38a006028dc2320aed46b0","after":"9a5a17676415198b2152543e7dd4f3a5c0a39930","ref":"refs/heads/master","pushedAt":"2024-07-10T03:27:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"S2A single item inputs and outputs work","shortMessageHtmlLink":"S2A single item inputs and outputs work"}},{"before":"079a893615fb178f22ef2f8f29364ccafef76c99","after":"6288aa4af1325878ea38a006028dc2320aed46b0","ref":"refs/heads/master","pushedAt":"2024-07-10T02:28:12.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Merge branch 'master' of https://github.com/luciangreen/Philosophy","shortMessageHtmlLink":"Merge branch 'master' of <a href=\"https://github.com/luciangreen/Philosophy\">https://github.com/luciangreen/Philosophy</a>"}},{"before":"654802f2899505a609c510a64cddd6cc80cf0a78","after":"079a893615fb178f22ef2f8f29364ccafef76c99","ref":"refs/heads/master","pushedAt":"2024-07-10T01:17:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"35782097f37c78fb62f34a0b604a292fbd14437a","after":"654802f2899505a609c510a64cddd6cc80cf0a78","ref":"refs/heads/master","pushedAt":"2024-07-10T01:09:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"552d2c1c722ee72788215fedb07bdcef4c25bce0","after":"35782097f37c78fb62f34a0b604a292fbd14437a","ref":"refs/heads/master","pushedAt":"2024-07-09T01:46:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Update spec_to_algorithm.pl","shortMessageHtmlLink":"Update spec_to_algorithm.pl"}},{"before":"9c1bb413165b8b2edb5bbb3097aea093a958a3c2","after":"552d2c1c722ee72788215fedb07bdcef4c25bce0","ref":"refs/heads/master","pushedAt":"2024-07-09T01:43:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Fixed bug in S2A recursive structures","shortMessageHtmlLink":"Fixed bug in S2A recursive structures"}},{"before":"b995a485b43016c46b727d08c61648db90e7f72e","after":"9c1bb413165b8b2edb5bbb3097aea093a958a3c2","ref":"refs/heads/master","pushedAt":"2024-07-09T00:47:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Sped up S2A","shortMessageHtmlLink":"Sped up S2A"}},{"before":"ddef1bb9ea726f7147901a8a4f9b72a773ed5076","after":"b995a485b43016c46b727d08c61648db90e7f72e","ref":"refs/heads/master","pushedAt":"2024-07-09T00:30:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Removed redundant maps","shortMessageHtmlLink":"Removed redundant maps"}},{"before":"2c03c80d6ed15983f1f007ca8048a900cf9a813e","after":"ddef1bb9ea726f7147901a8a4f9b72a773ed5076","ref":"refs/heads/master","pushedAt":"2024-07-08T09:33:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Removed comments in generated S2A algorithm","shortMessageHtmlLink":"Removed comments in generated S2A algorithm"}},{"before":"377b971ae913b3e8bb0ca214890e08de7e06cde9","after":"2c03c80d6ed15983f1f007ca8048a900cf9a813e","ref":"refs/heads/master","pushedAt":"2024-07-08T07:08:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luciangreen","name":"Lucian Green","path":"/luciangreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15845542?s=80&v=4"},"commit":{"message":"Fixed output of S2A generated algorithm","shortMessageHtmlLink":"Fixed output of S2A generated algorithm"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEgowkdQA","startCursor":null,"endCursor":null}},"title":"Activity · luciangreen/Philosophy"}