{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":128542478,"defaultBranch":"master","name":"mCRL2","ownerLogin":"mCRL2org","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-04-07T15:35:53.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/38288551?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716985294.0","currentOid":""},"activityList":{"items":[{"before":"f7bc49834c78c0e57f9d0483156005c5129f7b70","after":"68b5b1264656643559e3fc26d7aeda0af9116ea9","ref":"refs/heads/master","pushedAt":"2024-06-07T17:38:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jgroote","name":"Jan Friso Groote","path":"/jgroote","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9032656?s=80&v=4"},"commit":{"message":"Added a little more implementation.","shortMessageHtmlLink":"Added a little more implementation."}},{"before":"582b47a6e86e5f6689b6add2b9d684fc4c1f78cd","after":"f7bc49834c78c0e57f9d0483156005c5129f7b70","ref":"refs/heads/master","pushedAt":"2024-06-07T13:42:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mlaveaux","name":"Maurice Laveaux","path":"/mlaveaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2884328?s=80&v=4"},"commit":{"message":"Fixed an issue in random_testing.py","shortMessageHtmlLink":"Fixed an issue in random_testing.py"}},{"before":"4e0b92a9323c06c7b3dd6fc35609d3d334cfb9dc","after":"582b47a6e86e5f6689b6add2b9d684fc4c1f78cd","ref":"refs/heads/master","pushedAt":"2024-06-06T19:04:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jgroote","name":"Jan Friso Groote","path":"/jgroote","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9032656?s=80&v=4"},"commit":{"message":"Added a little bit of code to a new experimental branching bisimulation algorithm.","shortMessageHtmlLink":"Added a little bit of code to a new experimental branching bisimulati…"}},{"before":"1711f0dc0535af5d1530d82425d00df12f0689fb","after":"4e0b92a9323c06c7b3dd6fc35609d3d334cfb9dc","ref":"refs/heads/master","pushedAt":"2024-06-06T17:20:04.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"mlaveaux","name":"Maurice Laveaux","path":"/mlaveaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2884328?s=80&v=4"},"commit":{"message":"Added some preliminary pressolve tests, comparing it to pbessolve.","shortMessageHtmlLink":"Added some preliminary pressolve tests, comparing it to pbessolve."}},{"before":"945657ce962a4dd19b5edb3ee497d309a5be49fc","after":"1711f0dc0535af5d1530d82425d00df12f0689fb","ref":"refs/heads/master","pushedAt":"2024-06-06T11:57:19.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mlaveaux","name":"Maurice Laveaux","path":"/mlaveaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2884328?s=80&v=4"},"commit":{"message":"only replace the transition system after we conclude that states are not branching bisimilar","shortMessageHtmlLink":"only replace the transition system after we conclude that states are …"}},{"before":"7928a2d1d7d2fdd610d2347923caa25cd43843fb","after":"945657ce962a4dd19b5edb3ee497d309a5be49fc","ref":"refs/heads/master","pushedAt":"2024-06-05T20:40:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jgroote","name":"Jan Friso Groote","path":"/jgroote","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9032656?s=80&v=4"},"commit":{"message":"Started with a new experimental implementation of a branching bisimulation algorithm.\n\nThis new algorithm works directly on LTSs (with action labels) but it\ndoes not require the elaborate bunch data structure as in in the JGKW\nalgorithm.","shortMessageHtmlLink":"Started with a new experimental implementation of a branching bisimul…"}},{"before":"bfeac3eaadc09a6e477f085cbc505ef3f4c6af9c","after":"7928a2d1d7d2fdd610d2347923caa25cd43843fb","ref":"refs/heads/master","pushedAt":"2024-06-05T09:32:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mlaveaux","name":"Maurice Laveaux","path":"/mlaveaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2884328?s=80&v=4"},"commit":{"message":"Temporarily disabled the hidden map tests.","shortMessageHtmlLink":"Temporarily disabled the hidden map tests."}},{"before":"f3a7cea09cae9137839a2c1b35996d3b16e7ecbb","after":"bfeac3eaadc09a6e477f085cbc505ef3f4c6af9c","ref":"refs/heads/master","pushedAt":"2024-06-04T15:31:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mlaveaux","name":"Maurice Laveaux","path":"/mlaveaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2884328?s=80&v=4"},"commit":{"message":"Removed a useless define, and nonexisting header.","shortMessageHtmlLink":"Removed a useless define, and nonexisting header."}},{"before":"01b78fb14f01fff924e23d93aaab5be20deb9daf","after":"f3a7cea09cae9137839a2c1b35996d3b16e7ecbb","ref":"refs/heads/master","pushedAt":"2024-06-04T13:39:54.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"mlaveaux","name":"Maurice Laveaux","path":"/mlaveaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2884328?s=80&v=4"},"commit":{"message":"Updated the ltsmin docker to the latest version.","shortMessageHtmlLink":"Updated the ltsmin docker to the latest version."}},{"before":"42c12a8ff858a8e4a043c65fe69483c49eb4a441","after":"01b78fb14f01fff924e23d93aaab5be20deb9daf","ref":"refs/heads/master","pushedAt":"2024-06-04T11:27:30.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"mlaveaux","name":"Maurice Laveaux","path":"/mlaveaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2884328?s=80&v=4"},"commit":{"message":"Fixed missing override warnings in GUI tools.","shortMessageHtmlLink":"Fixed missing override warnings in GUI tools."}},{"before":"44c65022bd4f68cb1606a7c1fff26cfed0378a12","after":"42c12a8ff858a8e4a043c65fe69483c49eb4a441","ref":"refs/heads/master","pushedAt":"2024-06-03T12:13:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jgroote","name":"Jan Friso Groote","path":"/jgroote","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9032656?s=80&v=4"},"commit":{"message":"Changed \"turns\" into \"rounds\" in the slot machine example.","shortMessageHtmlLink":"Changed \"turns\" into \"rounds\" in the slot machine example."}},{"before":"4f358d6f843e236b6aa782fac0a3b2e55563fb74","after":"44c65022bd4f68cb1606a7c1fff26cfed0378a12","ref":"refs/heads/master","pushedAt":"2024-06-03T09:10:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jgroote","name":"Jan Friso Groote","path":"/jgroote","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9032656?s=80&v=4"},"commit":{"message":"Added the name of Frederik Gosewehr to the AI generated mCRL2 song.","shortMessageHtmlLink":"Added the name of Frederik Gosewehr to the AI generated mCRL2 song."}},{"before":"2c1989766e1f48725f02669ece7d7cb53ebd3e96","after":"4f358d6f843e236b6aa782fac0a3b2e55563fb74","ref":"refs/heads/master","pushedAt":"2024-06-02T14:03:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jgroote","name":"Jan Friso Groote","path":"/jgroote","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9032656?s=80&v=4"},"commit":{"message":"Repaired a translation error in forall/exists in modal formulas\n\nThe examples tests revealed a type error. An exists/forall\nfor an action formula was transformed into an exists/forall in a\nstate formula while applying a substitution. This is now repaired.","shortMessageHtmlLink":"Repaired a translation error in forall/exists in modal formulas"}},{"before":"ed045c2095928fc348624abea2de7e4ff3de97d1","after":"2c1989766e1f48725f02669ece7d7cb53ebd3e96","ref":"refs/heads/master","pushedAt":"2024-06-01T16:32:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jgroote","name":"Jan Friso Groote","path":"/jgroote","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9032656?s=80&v=4"},"commit":{"message":"Reference to the Parallel Rhapsody on the webpage.","shortMessageHtmlLink":"Reference to the Parallel Rhapsody on the webpage."}},{"before":"b03c033ac62c5460f9e3d98fefedb0b982aadb3f","after":"ed045c2095928fc348624abea2de7e4ff3de97d1","ref":"refs/heads/master","pushedAt":"2024-05-30T14:52:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mlaveaux","name":"Maurice Laveaux","path":"/mlaveaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2884328?s=80&v=4"},"commit":{"message":"Made --check-only of lps2pbes a visible option, fixes #1761","shortMessageHtmlLink":"Made --check-only of lps2pbes a visible option, <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #1761.\">fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2225037587\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mCRL2org/mCRL2/issues/1761\" data-hovercard-type=\"issue\" data-hovercard-url=\"/mCRL2org/mCRL2/issues/1761/hovercard\" href=\"https://github.com/mCRL2org/mCRL2/issues/1761\">#1761</a>"}},{"before":"50668c58c01233f4d8cf045ed10e12f4c1763ed2","after":"b03c033ac62c5460f9e3d98fefedb0b982aadb3f","ref":"refs/heads/master","pushedAt":"2024-05-30T14:12:13.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mlaveaux","name":"Maurice Laveaux","path":"/mlaveaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2884328?s=80&v=4"},"commit":{"message":"Fixed the ltsconvertsymbolic test.","shortMessageHtmlLink":"Fixed the ltsconvertsymbolic test."}},{"before":"c8c4f31fcb5f259cd86457217231388d780c30c8","after":"50668c58c01233f4d8cf045ed10e12f4c1763ed2","ref":"refs/heads/master","pushedAt":"2024-05-30T12:31:15.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"mlaveaux","name":"Maurice Laveaux","path":"/mlaveaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2884328?s=80&v=4"},"commit":{"message":"[diagraphica] Renamed Selecting to Marking.","shortMessageHtmlLink":"[diagraphica] Renamed Selecting to Marking."}},{"before":"6ba7544363bf91ed8225d5e45942bb8b9e8450c8","after":"c8c4f31fcb5f259cd86457217231388d780c30c8","ref":"refs/heads/master","pushedAt":"2024-05-30T12:20:25.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"mlaveaux","name":"Maurice Laveaux","path":"/mlaveaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2884328?s=80&v=4"},"commit":{"message":"Added a test to show that bisim counterexample is wrong with --tau","shortMessageHtmlLink":"Added a test to show that bisim counterexample is wrong with --tau"}},{"before":"7830634131923b7223ac6b3e7189017776593956","after":"6ba7544363bf91ed8225d5e45942bb8b9e8450c8","ref":"refs/heads/master","pushedAt":"2024-05-30T09:30:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jgroote","name":"Jan Friso Groote","path":"/jgroote","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9032656?s=80&v=4"},"commit":{"message":"Resolved a failing examples test.\n\nThe sultan of persia examples test failed in debug mode.\nThe problem turned out to be that the initial pres variable was\nnot normalized. This meant that substitutions not in normal form\nwere entered. As the rewriter asssumes that terms are in normal\nform, this caused the rewriter to not always work properly.\n\nAlso removed som superfluous code from the pres simplify_rewriter.","shortMessageHtmlLink":"Resolved a failing examples test."}},{"before":"f32e9c53cacee0e4282c21547c0f1ede5b95dd8a","after":null,"ref":"refs/heads/machine_number","pushedAt":"2024-05-29T12:21:34.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mlaveaux","name":"Maurice Laveaux","path":"/mlaveaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2884328?s=80&v=4"}},{"before":"ce6a16b46378efb48f5929b6308d6963fc9f1582","after":null,"ref":"refs/heads/feature/aterm_appl","pushedAt":"2024-05-27T15:01:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mlaveaux","name":"Maurice Laveaux","path":"/mlaveaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2884328?s=80&v=4"}},{"before":"81d3be5dce9cce3fa1a11202be12818c253a28df","after":"7830634131923b7223ac6b3e7189017776593956","ref":"refs/heads/master","pushedAt":"2024-05-27T14:59:07.000Z","pushType":"pr_merge","commitsCount":63,"pusher":{"login":"mlaveaux","name":"Maurice Laveaux","path":"/mlaveaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2884328?s=80&v=4"},"commit":{"message":"Implement Nat by machine represented integers (#1752)\n\nThis branch replaces the rewrite systems for positive and natural numbers\r\nbased on a binary number representation (using the constructor @cdub)\r\nby a representation based on 64 bit machine numbers.\r\n\r\nThe major changes are:\r\n- Made aterm_appl the base aterm, and made everything else inherit from\r\nthis.\r\n - The addition of a \"machine_number\" to data_expressions.\r\n- The addition of the the keywords \"defined_by_rewrite_rules\" to\r\nindicate that a mapping or constructor is defined by explicit C++ code.\r\n- An adaption of the jitty and jittyc rewrite systems to recognise that\r\na function symbol is implemented by explicit code.\r\n- Addition of a file machine_word.spec defining operations on machine\r\nnumbers.\r\n- A replacement of the files pos.spec and nat.spec by a new version that\r\nemploys machine numbers.\r\n- A new test to test that large numbers (with up to a hundred decimal\r\ndigits) are correctly calculated.\r\n\r\nFrom the perspective of mCRL2 users the changes should be completely\r\ntransparent, except that the performance is changing, sometimes appr.\r\n10% slower (esp. the jitty rewriter), sometimes many hundreds of times\r\nfaster (jittyc rewriter, for instance calculating 100000!).","shortMessageHtmlLink":"Implement Nat by machine represented integers (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2171540835\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mCRL2org/mCRL2/issues/1752\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mCRL2org/mCRL2/pull/1752/hovercard\" href=\"https://github.com/mCRL2org/mCRL2/pull/1752\">#1752</a>)"}},{"before":"d2bb423306d005d4d35834a229b986f5e26159fd","after":"81d3be5dce9cce3fa1a11202be12818c253a28df","ref":"refs/heads/master","pushedAt":"2024-05-27T09:51:12.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mlaveaux","name":"Maurice Laveaux","path":"/mlaveaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2884328?s=80&v=4"},"commit":{"message":"Fixed a typo in script","shortMessageHtmlLink":"Fixed a typo in script"}},{"before":"ba773737449db01fe0dc84ff79e9a9de7968294b","after":"d2bb423306d005d4d35834a229b986f5e26159fd","ref":"refs/heads/master","pushedAt":"2024-05-26T16:59:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mlaveaux","name":"Maurice Laveaux","path":"/mlaveaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2884328?s=80&v=4"},"commit":{"message":"Added the -rjittyc flag to one example using it.","shortMessageHtmlLink":"Added the -rjittyc flag to one example using it."}},{"before":"4abf4569c07ed645401594025f83321fabb139f6","after":"ba773737449db01fe0dc84ff79e9a9de7968294b","ref":"refs/heads/master","pushedAt":"2024-05-26T12:16:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mlaveaux","name":"Maurice Laveaux","path":"/mlaveaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2884328?s=80&v=4"},"commit":{"message":"Actually kill all the children explicitly as otherwise they block the sigterm.","shortMessageHtmlLink":"Actually kill all the children explicitly as otherwise they block the…"}},{"before":"cbd0f0b96dedd122f4cd11f268828211a105f0c8","after":"4abf4569c07ed645401594025f83321fabb139f6","ref":"refs/heads/master","pushedAt":"2024-05-25T11:40:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mlaveaux","name":"Maurice Laveaux","path":"/mlaveaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2884328?s=80&v=4"},"commit":{"message":"Do not hide the final output in the quoridor example.","shortMessageHtmlLink":"Do not hide the final output in the quoridor example."}},{"before":"73726159d837c4c0b737ba469c5667143d862993","after":"cbd0f0b96dedd122f4cd11f268828211a105f0c8","ref":"refs/heads/master","pushedAt":"2024-05-24T15:18:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mlaveaux","name":"Maurice Laveaux","path":"/mlaveaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2884328?s=80&v=4"},"commit":{"message":"Apparently timeout neither works properly nor actually kills the process\n\n * For whatever braindamage reason the timeout feature of subprocess does\n   not work properly on Windows. There are vague hints to this in the\n   the documentation, but not for the method that I was using.","shortMessageHtmlLink":"Apparently timeout neither works properly nor actually kills the process"}},{"before":"aff4340c16796377414c5668ac61cee8701e2876","after":"73726159d837c4c0b737ba469c5667143d862993","ref":"refs/heads/master","pushedAt":"2024-05-24T13:59:43.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jgroote","name":"Jan Friso Groote","path":"/jgroote","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9032656?s=80&v=4"},"commit":{"message":"Updated information on a slot game.","shortMessageHtmlLink":"Updated information on a slot game."}},{"before":"df294cfa105aa73ccc874ea749f3772924c2622f","after":"ce6a16b46378efb48f5929b6308d6963fc9f1582","ref":"refs/heads/feature/aterm_appl","pushedAt":"2024-05-23T09:15:11.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jgroote","name":"Jan Friso Groote","path":"/jgroote","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9032656?s=80&v=4"},"commit":{"message":"Merge branch 'master' into feature/aterm_appl","shortMessageHtmlLink":"Merge branch 'master' into feature/aterm_appl"}},{"before":"8f927a711fec52ff2c3cf1c06d4078d82827ef3f","after":"df294cfa105aa73ccc874ea749f3772924c2622f","ref":"refs/heads/feature/aterm_appl","pushedAt":"2024-05-22T20:19:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jgroote","name":"Jan Friso Groote","path":"/jgroote","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9032656?s=80&v=4"},"commit":{"message":"Adapted two tests that took way too much time.\n\nThe tests have been adapted by setting the enumeration_limit to\na much lower value than the default. This speeds up the tests\nsubstantially.","shortMessageHtmlLink":"Adapted two tests that took way too much time."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEX3byowA","startCursor":null,"endCursor":null}},"title":"Activity · mCRL2org/mCRL2"}