{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":227711565,"defaultBranch":"main","name":"pyPL","ownerLogin":"nclarius","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-12-12T22:56:27.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/13196860?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1724279694.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"342c0de42dbf93434d76455f94f28e25a5e5f604","ref":"refs/heads/constructin-dev-dev","pushedAt":"2024-08-21T22:34:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"incorporate construction terms into tableau","shortMessageHtmlLink":"incorporate construction terms into tableau"}},{"before":null,"after":"b8cbd4763b9666753f62f7a8fcc22cf864b408e1","ref":"refs/heads/tableau-refactor-applicable-rules","pushedAt":"2024-08-19T00:44:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"refactor rule applicability and appliaction functions","shortMessageHtmlLink":"refactor rule applicability and appliaction functions"}},{"before":"1886150370c5583f74f385e27143c28e5539dc4b","after":"4640495150966c6573caf858020174a85384c94a","ref":"refs/heads/tableau-nary-abortion-condition","pushedAt":"2024-08-18T23:40:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"refine condition for aborting nary rules","shortMessageHtmlLink":"refine condition for aborting nary rules"}},{"before":"a8b9b242616c15ff360c95c4f10df828b000831c","after":"267a218b86430c4d7d47258c34f31b524b497c85","ref":"refs/heads/main","pushedAt":"2024-08-18T23:15:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"add autotests for equality","shortMessageHtmlLink":"add autotests for equality"}},{"before":"63da72ea633e43d6fd01b00845f647a8038f9c9d","after":"a8b9b242616c15ff360c95c4f10df828b000831c","ref":"refs/heads/main","pushedAt":"2024-08-18T23:11:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"fix equality rule","shortMessageHtmlLink":"fix equality rule"}},{"before":null,"after":"35ed2dc999cf3ab1706d759ab1b33932634ad2fd","ref":"refs/heads/tableau-equality","pushedAt":"2024-08-18T23:10:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"fix equality rule","shortMessageHtmlLink":"fix equality rule"}},{"before":"2d2e33cc9146ebad425f045a0c436a5869611fdf","after":"63da72ea633e43d6fd01b00845f647a8038f9c9d","ref":"refs/heads/main","pushedAt":"2024-08-18T02:15:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"mark applicable rules in stepwise tableau output","shortMessageHtmlLink":"mark applicable rules in stepwise tableau output"}},{"before":"63da72ea633e43d6fd01b00845f647a8038f9c9d","after":"2d2e33cc9146ebad425f045a0c436a5869611fdf","ref":"refs/heads/main","pushedAt":"2024-08-18T01:41:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"simplify number of rule types","shortMessageHtmlLink":"simplify number of rule types"}},{"before":"ec678596dd6e04ac6e3ff084d3b52331d7c03487","after":"63da72ea633e43d6fd01b00845f647a8038f9c9d","ref":"refs/heads/main","pushedAt":"2024-08-15T16:44:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"mark applicable rules in stepwise tableau output","shortMessageHtmlLink":"mark applicable rules in stepwise tableau output"}},{"before":"c10f1a93530678cc872c22a8ee2df55ccc69fb8a","after":"ec678596dd6e04ac6e3ff084d3b52331d7c03487","ref":"refs/heads/main","pushedAt":"2024-08-15T16:36:30.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"mark applicable rules in stepwise tableau output","shortMessageHtmlLink":"mark applicable rules in stepwise tableau output"}},{"before":null,"after":"ed50e69549a2a5de1e6c9edf8e376a66d47378fe","ref":"refs/heads/tableau-stepwise-highlight-active","pushedAt":"2024-08-15T13:50:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"highlight source and leaf in stepwise tableau output","shortMessageHtmlLink":"highlight source and leaf in stepwise tableau output"}},{"before":null,"after":"1886150370c5583f74f385e27143c28e5539dc4b","ref":"refs/heads/tableau-nary-abortion-condition","pushedAt":"2024-08-15T01:29:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"refine condition for aborting nary rules","shortMessageHtmlLink":"refine condition for aborting nary rules"}},{"before":"d3b1907b70da67382e1c4774f49a2089dc835d43","after":null,"ref":"refs/heads/tableau-validity-closed","pushedAt":"2024-08-15T01:01:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"}},{"before":"869f5ffaa6ad3f6d6de8fd4f9086cca3ff6975b6","after":"c10f1a93530678cc872c22a8ee2df55ccc69fb8a","ref":"refs/heads/main","pushedAt":"2024-08-15T00:59:57.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"Merge branch 'tableau-validity-closed'","shortMessageHtmlLink":"Merge branch 'tableau-validity-closed'"}},{"before":null,"after":"d3b1907b70da67382e1c4774f49a2089dc835d43","ref":"refs/heads/tableau-validity-closed","pushedAt":"2024-08-15T00:59:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"use closed validity abortion heuristic for satisfiability tableaus","shortMessageHtmlLink":"use closed validity abortion heuristic for satisfiability tableaus"}},{"before":null,"after":"b4afa7248f88b0367682821dc7d2782b7b69da22","ref":"refs/heads/tableau-update-applicable","pushedAt":"2024-08-14T23:42:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"use function to update applicable rules","shortMessageHtmlLink":"use function to update applicable rules"}},{"before":"bcaf9b5a3857be4443f16b9a650e01dd8e609465","after":null,"ref":"refs/heads/sequent-close-condition","pushedAt":"2024-08-14T18:30:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"}},{"before":null,"after":"bcaf9b5a3857be4443f16b9a650e01dd8e609465","ref":"refs/heads/tableau-sequent-close-condition","pushedAt":"2024-08-14T18:29:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"make sure to show contradicting formula in sequent in sequent style","shortMessageHtmlLink":"make sure to show contradicting formula in sequent in sequent style"}},{"before":"980a6fc5e8636d297f03340eb407197a868ad72c","after":null,"ref":"refs/heads/prinout-eval","pushedAt":"2024-08-14T18:27:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"}},{"before":null,"after":"980a6fc5e8636d297f03340eb407197a868ad72c","ref":"refs/heads/denot-printout-eval","pushedAt":"2024-08-14T18:27:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"print out denotation evaluation steps","shortMessageHtmlLink":"print out denotation evaluation steps"}},{"before":null,"after":"21585978aaf31120eaf8d351dc4a7857ef0469b1","ref":"refs/heads/tableau-fix-appl-order","pushedAt":"2024-08-14T18:27:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"support sequent calc in gui","shortMessageHtmlLink":"support sequent calc in gui"}},{"before":null,"after":"4b33492563c7a5f084fca200e20057ece0084ba2","ref":"refs/heads/tableau-efficiency","pushedAt":"2024-08-14T18:25:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"improve efficiency of rule prioritization","shortMessageHtmlLink":"improve efficiency of rule prioritization"}},{"before":"3adce979dc699a52a26bb5d1b8051c3608c205ea","after":null,"ref":"refs/heads/fix-parser-bracketing","pushedAt":"2024-08-14T18:24:58.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"}},{"before":null,"after":"3adce979dc699a52a26bb5d1b8051c3608c205ea","ref":"refs/heads/parser-fix-bracketing","pushedAt":"2024-08-14T18:24:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"fix wrong bracketing parsing","shortMessageHtmlLink":"fix wrong bracketing parsing"}},{"before":null,"after":"34efe6f5b13f360966715c41ec4e6e88ed62d8c4","ref":"refs/heads/parser-nested-quantifiers","pushedAt":"2024-08-14T18:24:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"support multiple quantification in parser","shortMessageHtmlLink":"support multiple quantification in parser"}},{"before":null,"after":"3adce979dc699a52a26bb5d1b8051c3608c205ea","ref":"refs/heads/fix-parser-bracketing","pushedAt":"2024-08-14T18:00:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"fix wrong bracketing parsing","shortMessageHtmlLink":"fix wrong bracketing parsing"}},{"before":null,"after":"bcaf9b5a3857be4443f16b9a650e01dd8e609465","ref":"refs/heads/sequent-close-condition","pushedAt":"2024-08-14T06:14:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"make sure to show contradicting formula in sequent in sequent style","shortMessageHtmlLink":"make sure to show contradicting formula in sequent in sequent style"}},{"before":"15fae5ec1b413b27b9b396a61e70137bfc43bd75","after":"869f5ffaa6ad3f6d6de8fd4f9086cca3ff6975b6","ref":"refs/heads/main","pushedAt":"2024-08-14T05:06:25.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"fix model generation for atomc formulas without propositional variables","shortMessageHtmlLink":"fix model generation for atomc formulas without propositional variables"}},{"before":"29cb0d88c00dcc605209af85ed77ebb168d6d762","after":"15fae5ec1b413b27b9b396a61e70137bfc43bd75","ref":"refs/heads/main","pushedAt":"2024-08-14T05:05:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"fix model generation for atomc formulas without propositional variables","shortMessageHtmlLink":"fix model generation for atomc formulas without propositional variables"}},{"before":"a8a946f654cdfeb1407e5ec397c58c1f9d52f2dd","after":"29cb0d88c00dcc605209af85ed77ebb168d6d762","ref":"refs/heads/main","pushedAt":"2024-08-14T04:53:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nclarius","name":"Natalie Clarius","path":"/nclarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13196860?s=80&v=4"},"commit":{"message":"fix model generation for atomc formulas without propositional variables","shortMessageHtmlLink":"fix model generation for atomc formulas without propositional variables"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEoLFFDwA","startCursor":null,"endCursor":null}},"title":"Activity · nclarius/pyPL"}