{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":516760454,"defaultBranch":"main","name":"viasp","ownerLogin":"potassco","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2022-07-22T13:27:24.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/19286215?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1714185239.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"a52ad0487d74e9871133841b269a42b4fe94c2bb","ref":"refs/heads/WIP/redesign-expand-button3","pushedAt":"2024-04-27T02:33:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Preparation commit for expanding Row\n\nThis commit is a preparation commit for expanding Rows instead of nodes.\nClicking on a row will expand all nodes in that row.\n\nThis commit moves the overflow information to the transformations\ncontext as part of the nodes stored in there. This is necessary to\nmake the values available to the Row component, but also make it\npossible for individual nodes to set their own values using the\nvisisbility Manager.","shortMessageHtmlLink":"Preparation commit for expanding Row"}},{"before":"70b5cbb7d0eefeb4e6f8aa685fdf83d9700bb87a","after":"6c5bd81c4623573b4d3496daee2e36dd3ba0a06e","ref":"refs/heads/WIP/redesign-expand-button","pushedAt":"2024-04-25T22:36:07.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Merge branch 'dev' into WIP/redesign-expand-button","shortMessageHtmlLink":"Merge branch 'dev' into WIP/redesign-expand-button"}},{"before":"19f2382ab3e2792e1617c006be0f270e870f6de1","after":"9cab20743b79c385999bc99f1c20f0813b6d8e13","ref":"refs/heads/dev","pushedAt":"2024-04-25T22:22:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Improve recursion justifier program\n\nThis commit improves the recursion justifier program for showing\ncorrect recursive subgraphs for recursion with choice.\n\nFor example, the rule for a loop recursion with choice is as follows:\n```\n% input rule:\n{b(X)} :- b(X-1), a(X).\n\n% justifier rule:\nh(n,b(X),(b((X-1)),a(X))) :-\n\tmodel(a(X));\n\tmodel(b((X-1)));\n\t@derivable(b(X)) = 1,\n\tnot model(b(X)).\n```\n\nThe addition is the @derivable(b(X)) = 1 condition, which is used to\ncheck if the super-node contains the b(X) symbol. If it is in the super-\nnode, it can be derived. If it is not in the super-node, it cannot be\nderived.\n\nResolves: potassco/viasp#12","shortMessageHtmlLink":"Improve recursion justifier program"}},{"before":null,"after":"9cab20743b79c385999bc99f1c20f0813b6d8e13","ref":"refs/heads/WIP/recursion-with-choice","pushedAt":"2024-04-25T22:21:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Improve recursion justifier program\n\nThis commit improves the recursion justifier program for showing\ncorrect recursive subgraphs for recursion with choice.\n\nFor example, the rule for a loop recursion with choice is as follows:\n```\n% input rule:\n{b(X)} :- b(X-1), a(X).\n\n% justifier rule:\nh(n,b(X),(b((X-1)),a(X))) :-\n\tmodel(a(X));\n\tmodel(b((X-1)));\n\t@derivable(b(X)) = 1,\n\tnot model(b(X)).\n```\n\nThe addition is the @derivable(b(X)) = 1 condition, which is used to\ncheck if the super-node contains the b(X) symbol. If it is in the super-\nnode, it can be derived. If it is not in the super-node, it cannot be\nderived.\n\nResolves: potassco/viasp#12","shortMessageHtmlLink":"Improve recursion justifier program"}},{"before":"1e152bb2667cef61cf0926ead93e162d6eed380d","after":"19f2382ab3e2792e1617c006be0f270e870f6de1","ref":"refs/heads/dev","pushedAt":"2024-04-25T01:20:46.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Unify contexts for faster graph loading\n\nContributes: potassco/viasp#34","shortMessageHtmlLink":"Unify contexts for faster graph loading"}},{"before":"b1813a7a6b649ed09ef9f42f34dd0eb72f4579f9","after":"19f2382ab3e2792e1617c006be0f270e870f6de1","ref":"refs/heads/WIP/simplify-possible-orders","pushedAt":"2024-04-25T01:20:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Unify contexts for faster graph loading\n\nContributes: potassco/viasp#34","shortMessageHtmlLink":"Unify contexts for faster graph loading"}},{"before":"350651f0b0ecaa6dc4374d82368f3977ae777478","after":"b1813a7a6b649ed09ef9f42f34dd0eb72f4579f9","ref":"refs/heads/WIP/simplify-possible-orders","pushedAt":"2024-04-22T23:21:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Use dict of bounds instead of list\n\nMore efficient way to store the possible indices of a transformation.\n\nContributes: potassco/viasp#34","shortMessageHtmlLink":"Use dict of bounds instead of list"}},{"before":"0e92d936baa103d57923e2216c1fc716e7ef3978","after":"350651f0b0ecaa6dc4374d82368f3977ae777478","ref":"refs/heads/WIP/simplify-possible-orders","pushedAt":"2024-04-22T21:26:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Add tests for lazy possible orders calculation\n\nContributes: potassco/viasp#34","shortMessageHtmlLink":"Add tests for lazy possible orders calculation"}},{"before":"722d5a9695bb8077d4e5842504c1d70dd43fbc59","after":"0e92d936baa103d57923e2216c1fc716e7ef3978","ref":"refs/heads/WIP/simplify-possible-orders","pushedAt":"2024-04-22T21:03:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Use RuleContainer to manage rules\n\nThe rule container can be stored in the database, so that the input\nprogram does never need to be parsed again. The Container has both the\nAST representation as well as the string representation of the rules.\n\nWhen the dependency graph is generated, the RuleContainer is created\nfrom the input AST. A rule container can then be merged with another\nto remove cycles/loops in the graph. A component of the viasp graph\nthen contains a RuleContainer.\n\nThis commit contains changes to the whole codebase to reflect the new\nContainer. Tests are updated.\n\nContributes: potassco/viasp#34","shortMessageHtmlLink":"Use RuleContainer to manage rules"}},{"before":"25df4f7cac59c1237422f2814d74d7cbc9f630ae","after":"722d5a9695bb8077d4e5842504c1d70dd43fbc59","ref":"refs/heads/WIP/simplify-possible-orders","pushedAt":"2024-04-16T23:19:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Cleanup duplicate code\n\nContributes: potassco/viasp#34","shortMessageHtmlLink":"Cleanup duplicate code"}},{"before":"1c463dcffe3771d232a994329cdf53ad4beb9f3e","after":"25df4f7cac59c1237422f2814d74d7cbc9f630ae","ref":"refs/heads/WIP/simplify-possible-orders","pushedAt":"2024-04-16T23:02:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Introduce lazy loading of possible orders\n\nThis approach prevents a huge computational load at the beginning of\nthe rendering process. Possible orders are calculated 'lazily', i.e.\nwhen needed.\n\nUpon the initial rendering of the graph, each component (transformation)\nis analyzed in the current (primary) sort order. If the component can\nbe placed at a different index with all other transformations in the\nsame order, this new order is called \"adjacent\" to the current order.\n\nThis index is stored in a component's adjacent_sort_indices attribute.\nAdditionally the hash of this new order is generated and stored in a\nthe graphs database table. A database table \"graph_relations\" stores\nthis adjacency relation between the (current) graph's hash and the\nadjacent graph's hash.\n\nThe frontend doesn't fetch possible orders directly, instead it follows\nthe possible orders defined in the component's attributes. When the user\ndrags a component to a new index, the new index is compared to the list\nof possible indices in the component's adjacent_sort_indices attribute.\n\nIf the new index is in the list of possible indices, the component is\nrepositioned and the information about the moved component is sent to\nthe backend. The backend then calculates the adjacent_sort_indices for\nthe new order.\n\nContributes: potassco/viasp#34","shortMessageHtmlLink":"Introduce lazy loading of possible orders"}},{"before":null,"after":"1c463dcffe3771d232a994329cdf53ad4beb9f3e","ref":"refs/heads/WIP/simplify-possible-orders","pushedAt":"2024-04-13T03:33:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Add algorithm for finding adjacent orders\n\nThis commit adds the first elements for an efficient (lazy) generation\nof possible orders for transformations.\n\nContributes: potassco/viasp#34","shortMessageHtmlLink":"Add algorithm for finding adjacent orders"}},{"before":"2ce41db33b1611e8ca4d69d9a33ca276ae47433c","after":"1e152bb2667cef61cf0926ead93e162d6eed380d","ref":"refs/heads/dev","pushedAt":"2024-04-11T20:43:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Shift Graph Zoom when resizing window\n\nContributes: potassco/viasp#71","shortMessageHtmlLink":"Shift Graph Zoom when resizing window"}},{"before":"269d19c8ee708292e4ba51e5fce4ba33fc639856","after":null,"ref":"refs/heads/WIP/better-zoom-edge-option0","pushedAt":"2024-04-11T20:09:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"}},{"before":"bae4942a7c62837763dbe6ecc36ae07ef23b61d0","after":"2ce41db33b1611e8ca4d69d9a33ca276ae47433c","ref":"refs/heads/dev","pushedAt":"2024-04-11T20:05:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Improve scroll using arrow keys","shortMessageHtmlLink":"Improve scroll using arrow keys"}},{"before":"2c21bbc6941c25df207ac2bf7fa24d13560545a3","after":"70b5cbb7d0eefeb4e6f8aa685fdf83d9700bb87a","ref":"refs/heads/WIP/redesign-expand-button","pushedAt":"2024-04-11T19:55:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Add transparency to button","shortMessageHtmlLink":"Add transparency to button"}},{"before":"a645185f2d811691d24e82743bf753c89399b931","after":"2c21bbc6941c25df207ac2bf7fa24d13560545a3","ref":"refs/heads/WIP/redesign-expand-button","pushedAt":"2024-04-10T19:46:47.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Merge branch 'WIP/redesign-expand-button' of https://github.com/potassco/viasp into WIP/redesign-expand-button","shortMessageHtmlLink":"Merge branch 'WIP/redesign-expand-button' of <a href=\"https://github.com/potassco/viasp\">https://github.com/potas…</a>"}},{"before":null,"after":"bcedd70a943ff6e08523344f911c364469121b40","ref":"refs/heads/WIP/redesign-expand-button2","pushedAt":"2024-04-10T03:47:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Add transparency gradient to lower part of node","shortMessageHtmlLink":"Add transparency gradient to lower part of node"}},{"before":"4af38bf5f492674fbd177d614eaa055f1a6e8504","after":"bae4942a7c62837763dbe6ecc36ae07ef23b61d0","ref":"refs/heads/dev","pushedAt":"2024-04-10T01:18:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Move constant to detail.css","shortMessageHtmlLink":"Move constant to detail.css"}},{"before":"4ad15380e9344b707910b8aff64f8814e9307a04","after":"4af38bf5f492674fbd177d614eaa055f1a6e8504","ref":"refs/heads/dev","pushedAt":"2024-04-10T00:46:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Add signature exception for Boolean Constant","shortMessageHtmlLink":"Add signature exception for Boolean Constant"}},{"before":"017f4a718b8eab4ce17700373ab19b3dd0b24287","after":null,"ref":"refs/heads/BUG/robots","pushedAt":"2024-04-10T00:21:43.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"}},{"before":"1a9374306440609a6940a5155cc19716eae83541","after":null,"ref":"refs/heads/BUG/command-line-jupyter","pushedAt":"2024-04-10T00:21:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"}},{"before":"a8b60571914b1f8641ef34a9720f7f218775b40e","after":"4ad15380e9344b707910b8aff64f8814e9307a04","ref":"refs/heads/dev","pushedAt":"2024-04-09T21:51:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Update packages","shortMessageHtmlLink":"Update packages"}},{"before":"75d6f97b87e7ea1b9f43b04c7b266d61ebc2632d","after":"a8b60571914b1f8641ef34a9720f7f218775b40e","ref":"refs/heads/dev","pushedAt":"2024-04-08T22:55:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Merge branch 'dev' of https://github.com/potassco/viasp into dev","shortMessageHtmlLink":"Merge branch 'dev' of <a href=\"https://github.com/potassco/viasp\">https://github.com/potassco/viasp</a> into dev"}},{"before":"521a1375a20c857399350e599ed963776de16f37","after":"017f4a718b8eab4ce17700373ab19b3dd0b24287","ref":"refs/heads/BUG/robots","pushedAt":"2024-04-08T22:50:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Add requirement for frontend to finish","shortMessageHtmlLink":"Add requirement for frontend to finish"}},{"before":"ea6f3acc708538c917f8af4def811d61c287f368","after":"521a1375a20c857399350e599ed963776de16f37","ref":"refs/heads/BUG/robots","pushedAt":"2024-04-08T22:42:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Move","shortMessageHtmlLink":"Move"}},{"before":"5f963128c663e569836144cfa8a484492716a628","after":"ea6f3acc708538c917f8af4def811d61c287f368","ref":"refs/heads/BUG/robots","pushedAt":"2024-04-08T22:38:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Add viasp_dash as dev dependency","shortMessageHtmlLink":"Add viasp_dash as dev dependency"}},{"before":"06e89b01e9c98992779073945551040e0261996f","after":"5f963128c663e569836144cfa8a484492716a628","ref":"refs/heads/BUG/robots","pushedAt":"2024-04-08T22:07:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Update packages for frontend","shortMessageHtmlLink":"Update packages for frontend"}},{"before":"08c35ab1fc35440eb597fb99563351f6b0dde0a9","after":"06e89b01e9c98992779073945551040e0261996f","ref":"refs/heads/BUG/robots","pushedAt":"2024-04-08T22:04:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Update dependencies in the frontend","shortMessageHtmlLink":"Update dependencies in the frontend"}},{"before":null,"after":"08c35ab1fc35440eb597fb99563351f6b0dde0a9","ref":"refs/heads/BUG/robots","pushedAt":"2024-04-08T21:58:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"stephanzwicknagl","name":"Stephan Zwicknagl","path":"/stephanzwicknagl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64196842?s=80&v=4"},"commit":{"message":"Merge branch 'dev' of https://github.com/potassco/viasp into BUG/robots","shortMessageHtmlLink":"Merge branch 'dev' of <a href=\"https://github.com/potassco/viasp\">https://github.com/potassco/viasp</a> into BUG/robots"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEO6ZjVgA","startCursor":null,"endCursor":null}},"title":"Activity · potassco/viasp"}