{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":176689235,"defaultBranch":"main","name":"utap","ownerLogin":"UPPAALModelChecker","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-03-20T08:33:47.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/71254210?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1695306821.0","currentOid":""},"activityList":{"items":[{"before":"03bb4f5a94ece7bf7f19e3e996d62d9554880e8f","after":"1e5c600d147841a67ccd4567705f365ddb36cb6e","ref":"refs/heads/main","pushedAt":"2024-04-12T06:50:16.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Merge pr #74: priorities disable SMC and concrete simulator\n\nLet channel priorities disable SMC and concrete simulator","shortMessageHtmlLink":"Merge pr <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2094149062\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/utap/issues/74\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/utap/pull/74/hovercard\" href=\"https://github.com/UPPAALModelChecker/utap/pull/74\">#74</a>: priorities disable SMC and concrete simulator"}},{"before":"5cb6ea4a32d4e402f9a14a54d79c0c09518ac37a","after":"03bb4f5a94ece7bf7f19e3e996d62d9554880e8f","ref":"refs/heads/main","pushedAt":"2024-04-12T06:24:49.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Merge pr #75: refactor test for feature checker\n\nAdded leak sanitizer and refactored test for feature-checker","shortMessageHtmlLink":"Merge pr <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2237515753\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/utap/issues/75\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/utap/pull/75/hovercard\" href=\"https://github.com/UPPAALModelChecker/utap/pull/75\">#75</a>: refactor test for feature checker"}},{"before":"15acb204838b8dcb622b315806862a483a2eaac7","after":"5cb6ea4a32d4e402f9a14a54d79c0c09518ac37a","ref":"refs/heads/main","pushedAt":"2024-04-12T06:14:21.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Merge pr #76 fix external function call \"has no effect\"\n\nFix \"has no effect\" checking on external function calls","shortMessageHtmlLink":"Merge pr <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2238000601\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/utap/issues/76\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/utap/pull/76/hovercard\" href=\"https://github.com/UPPAALModelChecker/utap/pull/76\">#76</a> fix external function call \"has no effect\""}},{"before":"a571006d7ecaad9b372232cbb9d1bb384b38ca74","after":"15acb204838b8dcb622b315806862a483a2eaac7","ref":"refs/heads/main","pushedAt":"2023-09-21T14:32:03.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Merge pr #69: version increment to 2.1.0\n\nVersion increment to 2.1.0","shortMessageHtmlLink":"Merge pr <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1907120554\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/utap/issues/69\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/utap/pull/69/hovercard\" href=\"https://github.com/UPPAALModelChecker/utap/pull/69\">#69</a>: version increment to 2.1.0"}},{"before":"510a890618e7649c44eb3889c1ddfc255865d62c","after":null,"ref":"refs/heads/libxml2-2.11.5","pushedAt":"2023-09-21T14:24:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"}},{"before":"bf88583c4cc57710ecafbf93e1e30416cc23b9f7","after":"a571006d7ecaad9b372232cbb9d1bb384b38ca74","ref":"refs/heads/main","pushedAt":"2023-09-21T14:24:30.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Merge pr #67: upgrade libxml2-2.11.5 and its mirror\n\nUpdated libxml2 to 2.11.5 and changed source to mirrors","shortMessageHtmlLink":"Merge pr <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1904529781\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/utap/issues/67\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/utap/pull/67/hovercard\" href=\"https://github.com/UPPAALModelChecker/utap/pull/67\">#67</a>: upgrade libxml2-2.11.5 and its mirror"}},{"before":"9ba22087cfa3fc62e79613b0ae42a314cd135acb","after":"510a890618e7649c44eb3889c1ddfc255865d62c","ref":"refs/heads/libxml2-2.11.5","pushedAt":"2023-09-21T14:06:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Switch to github mirror","shortMessageHtmlLink":"Switch to github mirror"}},{"before":"1914e39d41eed373304f48a73d0eaa64fb25f59a","after":"bf88583c4cc57710ecafbf93e1e30416cc23b9f7","ref":"refs/heads/main","pushedAt":"2023-09-21T14:01:41.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Merge pr #65: added bounds query generalizing inf and sup in one check\n\nBounds query to generalize infimum and supremum","shortMessageHtmlLink":"Merge pr <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1900274531\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/utap/issues/65\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/utap/pull/65/hovercard\" href=\"https://github.com/UPPAALModelChecker/utap/pull/65\">#65</a>: added bounds query generalizing inf and sup in one check"}},{"before":null,"after":"9ba22087cfa3fc62e79613b0ae42a314cd135acb","ref":"refs/heads/libxml2-2.11.5","pushedAt":"2023-09-20T08:57:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Updated libxml2 to 2.11.5 and changed source to github mirror as the official gitlab is down","shortMessageHtmlLink":"Updated libxml2 to 2.11.5 and changed source to github mirror as the …"}},{"before":"2ce8a897ce57c9395be9c6f6c5bad480f77ecef9","after":"1914e39d41eed373304f48a73d0eaa64fb25f59a","ref":"refs/heads/main","pushedAt":"2023-09-18T11:41:05.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"thorulf4","name":"Thorulf Neustrup","path":"/thorulf4","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10059450?s=80&v=4"},"commit":{"message":"Merge pull request #66 from thorulf4/increment_version\n\nIncrement version to 2.0.3","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1900719872\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/utap/issues/66\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/utap/pull/66/hovercard\" href=\"https://github.com/UPPAALModelChecker/utap/pull/66\">#66</a> from thorulf4/increment_version"}},{"before":"13e84e06a4b46659f93466de0218e84331a88581","after":"2ce8a897ce57c9395be9c6f6c5bad480f77ecef9","ref":"refs/heads/main","pushedAt":"2023-09-18T11:09:45.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"thorulf4","name":"Thorulf Neustrup","path":"/thorulf4","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10059450?s=80&v=4"},"commit":{"message":"Merge pull request #64 from thorulf4/ternary_operator_fix\n\nFixed issue with type deduced expressions breaking ternary operators","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1898372835\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/utap/issues/64\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/utap/pull/64/hovercard\" href=\"https://github.com/UPPAALModelChecker/utap/pull/64\">#64</a> from thorulf4/ternary_operator_fix"}},{"before":"1b59317d8f21952d3e7bcf5dc82d0337dbe89b14","after":"13e84e06a4b46659f93466de0218e84331a88581","ref":"refs/heads/main","pushedAt":"2023-09-15T07:57:28.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"thorulf4","name":"Thorulf Neustrup","path":"/thorulf4","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10059450?s=80&v=4"},"commit":{"message":"Merge pull request #63 from thorulf4/increment_version\n\nIncrement version to 2.0.2","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1897893841\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/utap/issues/63\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/utap/pull/63/hovercard\" href=\"https://github.com/UPPAALModelChecker/utap/pull/63\">#63</a> from thorulf4/increment_version"}},{"before":"b3a29091e647bbc11329f741d9ccff5877b51120","after":"1b59317d8f21952d3e7bcf5dc82d0337dbe89b14","ref":"refs/heads/main","pushedAt":"2023-09-15T07:42:15.000Z","pushType":"pr_merge","commitsCount":16,"pusher":{"login":"thorulf4","name":"Thorulf Neustrup","path":"/thorulf4","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10059450?s=80&v=4"},"commit":{"message":"Merge pull request #61 from thorulf4/ternery_operator\n\nAllows implicit clock to double conversions in ternary conditional operators during type checking","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1867035581\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/utap/issues/61\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/utap/pull/61/hovercard\" href=\"https://github.com/UPPAALModelChecker/utap/pull/61\">#61</a> from thorulf4/ternery_operator"}},{"before":"b7e7640c31a6b43d754ffb401854d1f2076cd25e","after":"b3a29091e647bbc11329f741d9ccff5877b51120","ref":"refs/heads/main","pushedAt":"2023-09-01T11:58:11.000Z","pushType":"pr_merge","commitsCount":8,"pusher":{"login":"thorulf4","name":"Thorulf Neustrup","path":"/thorulf4","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10059450?s=80&v=4"},"commit":{"message":"Merge pull request #60 from thorulf4/expanded_structs\n\nExpanded structs to support clock and double fields","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1849716322\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/utap/issues/60\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/utap/pull/60/hovercard\" href=\"https://github.com/UPPAALModelChecker/utap/pull/60\">#60</a> from thorulf4/expanded_structs"}},{"before":"b404e657ddabd1bcdcecc683367349b1ca83bfbd","after":"b7e7640c31a6b43d754ffb401854d1f2076cd25e","ref":"refs/heads/main","pushedAt":"2023-08-31T10:46:10.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Merge pr #62: fixed precedence issues between pre-increment and subscript\n\nFixed precedence issues with pre-increment and subscript","shortMessageHtmlLink":"Merge pr <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1873602789\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/utap/issues/62\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/utap/pull/62/hovercard\" href=\"https://github.com/UPPAALModelChecker/utap/pull/62\">#62</a>: fixed precedence issues between pre-increment and subsc…"}},{"before":"52d1348cf142c42ce837b0d65bd3752e3f29ff82","after":"b404e657ddabd1bcdcecc683367349b1ca83bfbd","ref":"refs/heads/main","pushedAt":"2023-08-16T07:22:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Simplified dependency to LibXml2 and updated the version number","shortMessageHtmlLink":"Simplified dependency to LibXml2 and updated the version number"}},{"before":"d44569000b1ffb6ba9947a0e7a33eb8f8dd96c77","after":"52d1348cf142c42ce837b0d65bd3752e3f29ff82","ref":"refs/heads/main","pushedAt":"2023-08-09T10:57:30.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Merge pr #47 which simplifies LSC element memory management\n\nFix double free for lsc models during parsing","shortMessageHtmlLink":"Merge pr <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1596586196\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/utap/issues/47\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/utap/pull/47/hovercard\" href=\"https://github.com/UPPAALModelChecker/utap/pull/47\">#47</a> which simplifies LSC element memory management"}},{"before":"4184492d79fab4314c1c2b232e2d312129f5d9e7","after":"d44569000b1ffb6ba9947a0e7a33eb8f8dd96c77","ref":"refs/heads/main","pushedAt":"2023-07-12T15:35:51.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"thorulf4","name":"Thorulf Neustrup","path":"/thorulf4","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10059450?s=80&v=4"},"commit":{"message":"Merge pull request #57 from thorulf4/add_missing_print_kinds\n\nExhausted remaining enum values in expression_t::print","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1800801555\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/utap/issues/57\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/utap/pull/57/hovercard\" href=\"https://github.com/UPPAALModelChecker/utap/pull/57\">#57</a> from thorulf4/add_missing_print_kinds"}},{"before":"2b6e4e7bc4bc7be811228ebe8e1c28e472e588c4","after":"4184492d79fab4314c1c2b232e2d312129f5d9e7","ref":"refs/heads/main","pushedAt":"2023-07-12T12:55:31.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"thorulf4","name":"Thorulf Neustrup","path":"/thorulf4","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10059450?s=80&v=4"},"commit":{"message":"Merge pull request #58 from mikucionisaau/upgrade-libraries\n\nUpgraded libxml2 and doctest library versions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1800841465\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/utap/issues/58\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/utap/pull/58/hovercard\" href=\"https://github.com/UPPAALModelChecker/utap/pull/58\">#58</a> from mikucionisaau/upgrade-libraries"}},{"before":"e1b8e771a091c28f2bcb2acae4910aa585290cdd","after":"2b6e4e7bc4bc7be811228ebe8e1c28e472e588c4","ref":"refs/heads/main","pushedAt":"2023-07-12T11:04:18.000Z","pushType":"pr_merge","commitsCount":21,"pusher":{"login":"thorulf4","name":"Thorulf Neustrup","path":"/thorulf4","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10059450?s=80&v=4"},"commit":{"message":"Merge pull request #55 from mikucionisaau/fix-strategy-properties\n\nAdded pretty printing of stratego queries","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1713487460\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/utap/issues/55\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/utap/pull/55/hovercard\" href=\"https://github.com/UPPAALModelChecker/utap/pull/55\">#55</a> from mikucionisaau/fix-strategy-properties"}},{"before":"d87774fbd06745907ce8cb80a705008a0837fe4e","after":"e1b8e771a091c28f2bcb2acae4910aa585290cdd","ref":"refs/heads/main","pushedAt":"2023-04-28T14:01:31.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Merge pr #54: refactor smart-pointers for BlockStatement and removed some ';' for error recovery\n\nFixed a double free issue with syntax errors inside functions","shortMessageHtmlLink":"Merge pr <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1678166701\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/utap/issues/54\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/utap/pull/54/hovercard\" href=\"https://github.com/UPPAALModelChecker/utap/pull/54\">#54</a>: refactor smart-pointers for BlockStatement and removed …"}},{"before":"67adcdf1bcddfb1e6956a008fe8b9e3ff5f3b0c3","after":"d87774fbd06745907ce8cb80a705008a0837fe4e","ref":"refs/heads/main","pushedAt":"2023-04-28T13:59:08.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Merge pr #50: revert the shortening of the learning query (added back the goal)\n\nReverted learning query changes","shortMessageHtmlLink":"Merge pr <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1598378567\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/utap/issues/50\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/utap/pull/50/hovercard\" href=\"https://github.com/UPPAALModelChecker/utap/pull/50\">#50</a>: revert the shortening of the learning query (added back…"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAELs27IQA","startCursor":null,"endCursor":null}},"title":"Activity · UPPAALModelChecker/utap"}