{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":244863494,"defaultBranch":"main","name":"tapaal-gui","ownerLogin":"TAPAAL","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-03-04T09:50:20.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/44235005?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1707640720.0","currentOid":""},"activityList":{"items":[{"before":"2ad8c7b518d4ac08b900b47fa26b6443afa6f3be","after":"28b57908bdecc69f1647852276c2f9fa25b85caa","ref":"refs/heads/main","pushedAt":"2024-09-19T15:15:39.000Z","pushType":"pr_merge","commitsCount":8,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Updated the \"About\" page (#176)","shortMessageHtmlLink":"Updated the \"About\" page (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2532057939\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/176\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/176/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/176\">#176</a>)"}},{"before":"31d53e1438baabec9c6967449b18217c0fa5ad26","after":"2ad8c7b518d4ac08b900b47fa26b6443afa6f3be","ref":"refs/heads/main","pushedAt":"2024-09-17T17:59:42.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Multi-core is enabled by default for SMC (#175)","shortMessageHtmlLink":"Multi-core is enabled by default for SMC (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2531390938\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/175\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/175/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/175\">#175</a>)"}},{"before":"0dbf5c4434dfae8903d24ca06f0ed8b94637d5a3","after":"31d53e1438baabec9c6967449b18217c0fa5ad26","ref":"refs/heads/main","pushedAt":"2024-09-17T13:26:48.000Z","pushType":"pr_merge","commitsCount":188,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"SMC features for discrete verification (#150)\n\nIntegration of the SMC features of VerifydTAPN into the GUI. This adds a\r\nnew \"stochastic\" lens dimension.","shortMessageHtmlLink":"SMC features for discrete verification (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2283014678\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/150\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/150/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/150\">#150</a>)"}},{"before":"d067c76656463a0e0a48c6179a8e9163949633e0","after":"0dbf5c4434dfae8903d24ca06f0ed8b94637d5a3","ref":"refs/heads/main","pushedAt":"2024-09-17T13:24:34.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Fixed glitched places having a .all initial marking (#173)\n\nAfter the PR https://github.com/TAPAAL/tapaal-gui/pull/159 that was made\r\nto fix a bug on arcs, a new bug was introduced (described in\r\nhttps://bugs.launchpad.net/tapaal/+bug/2080817).\r\n\r\nIt seems that reversing one of the changes of the PR fixes the new bug\r\nwhile keeping the first fixed","shortMessageHtmlLink":"Fixed glitched places having a .all initial marking (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2528439449\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/173\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/173/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/173\">#173</a>)"}},{"before":"f5d098cd4a7a7f65d8f8e00c282f98e1dce44a9d","after":"d067c76656463a0e0a48c6179a8e9163949633e0","ref":"refs/heads/main","pushedAt":"2024-09-16T19:21:01.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Invalid cast guard dialog - fix 2080865 (#174)\n\nFixes:\r\nhttps://bugs.launchpad.net/tapaal/+bug/2080865","shortMessageHtmlLink":"Invalid cast guard dialog - fix 2080865 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2528768260\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/174\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/174/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/174\">#174</a>)"}},{"before":"54e854b7fe91cab2785432ad90086e36e0ea77e6","after":"f5d098cd4a7a7f65d8f8e00c282f98e1dce44a9d","ref":"refs/heads/main","pushedAt":"2024-09-11T19:56:35.000Z","pushType":"pr_merge","commitsCount":9,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Fixed bugs with dot + better error messages (#167)\n\n+ Fixed bug where dot was not allowed in product type\r\n+ Fixed error messages with dot","shortMessageHtmlLink":"Fixed bugs with dot + better error messages (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2494107656\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/167\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/167/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/167\">#167</a>)"}},{"before":"1b8bf282f0e4f7fd60e7da75326222df5cf53a83","after":"54e854b7fe91cab2785432ad90086e36e0ea77e6","ref":"refs/heads/main","pushedAt":"2024-09-08T18:54:26.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Fixed issue with transitions undoing on errors - fix 2078937 (#172)\n\nFixes the following error for transitions:\r\nhttps://bugs.launchpad.net/tapaal/+bug/2078937","shortMessageHtmlLink":"Fixed issue with transitions undoing on errors - fix 2078937 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2512454138\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/172\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/172/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/172\">#172</a>)"}},{"before":"0ada574ba463e9e4bad57b698e8e4710f7c0704f","after":"1b8bf282f0e4f7fd60e7da75326222df5cf53a83","ref":"refs/heads/main","pushedAt":"2024-09-06T09:31:13.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Fixed bug where some erros in place dialog undos actions - fix 2078937 (#171)\n\nFixes:\r\nhttps://bugs.launchpad.net/tapaal/+bug/2078937","shortMessageHtmlLink":"Fixed bug where some erros in place dialog undos actions - fix 2078937 ("}},{"before":"73134da174ec777fcc194359d69cca56e5f9a6d7","after":"0ada574ba463e9e4bad57b698e8e4710f7c0704f","ref":"refs/heads/main","pushedAt":"2024-09-03T18:35:20.000Z","pushType":"pr_merge","commitsCount":13,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Extreme decreasing in node space is broken - fix 1870892 (#163)\n\nFixes:\r\nhttps://bugs.launchpad.net/tapaal/+bug/1870892\r\n\r\nby adding a minimum distance between nodes of 45\r\n\r\nAdditionally also fixes warping of nets that include arc points other\r\nthan start and end","shortMessageHtmlLink":"Extreme decreasing in node space is broken - fix 1870892 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2486661970\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/163\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/163/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/163\">#163</a>)"}},{"before":"f7c06ac467999992d46d1593a2dccc6cf6efff7f","after":"73134da174ec777fcc194359d69cca56e5f9a6d7","ref":"refs/heads/main","pushedAt":"2024-08-30T17:04:39.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Changed keybind for fit to screen (#170)\n\n+ Changed keybind for fit to screen to avoid conflict with workflow","shortMessageHtmlLink":"Changed keybind for fit to screen (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2497802640\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/170\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/170/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/170\">#170</a>)"}},{"before":"71c572f0a278ea673074881732a5e408636a6526","after":"f7c06ac467999992d46d1593a2dccc6cf6efff7f","ref":"refs/heads/main","pushedAt":"2024-08-30T16:33:02.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Fit model to screen (#168)\n\n+ Added ability to fit the model to the screen with Ctrl + F","shortMessageHtmlLink":"Fit model to screen (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2496604100\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/168\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/168/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/168\">#168</a>)"}},{"before":"aa12e5535ba13b7e15fa510981908f20fa34f4ac","after":"71c572f0a278ea673074881732a5e408636a6526","ref":"refs/heads/main","pushedAt":"2024-08-30T12:03:36.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Fixed issue with arc expressions not showing on input arcs (#169)\n\n+ Arc expressions now show correctly again on input arcs","shortMessageHtmlLink":"Fixed issue with arc expressions not showing on input arcs (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2496683876\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/169\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/169/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/169\">#169</a>)"}},{"before":"c2425635aa8b7345ac80cdd2f2a07fdf0355e725","after":"aa12e5535ba13b7e15fa510981908f20fa34f4ac","ref":"refs/heads/main","pushedAt":"2024-08-29T07:25:55.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Replaced zoom combobox with slider (#166)\n\n+ Replaced combobox with zoom slider with range 40..300","shortMessageHtmlLink":"Replaced zoom combobox with slider (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2492112809\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/166\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/166/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/166\">#166</a>)"}},{"before":"60924cc89c7ec4166c260c600f5b4f4b39232129","after":"c2425635aa8b7345ac80cdd2f2a07fdf0355e725","ref":"refs/heads/main","pushedAt":"2024-08-27T11:47:38.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Place dialog adds undo even if nothing was changed - fix 1870888 (#164)\n\nFixes:\r\nhttps://bugs.launchpad.net/tapaal/+bug/1870888","shortMessageHtmlLink":"Place dialog adds undo even if nothing was changed - fix 1870888 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2488763764\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/164\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/164/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/164\">#164</a>)"}},{"before":"e81963a38d592be470f830cc91e416986652d588","after":"60924cc89c7ec4166c260c600f5b4f4b39232129","ref":"refs/heads/main","pushedAt":"2024-08-27T11:43:04.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Net statistics showing wrong values for transitions/ places after removing orphans - fix 1892354 (#165)\n\nFixes:\r\nhttps://bugs.launchpad.net/tapaal/+bug/1892354","shortMessageHtmlLink":"Net statistics showing wrong values for transitions/ places after rem…"}},{"before":"651b03f9efba9b91a73f8a549706ff947815d593","after":"e81963a38d592be470f830cc91e416986652d588","ref":"refs/heads/main","pushedAt":"2024-08-27T11:29:04.000Z","pushType":"pr_merge","commitsCount":14,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Manual editing of constants (#161)\n\n+ Added dialog to allow manual editing of constants","shortMessageHtmlLink":"Manual editing of constants (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2477660212\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/161\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/161/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/161\">#161</a>)"}},{"before":"ae90bfa9b0a40ccedc7223358af372ff2ebee69f","after":"651b03f9efba9b91a73f8a549706ff947815d593","ref":"refs/heads/main","pushedAt":"2024-08-26T10:40:22.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Resize annotation note is not undoable - fix 1887759 (#162)\n\nFixes:\r\nhttps://bugs.launchpad.net/tapaal/+bug/1887759\r\n\r\nAlso changed command abstract class to interface","shortMessageHtmlLink":"Resize annotation note is not undoable - fix 1887759 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2486430062\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/162\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/162/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/162\">#162</a>)"}},{"before":"c5a4ef450408e1ffbc6f0ddbc1f0f8c1430d9cbd","after":"ae90bfa9b0a40ccedc7223358af372ff2ebee69f","ref":"refs/heads/main","pushedAt":"2024-08-21T09:39:49.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Multiple traces not being exported correctly - fix (#160)\n\nMultiple traces are now correctly exported as a trace-list","shortMessageHtmlLink":"Multiple traces not being exported correctly - fix (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2470379789\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/160\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/160/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/160\">#160</a>)"}},{"before":"84c872d0b7571a066c4a8d979d8b80ec30422e18","after":"c5a4ef450408e1ffbc6f0ddbc1f0f8c1430d9cbd","ref":"refs/heads/main","pushedAt":"2024-08-16T10:50:29.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Infinity intervals toggle not working for colored nets (#158)\n\nFixed infinity intervals not working for colored nets","shortMessageHtmlLink":"Infinity intervals toggle not working for colored nets (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2467828824\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/158\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/158/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/158\">#158</a>)"}},{"before":"fb22a0e38f360f698dc5b730394aa365721625a8","after":"84c872d0b7571a066c4a8d979d8b80ec30422e18","ref":"refs/heads/main","pushedAt":"2024-08-15T14:18:29.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Fixed color type not updating correctly (#159)\n\nFixed problem with color type for .all expressions not being updated\r\ncorrectly\r\n\r\nTo reproduce:\r\nopen colored referrendum and edit the color type, then save and load.","shortMessageHtmlLink":"Fixed color type not updating correctly (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2468049844\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/159\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/159/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/159\">#159</a>)"}},{"before":"53a4fb06de0bd619ed0415021756552782d68467","after":"fb22a0e38f360f698dc5b730394aa365721625a8","ref":"refs/heads/main","pushedAt":"2024-08-15T08:42:49.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Assigned constants remain after removal - fix 2076603 (#157)\n\nFixes following bug for the main branch:\r\nhttps://bugs.launchpad.net/tapaal/+bug/2076603","shortMessageHtmlLink":"Assigned constants remain after removal - fix 2076603 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2463112778\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/157\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/157/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/157\">#157</a>)"}},{"before":"7536bf8b01868e9651bfe0622da73c281f551e86","after":"53a4fb06de0bd619ed0415021756552782d68467","ref":"refs/heads/main","pushedAt":"2024-06-29T09:38:36.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Utilityroom not loading - fix 1967522 (#156)\n\nFixes:\r\nhttps://bugs.launchpad.net/tapaal/+bug/1967522","shortMessageHtmlLink":"Utilityroom not loading - fix 1967522 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2362819061\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/156\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/156/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/156\">#156</a>)"}},{"before":"d51410b7bcc0ae4b435833e3934143daf88f34de","after":"7536bf8b01868e9651bfe0622da73c281f551e86","ref":"refs/heads/main","pushedAt":"2024-06-17T18:37:39.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Outline disappear shared place - fix 1938799 (#155)\n\nFixes:\r\nhttps://bugs.launchpad.net/tapaal/+bug/1938799","shortMessageHtmlLink":"Outline disappear shared place - fix 1938799 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2357958079\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/155\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/155/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/155\">#155</a>)"}},{"before":"25b4c01c241210e9dee8d85d89f5d5dab35f1ebe","after":"d51410b7bcc0ae4b435833e3934143daf88f34de","ref":"refs/heads/main","pushedAt":"2024-06-06T19:31:19.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Places and transitions overlap using automatic layout - fix 2065156 (#153)\n\nFixes:\r\nhttps://bugs.launchpad.net/tapaal/+bug/2065156","shortMessageHtmlLink":"Places and transitions overlap using automatic layout - fix 2065156 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2326670629\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/153\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/153/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/153\">#…</a>"}},{"before":"1e82c2367ce445b2e960df8ad593f01404928229","after":"25b4c01c241210e9dee8d85d89f5d5dab35f1ebe","ref":"refs/heads/main","pushedAt":"2024-06-05T12:53:55.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Raw options bound check fails - fix 2067100 (#151)\n\nFixes:\r\nhttps://bugs.launchpad.net/tapaal/+bug/2067100","shortMessageHtmlLink":"Raw options bound check fails - fix 2067100 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2323677535\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/151\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/151/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/151\">#151</a>)"}},{"before":"92d7fa46a61e4f8c398f5e04736ca24e5341d029","after":"1e82c2367ce445b2e960df8ad593f01404928229","ref":"refs/heads/main","pushedAt":"2024-05-29T20:32:56.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Wrong trace guard - fix 2035755 (#152)\n\nFixes issue with cyclic arcs for:\r\nhttps://bugs.launchpad.net/tapaal/+bug/2035755","shortMessageHtmlLink":"Wrong trace guard - fix 2035755 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2323737646\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/152\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/152/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/152\">#152</a>)"}},{"before":"51c8e222a59b57c781d827b31096c547df8f1887","after":"92d7fa46a61e4f8c398f5e04736ca24e5341d029","ref":"refs/heads/main","pushedAt":"2024-05-24T18:35:08.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Wrong trace workflow analysis - fix 2035755 (#148)\n\nFor:\r\nhttps://bugs.launchpad.net/tapaal/+bug/2035755","shortMessageHtmlLink":"Wrong trace workflow analysis - fix 2035755 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2272427443\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/148\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/148/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/148\">#148</a>)"}},{"before":"0edcdf95e46a1bdbcccb5764d995f18886e9216e","after":"51c8e222a59b57c781d827b31096c547df8f1887","ref":"refs/heads/main","pushedAt":"2024-05-24T18:29:27.000Z","pushType":"pr_merge","commitsCount":12,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Enabled approximation for CPNs (#143)\n\nEnables:\r\nhttps://bugs.launchpad.net/tapaal/+bug/2057970","shortMessageHtmlLink":"Enabled approximation for CPNs (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2211281586\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/143\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/143/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/143\">#143</a>)"}},{"before":"96dc02030b550a57b406f3905cffc256b584322a","after":"0edcdf95e46a1bdbcccb5764d995f18886e9216e","ref":"refs/heads/main","pushedAt":"2024-05-02T11:18:10.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Overapproximation with batchprocessing using verifytapn - fix 2061903 (#147)\n\nFixes:\r\nhttps://bugs.launchpad.net/tapaal/+bug/2061903\r\n\r\nAlso fixes duplicate printing of \"inconclusive\" that occured in some\r\ncases","shortMessageHtmlLink":"Overapproximation with batchprocessing using verifytapn - fix 2061903 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2265637944\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/147\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/147/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/147\">…</a>"}},{"before":"e8237bf6fe9fb8e02dda52f29737e93935f5a5e3","after":"96dc02030b550a57b406f3905cffc256b584322a","ref":"refs/heads/main","pushedAt":"2024-04-19T09:35:56.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"srba","name":null,"path":"/srba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7521926?s=80&v=4"},"commit":{"message":"Batch processing out of bounds exception - fix 2061904 (#145)\n\nFixes:\r\nhttps://bugs.launchpad.net/tapaal/+bug/2061904","shortMessageHtmlLink":"Batch processing out of bounds exception - fix 2061904 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2250906028\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TAPAAL/tapaal-gui/issues/145\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TAPAAL/tapaal-gui/pull/145/hovercard\" href=\"https://github.com/TAPAAL/tapaal-gui/pull/145\">#145</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOVQxNToxNTozOS4wMDAwMDBazwAAAAS7BZgv","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOVQxNToxNTozOS4wMDAwMDBazwAAAAS7BZgv","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNC0xOVQwOTozNTo1Ni4wMDAwMDBazwAAAAQ0_i-3"}},"title":"Activity · TAPAAL/tapaal-gui"}