{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":21461172,"defaultBranch":"master","name":"imitator","ownerLogin":"imitator-model-checker","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-07-03T12:13:03.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/38470090?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716987890.0","currentOid":""},"activityList":{"items":[{"before":"86d41f244357f82b229ebb15071468691efaae5b","after":"f1925fb640b7b38bd75479401e6401c34e557a2d","ref":"refs/heads/feat/forall_actions","pushedAt":"2024-05-30T22:07:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"tomaz1502","name":"Tomaz Gomes Mascarenhas","path":"/tomaz1502","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42586328?s=80&v=4"},"commit":{"message":"Support for forall in action declarations.","shortMessageHtmlLink":"Support for forall in action declarations."}},{"before":"fe6acf53ebf5e4c6563f88662edf9ff76c192224","after":"b18157f1f44ca05f3ae0bc071884057f1226c3dd","ref":"refs/heads/feat/exist_properties","pushedAt":"2024-05-30T22:06:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomaz1502","name":"Tomaz Gomes Mascarenhas","path":"/tomaz1502","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42586328?s=80&v=4"},"commit":{"message":"Documentation forall/exists in properties file.","shortMessageHtmlLink":"Documentation forall/exists in properties file."}},{"before":"2ac6491a6406eb130a0e3d5c2e53e3fd72320212","after":"fe6acf53ebf5e4c6563f88662edf9ff76c192224","ref":"refs/heads/feat/exist_properties","pushedAt":"2024-05-30T22:06:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"tomaz1502","name":"Tomaz Gomes Mascarenhas","path":"/tomaz1502","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42586328?s=80&v=4"},"commit":{"message":"More refactor on expand_state_factor.","shortMessageHtmlLink":"More refactor on expand_state_factor."}},{"before":"36e8d117231fa2545442da6f95608affdb0e7e38","after":"fc54875c85849b6849ec04ee0468cfe5be448429","ref":"refs/heads/feat/template_properties","pushedAt":"2024-05-30T22:05:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"tomaz1502","name":"Tomaz Gomes Mascarenhas","path":"/tomaz1502","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42586328?s=80&v=4"},"commit":{"message":"Add TODO commentary","shortMessageHtmlLink":"Add TODO commentary"}},{"before":"788f551cdb7c560186a9d39e884eb3df7bb98b7d","after":"86d41f244357f82b229ebb15071468691efaae5b","ref":"refs/heads/feat/forall_actions","pushedAt":"2024-05-30T21:12:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"tomaz1502","name":"Tomaz Gomes Mascarenhas","path":"/tomaz1502","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42586328?s=80&v=4"},"commit":{"message":"Support for forall in action declarations.","shortMessageHtmlLink":"Support for forall in action declarations."}},{"before":"6103fb4705e13f71e81da8db7ac64cdbf69bda1c","after":"2ac6491a6406eb130a0e3d5c2e53e3fd72320212","ref":"refs/heads/feat/exist_properties","pushedAt":"2024-05-30T21:09:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomaz1502","name":"Tomaz Gomes Mascarenhas","path":"/tomaz1502","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42586328?s=80&v=4"},"commit":{"message":"More refactor on expand_state_factor.","shortMessageHtmlLink":"More refactor on expand_state_factor."}},{"before":"698eca7a6eb44023d5369bf92d86a1a5596b4eac","after":"6103fb4705e13f71e81da8db7ac64cdbf69bda1c","ref":"refs/heads/feat/exist_properties","pushedAt":"2024-05-30T20:53:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomaz1502","name":"Tomaz Gomes Mascarenhas","path":"/tomaz1502","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42586328?s=80&v=4"},"commit":{"message":"Show a warning if the range of forall/exists is empty.","shortMessageHtmlLink":"Show a warning if the range of forall/exists is empty."}},{"before":"e83405aa8d71bff1ea84b9012d6848247f4a019d","after":"698eca7a6eb44023d5369bf92d86a1a5596b4eac","ref":"refs/heads/feat/exist_properties","pushedAt":"2024-05-30T20:42:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomaz1502","name":"Tomaz Gomes Mascarenhas","path":"/tomaz1502","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42586328?s=80&v=4"},"commit":{"message":"Refactor on expand_state_factor","shortMessageHtmlLink":"Refactor on expand_state_factor"}},{"before":"f4042c0ecc5d4ce4ccc66f4b6597a2819fec3696","after":null,"ref":"refs/heads/fix/negative_flow","pushedAt":"2024-05-29T13:04:50.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"tomaz1502","name":"Tomaz Gomes Mascarenhas","path":"/tomaz1502","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42586328?s=80&v=4"}},{"before":"19179eb0ec553690a8fff5c3b72ae5a188970ded","after":"b797967bc3a0e563bb15baaf0d7865c8b2373aba","ref":"refs/heads/develop","pushedAt":"2024-05-23T17:08:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mikaelbdj","name":"Mikael Bisgaard Dahlsen-Jensen","path":"/mikaelbdj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47351659?s=80&v=4"},"commit":{"message":"PTG: Simplify code using new hash table class","shortMessageHtmlLink":"PTG: Simplify code using new hash table class"}},{"before":"fe0780cf88faec93ea5777917d26f289306f9bae","after":"19179eb0ec553690a8fff5c3b72ae5a188970ded","ref":"refs/heads/develop","pushedAt":"2024-05-23T17:07:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mikaelbdj","name":"Mikael Bisgaard Dahlsen-Jensen","path":"/mikaelbdj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47351659?s=80&v=4"},"commit":{"message":"Implement a polymorphic hashtable object with default","shortMessageHtmlLink":"Implement a polymorphic hashtable object with default"}},{"before":"35722e00386ed8549355c323818c6482108e98a5","after":"fe0780cf88faec93ea5777917d26f289306f9bae","ref":"refs/heads/develop","pushedAt":"2024-05-23T11:06:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mikaelbdj","name":"Mikael Bisgaard Dahlsen-Jensen","path":"/mikaelbdj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47351659?s=80&v=4"},"commit":{"message":"PTG: Disable controller gen and add new strategy generation","shortMessageHtmlLink":"PTG: Disable controller gen and add new strategy generation"}},{"before":null,"after":"788f551cdb7c560186a9d39e884eb3df7bb98b7d","ref":"refs/heads/feat/forall_actions","pushedAt":"2024-05-22T11:08:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tomaz1502","name":"Tomaz Gomes Mascarenhas","path":"/tomaz1502","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42586328?s=80&v=4"},"commit":{"message":"Support for forall in action declarations.","shortMessageHtmlLink":"Support for forall in action declarations."}},{"before":"e15a964e2e53a898a05a010a0df6d9a489f7ad06","after":"35722e00386ed8549355c323818c6482108e98a5","ref":"refs/heads/develop","pushedAt":"2024-05-21T12:42:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"etienneandre","name":"Étienne André","path":"/etienneandre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8058121?s=80&v=4"},"commit":{"message":"Fix issue in property regeneration (blank space missing) + add final new line in the property file","shortMessageHtmlLink":"Fix issue in property regeneration (blank space missing) + add final …"}},{"before":"726f60966389907ff9a006d2fcf4033cdd76c855","after":null,"ref":"refs/heads/fix/rational_flows","pushedAt":"2024-05-17T11:27:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"etienneandre","name":"Étienne André","path":"/etienneandre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8058121?s=80&v=4"}},{"before":"6b82358397749e2947f14a447a5e5ac9542a380a","after":null,"ref":"refs/heads/template_example_doc","pushedAt":"2024-05-17T11:27:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"etienneandre","name":"Étienne André","path":"/etienneandre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8058121?s=80&v=4"}},{"before":"98c76f5104768167eee45670ad684861cc7b0d9e","after":null,"ref":"refs/heads/chore/test_syntatic_expansions","pushedAt":"2024-05-17T11:25:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"etienneandre","name":"Étienne André","path":"/etienneandre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8058121?s=80&v=4"}},{"before":"c1e74a5b92947f55c5dbd88ce5e60c9ba124a51a","after":"e15a964e2e53a898a05a010a0df6d9a489f7ad06","ref":"refs/heads/develop","pushedAt":"2024-05-17T11:25:45.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"etienneandre","name":"Étienne André","path":"/etienneandre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8058121?s=80&v=4"},"commit":{"message":"Merge pull request #182 from imitator-model-checker/chore/test_syntatic_expansions\n\nnew test checking all syntatic transformations","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2273808058\" data-permission-text=\"Title is private\" data-url=\"https://github.com/imitator-model-checker/imitator/issues/182\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/imitator-model-checker/imitator/pull/182/hovercard\" href=\"https://github.com/imitator-model-checker/imitator/pull/182\">#182</a> from imitator-model-checker/chore/test_syntat…"}},{"before":"71d9b49dea2659e214e9fa3a5af6317bb9e3af8b","after":"c1e74a5b92947f55c5dbd88ce5e60c9ba124a51a","ref":"refs/heads/develop","pushedAt":"2024-05-17T11:23:54.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"etienneandre","name":"Étienne André","path":"/etienneandre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8058121?s=80&v=4"},"commit":{"message":"Merge pull request #183 from imitator-model-checker/template_example_doc\n\nTemplate example doc","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2275060407\" data-permission-text=\"Title is private\" data-url=\"https://github.com/imitator-model-checker/imitator/issues/183\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/imitator-model-checker/imitator/pull/183/hovercard\" href=\"https://github.com/imitator-model-checker/imitator/pull/183\">#183</a> from imitator-model-checker/template_example_doc"}},{"before":"17dfaaff8f86f873c293305e19e26eb9fc6bfe2b","after":"e83405aa8d71bff1ea84b9012d6848247f4a019d","ref":"refs/heads/feat/exist_properties","pushedAt":"2024-05-16T14:26:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomaz1502","name":"Tomaz Gomes Mascarenhas","path":"/tomaz1502","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42586328?s=80&v=4"},"commit":{"message":"Expanding exists.","shortMessageHtmlLink":"Expanding exists."}},{"before":"6728fed2a41a76035a25f19b714ff193eedc3b2f","after":"17dfaaff8f86f873c293305e19e26eb9fc6bfe2b","ref":"refs/heads/feat/exist_properties","pushedAt":"2024-05-16T14:26:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomaz1502","name":"Tomaz Gomes Mascarenhas","path":"/tomaz1502","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42586328?s=80&v=4"},"commit":{"message":"Infrastructure for parsing exists.","shortMessageHtmlLink":"Infrastructure for parsing exists."}},{"before":null,"after":"6728fed2a41a76035a25f19b714ff193eedc3b2f","ref":"refs/heads/feat/exist_properties","pushedAt":"2024-05-16T14:24:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tomaz1502","name":"Tomaz Gomes Mascarenhas","path":"/tomaz1502","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42586328?s=80&v=4"},"commit":{"message":"exists examples","shortMessageHtmlLink":"exists examples"}},{"before":"c0edf660c0e4dc34dd1d1356fa51b8ccc44c4d49","after":"36e8d117231fa2545442da6f95608affdb0e7e38","ref":"refs/heads/feat/template_properties","pushedAt":"2024-05-16T13:37:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomaz1502","name":"Tomaz Gomes Mascarenhas","path":"/tomaz1502","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42586328?s=80&v=4"},"commit":{"message":"Add TODO commentary","shortMessageHtmlLink":"Add TODO commentary"}},{"before":"6953653e62e31462a0ce433fc17e163de43a20b2","after":"c0edf660c0e4dc34dd1d1356fa51b8ccc44c4d49","ref":"refs/heads/feat/template_properties","pushedAt":"2024-05-16T13:26:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomaz1502","name":"Tomaz Gomes Mascarenhas","path":"/tomaz1502","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42586328?s=80&v=4"},"commit":{"message":"Annotating types in Templates.ml","shortMessageHtmlLink":"Annotating types in Templates.ml"}},{"before":"688d6ee865725cdd7432bf3582d68a21090476d3","after":"6953653e62e31462a0ce433fc17e163de43a20b2","ref":"refs/heads/feat/template_properties","pushedAt":"2024-05-16T11:58:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomaz1502","name":"Tomaz Gomes Mascarenhas","path":"/tomaz1502","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42586328?s=80&v=4"},"commit":{"message":"Supporting nested forall.","shortMessageHtmlLink":"Supporting nested forall."}},{"before":"d19335bcccb4ef92ce2395de9e9154af3e54a9c6","after":"688d6ee865725cdd7432bf3582d68a21090476d3","ref":"refs/heads/feat/template_properties","pushedAt":"2024-05-16T11:57:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomaz1502","name":"Tomaz Gomes Mascarenhas","path":"/tomaz1502","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42586328?s=80&v=4"},"commit":{"message":"Examples with nested forall","shortMessageHtmlLink":"Examples with nested forall"}},{"before":"2716a08deffeb0b189a1e4019c217c0d04aafcd9","after":"d19335bcccb4ef92ce2395de9e9154af3e54a9c6","ref":"refs/heads/feat/template_properties","pushedAt":"2024-05-16T10:23:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomaz1502","name":"Tomaz Gomes Mascarenhas","path":"/tomaz1502","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42586328?s=80&v=4"},"commit":{"message":"Expanding forall in properties (simple predicates)","shortMessageHtmlLink":"Expanding forall in properties (simple predicates)"}},{"before":"bac8e02d841b2d2fbe9b7b04eae03916819bbbe2","after":"2716a08deffeb0b189a1e4019c217c0d04aafcd9","ref":"refs/heads/feat/template_properties","pushedAt":"2024-05-16T10:22:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomaz1502","name":"Tomaz Gomes Mascarenhas","path":"/tomaz1502","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42586328?s=80&v=4"},"commit":{"message":"Parsing `forall` in properties","shortMessageHtmlLink":"Parsing <code>forall</code> in properties"}},{"before":"3b1450939acafb039bd81b9cc541f69b57c4d9cd","after":"bac8e02d841b2d2fbe9b7b04eae03916819bbbe2","ref":"refs/heads/feat/template_properties","pushedAt":"2024-05-16T10:20:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomaz1502","name":"Tomaz Gomes Mascarenhas","path":"/tomaz1502","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42586328?s=80&v=4"},"commit":{"message":"fischer example with forall in properties","shortMessageHtmlLink":"fischer example with forall in properties"}},{"before":null,"after":"3b1450939acafb039bd81b9cc541f69b57c4d9cd","ref":"refs/heads/feat/template_properties","pushedAt":"2024-05-14T18:56:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tomaz1502","name":"Tomaz Gomes Mascarenhas","path":"/tomaz1502","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42586328?s=80&v=4"},"commit":{"message":"allowing accesses in state_predicate","shortMessageHtmlLink":"allowing accesses in state_predicate"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEWHZcZQA","startCursor":null,"endCursor":null}},"title":"Activity · imitator-model-checker/imitator"}