{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":589944851,"defaultBranch":"main","name":"uls","ownerLogin":"UPPAALModelChecker","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-01-17T10:05:10.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/71254210?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1700736264.0","currentOid":""},"activityList":{"items":[{"before":"a46516052013924eb233571aeb908a68a9892213","after":"aa45c347a25e8085f16f834137bf00b94a795403","ref":"refs/heads/main","pushedAt":"2023-12-15T08:20:42.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 fix completion of members of anonymous structs (#13)","shortMessageHtmlLink":"Merge fix completion of members of anonymous structs (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2039509401\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/uls/issues/13\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/uls/pull/13/hovercard\" href=\"https://github.com/UPPAALModelChecker/uls/pull/13\">#13</a>)"}},{"before":"d105dee2bb266248cf5733351cf04116e827a508","after":"a46516052013924eb233571aeb908a68a9892213","ref":"refs/heads/main","pushedAt":"2023-12-15T08:03:38.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 fix for  variable suggestions inside automata labels (#12)\n\nFixed issue with template variables not being visible in graph editor","shortMessageHtmlLink":"Merge fix for variable suggestions inside automata labels (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2039484256\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/uls/issues/12\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/uls/pull/12/hovercard\" href=\"https://github.com/UPPAALModelChecker/uls/pull/12\">#12</a>)"}},{"before":"d44b02da6fa5effcdade4aee71e53abc65604fa7","after":"d105dee2bb266248cf5733351cf04116e827a508","ref":"refs/heads/main","pushedAt":"2023-11-23T10:37:44.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 cmake-3.22 compatibility fixes (#9)\n\nMaintain cmake compatibility with ubuntu 22","shortMessageHtmlLink":"Merge cmake-3.22 compatibility fixes (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2003965800\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/uls/issues/9\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/uls/pull/9/hovercard\" href=\"https://github.com/UPPAALModelChecker/uls/pull/9\">#9</a>)"}},{"before":"36f6911839ba6a88dc4b0fe8bab96254857141d9","after":null,"ref":"refs/heads/ccache","pushedAt":"2023-11-17T10:45:07.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":"0ad4c25d76d59419686197dea7edac2550cbc961","after":"d44b02da6fa5effcdade4aee71e53abc65604fa7","ref":"refs/heads/main","pushedAt":"2023-11-17T10:45:04.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 ccache for GH CI pr #7\n\nAdded ccache to GH CI build script","shortMessageHtmlLink":"Merge ccache for GH CI pr <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1998801338\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/uls/issues/7\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/uls/pull/7/hovercard\" href=\"https://github.com/UPPAALModelChecker/uls/pull/7\">#7</a>"}},{"before":"f6e0fbae02bd457295e97c72f39d102eeb4757c7","after":"36f6911839ba6a88dc4b0fe8bab96254857141d9","ref":"refs/heads/ccache","pushedAt":"2023-11-17T10:44:34.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":"Changed the weeks to days in cache keys","shortMessageHtmlLink":"Changed the weeks to days in cache keys"}},{"before":null,"after":"f6e0fbae02bd457295e97c72f39d102eeb4757c7","ref":"refs/heads/ccache","pushedAt":"2023-11-17T10:37:40.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":"Added ccache to GH CI build script","shortMessageHtmlLink":"Added ccache to GH CI build script"}},{"before":"fa00c705315d3b655abdc4c1ca6a5d7fa2defd75","after":null,"ref":"refs/heads/add-license","pushedAt":"2023-11-17T10:25:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"deistools","name":null,"path":"/deistools","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65592866?s=80&v=4"}},{"before":"3162e1bdbadf0e0e55a9eaad3d3425b27b8b9038","after":"0ad4c25d76d59419686197dea7edac2550cbc961","ref":"refs/heads/main","pushedAt":"2023-11-17T10:25:31.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"deistools","name":null,"path":"/deistools","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65592866?s=80&v=4"},"commit":{"message":"Merge license text pr #6\n\nAdded the license text to the repository","shortMessageHtmlLink":"Merge license text pr <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1998762605\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/uls/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/uls/pull/6/hovercard\" href=\"https://github.com/UPPAALModelChecker/uls/pull/6\">#6</a>"}},{"before":"07c2d7beedadc3c525a2ba03245412ebfec40e46","after":"fa00c705315d3b655abdc4c1ca6a5d7fa2defd75","ref":"refs/heads/add-license","pushedAt":"2023-11-17T10:24:47.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":"Abstein from rebuilding if source has not changed","shortMessageHtmlLink":"Abstein from rebuilding if source has not changed"}},{"before":null,"after":"07c2d7beedadc3c525a2ba03245412ebfec40e46","ref":"refs/heads/add-license","pushedAt":"2023-11-17T10:19:58.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":"Added the license text to the repository","shortMessageHtmlLink":"Added the license text to the repository"}},{"before":"7097e518d512cec2c4f0efa8f6a9de21d72ff094","after":"3162e1bdbadf0e0e55a9eaad3d3425b27b8b9038","ref":"refs/heads/main","pushedAt":"2023-11-14T07:14:23.000Z","pushType":"pr_merge","commitsCount":9,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Merge compliant json response messages PR #1\n\nChanged Json to match Response refactor","shortMessageHtmlLink":"Merge compliant json response messages PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1891932174\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/uls/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/uls/pull/1/hovercard\" href=\"https://github.com/UPPAALModelChecker/uls/pull/1\">#1</a>"}},{"before":"9486e315e12df9a96c63a403433f7e519b11cd71","after":null,"ref":"refs/heads/fix-werror","pushedAt":"2023-10-17T09:42:21.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":"9d88419f8424e581dfbe9e99ee5a989e2c3b97cb","after":"7097e518d512cec2c4f0efa8f6a9de21d72ff094","ref":"refs/heads/main","pushedAt":"2023-10-17T09:42:17.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Merge option for werror and improved build scripts pr #4 from UPPAALModelChecker/fix-werror\n\nAdded compile.sh build script and toolchain files, made `-Werror` optional","shortMessageHtmlLink":"Merge option for werror and improved build scripts pr <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1946844096\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/uls/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/uls/pull/4/hovercard\" href=\"https://github.com/UPPAALModelChecker/uls/pull/4\">#4</a> from UPPAALM…"}},{"before":"ec5ef8a159358d4bc7913881373f5c238f3e6bc2","after":"9486e315e12df9a96c63a403433f7e519b11cd71","ref":"refs/heads/fix-werror","pushedAt":"2023-10-17T09:14:23.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":"restructured the command finding","shortMessageHtmlLink":"restructured the command finding"}},{"before":"606b02a614b7081caef6aaf72cfaf1d5bd642efe","after":"ec5ef8a159358d4bc7913881373f5c238f3e6bc2","ref":"refs/heads/fix-werror","pushedAt":"2023-10-17T08:37:28.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":"Fixed GCC13 spurious warning","shortMessageHtmlLink":"Fixed GCC13 spurious warning"}},{"before":"03167cf239175d4f25fb641239ce706d40b80e92","after":"606b02a614b7081caef6aaf72cfaf1d5bd642efe","ref":"refs/heads/fix-werror","pushedAt":"2023-10-17T08:30:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Added compile.sh build script and toolchain files, made `-Werror` optional, updated GH CI","shortMessageHtmlLink":"Added compile.sh build script and toolchain files, made <code>-Werror</code> opt…"}},{"before":null,"after":"03167cf239175d4f25fb641239ce706d40b80e92","ref":"refs/heads/fix-werror","pushedAt":"2023-10-17T08:20:14.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":"Added compile.sh build script and toolchain files, made `-Werror` optional.","shortMessageHtmlLink":"Added compile.sh build script and toolchain files, made <code>-Werror</code> opt…"}},{"before":"68ed6adb731b2a8e1196b69102b23f73d1a405a9","after":"9d88419f8424e581dfbe9e99ee5a989e2c3b97cb","ref":"refs/heads/main","pushedAt":"2023-10-11T11:53:46.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 #2 from thorulf4/fix_find_process\n\nFixed issue where template name would cause bad lookup","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1926076202\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/uls/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/uls/pull/2/hovercard\" href=\"https://github.com/UPPAALModelChecker/uls/pull/2\">#2</a> from thorulf4/fix_find_process"}},{"before":"ddf4e7e2b97fbf7154ba83fd852a0daa9654689c","after":"68ed6adb731b2a8e1196b69102b23f73d1a405a9","ref":"refs/heads/main","pushedAt":"2023-10-11T11:21:29.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 #3 from thorulf4/add_functions\n\nAdded built in functions to autocomplete","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1932896564\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UPPAALModelChecker/uls/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UPPAALModelChecker/uls/pull/3/hovercard\" href=\"https://github.com/UPPAALModelChecker/uls/pull/3\">#3</a> from thorulf4/add_functions"}},{"before":"60c3a29eb7f8bd5d11e34c463fc8a6868e3427ca","after":"ddf4e7e2b97fbf7154ba83fd852a0daa9654689c","ref":"refs/heads/main","pushedAt":"2023-09-20T09:52:06.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":"Minor improvements to cmake scripts\n- added DOWNLOAD_EXTRACT_TIMESTAMP to nlohmann.cmake to reduce cmake noise\n- set the minimum cmake version to 3.22 to match Ubuntu 22.04 (current on GH CI)\n- renamed TESTING to ULS_WITH_TESTS and enabled by default","shortMessageHtmlLink":"Minor improvements to cmake scripts"}},{"before":"40fff8656046fc98e217e7adcada231f1d05b023","after":"60c3a29eb7f8bd5d11e34c463fc8a6868e3427ca","ref":"refs/heads/main","pushedAt":"2023-09-20T09:44:21.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":"Changed UTAP location which has fixed libxml2 location, plus some minor cmake improvements","shortMessageHtmlLink":"Changed UTAP location which has fixed libxml2 location, plus some min…"}},{"before":"c4e1e9f4e4e1adf92fb1d45ce739742440ef5b8e","after":"40fff8656046fc98e217e7adcada231f1d05b023","ref":"refs/heads/main","pushedAt":"2023-08-31T13:19:36.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":"Minor improvements with move semantics and PIC/PIE compiler flag","shortMessageHtmlLink":"Minor improvements with move semantics and PIC/PIE compiler flag"}},{"before":"9c3249b3e4b2600d862292160c8ef7ba9119fe51","after":"c4e1e9f4e4e1adf92fb1d45ce739742440ef5b8e","ref":"refs/heads/main","pushedAt":"2023-08-14T10:46:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thorulf4","name":"Thorulf Neustrup","path":"/thorulf4","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10059450?s=80&v=4"},"commit":{"message":"Enabled tests in CI","shortMessageHtmlLink":"Enabled tests in CI"}},{"before":"05bfe039c239a0f2281c1085060197dfedf4701d","after":"9c3249b3e4b2600d862292160c8ef7ba9119fe51","ref":"refs/heads/main","pushedAt":"2023-08-11T08:20:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thorulf4","name":"Thorulf Neustrup","path":"/thorulf4","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10059450?s=80&v=4"},"commit":{"message":"Create build-test.yml","shortMessageHtmlLink":"Create build-test.yml"}},{"before":"56983276506ddd9e9b685156810a3ead0a99864e","after":"05bfe039c239a0f2281c1085060197dfedf4701d","ref":"refs/heads/main","pushedAt":"2023-08-11T08:19:22.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"thorulf4","name":"Thorulf Neustrup","path":"/thorulf4","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10059450?s=80&v=4"},"commit":{"message":"Exclude doctest from install","shortMessageHtmlLink":"Exclude doctest from install"}},{"before":"770721326c9651db275233733c8126e821c6b377","after":"56983276506ddd9e9b685156810a3ead0a99864e","ref":"refs/heads/main","pushedAt":"2023-08-09T10:54:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thorulf4","name":"Thorulf Neustrup","path":"/thorulf4","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10059450?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"af336566d81996b9c4c6bfcebcc7ee250ee748ba","after":"770721326c9651db275233733c8126e821c6b377","ref":"refs/heads/main","pushedAt":"2023-08-09T09:27:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thorulf4","name":"Thorulf Neustrup","path":"/thorulf4","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10059450?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"f905640a948c4786934f8ea95e63326466fa5f08","after":"af336566d81996b9c4c6bfcebcc7ee250ee748ba","ref":"refs/heads/main","pushedAt":"2023-08-09T08:38:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thorulf4","name":"Thorulf Neustrup","path":"/thorulf4","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10059450?s=80&v=4"},"commit":{"message":"Removed some dead code","shortMessageHtmlLink":"Removed some dead code"}},{"before":"ca2e22ac4f7077846c4a74ac93187bbc1090aa0c","after":"f905640a948c4786934f8ea95e63326466fa5f08","ref":"refs/heads/main","pushedAt":"2023-08-09T08:25:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thorulf4","name":"Thorulf Neustrup","path":"/thorulf4","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10059450?s=80&v=4"},"commit":{"message":"Formatted project","shortMessageHtmlLink":"Formatted project"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADywj20gA","startCursor":null,"endCursor":null}},"title":"Activity · UPPAALModelChecker/uls"}