{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":491903873,"defaultBranch":"main","name":"gips-tests","ownerLogin":"Echtzeitsysteme","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-05-13T13:15:53.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11460048?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725622380.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"2b5a003b370f8624037aa2c5bb677261e121981c","ref":"refs/heads/feature/lp_solve-test-adaptions","pushedAt":"2024-09-06T11:33:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"},"commit":{"message":"Snapshot: smaller test adaptions for lp_solve + epsilon for some results","shortMessageHtmlLink":"Snapshot: smaller test adaptions for lp_solve + epsilon for some results"}},{"before":null,"after":"09b2ba83a9c56be5fc010b789ca7a2f7040538f0","ref":"refs/heads/feature/add-test-to-catch-equals-trafo-bug","pushedAt":"2024-07-31T14:22:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"},"commit":{"message":"Fixes the new test to actually use the `==` operator in a `<=>` cnstr\n\n+ also adds some documentation","shortMessageHtmlLink":"Fixes the new test to actually use the == operator in a <=> cnstr"}},{"before":"c4281177b3f9c177e205cfd5332583680b82f092","after":null,"ref":"refs/heads/feature/update-java-21","pushedAt":"2024-06-14T14:28:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"}},{"before":"a6ff6e7a3357f70ffd80732d905cdc4bf6f04f89","after":"218ad0b518a830903604a83da932da03c9e2a551","ref":"refs/heads/main","pushedAt":"2024-06-14T14:28:00.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"},"commit":{"message":"Merge pull request #70 from Echtzeitsysteme/feature/update-java-21\n\nUpdates all GIPS test projects to Java 21","shortMessageHtmlLink":"Merge pull request #70 from Echtzeitsysteme/feature/update-java-21"}},{"before":null,"after":"c4281177b3f9c177e205cfd5332583680b82f092","ref":"refs/heads/feature/update-java-21","pushedAt":"2024-06-14T14:16:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"},"commit":{"message":"Updates all GIPS test projects to Java 21","shortMessageHtmlLink":"Updates all GIPS test projects to Java 21"}},{"before":"77a7bbd7eed3309536881bc73e5affead8dc40c4","after":"7c00be197949b3962aea381366cd6765d83028dc","ref":"refs/heads/feature/not-equal-tests","pushedAt":"2024-06-07T06:25:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"},"commit":{"message":"Adds comment about the two constraints","shortMessageHtmlLink":"Adds comment about the two constraints"}},{"before":"9788474009136b3455768869f2ff5fdec2633257","after":"77a7bbd7eed3309536881bc73e5affead8dc40c4","ref":"refs/heads/feature/not-equal-tests","pushedAt":"2024-06-06T10:28:47.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"},"commit":{"message":"Updates MANIFEST.MF + changes constraint to != (instead of NOT ==)","shortMessageHtmlLink":"Updates MANIFEST.MF + changes constraint to != (instead of NOT ==)"}},{"before":"b04f6989a143a34741d2c8824f01cdf24799d059","after":null,"ref":"refs/heads/hotfix/model_reset","pushedAt":"2024-04-19T10:58:41.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"}},{"before":"0648c0fb084ba0875056e502ce5aadb4d4707c5f","after":null,"ref":"refs/heads/hotfix/fixes-wrong-rs-clear","pushedAt":"2024-04-19T10:57:43.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"}},{"before":"3187d6fa0e85234c50a5e25a22cc33201d71409a","after":"a6ff6e7a3357f70ffd80732d905cdc4bf6f04f89","ref":"refs/heads/main","pushedAt":"2024-04-19T10:57:40.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"},"commit":{"message":"Merge pull request #67 from Echtzeitsysteme/hotfix/fixes-wrong-rs-clear\n\nFixes broken ResourceSet reset for all ResourceSet-based model generators","shortMessageHtmlLink":"Merge pull request #67 from Echtzeitsysteme/hotfix/fixes-wrong-rs-clear"}},{"before":null,"after":"0648c0fb084ba0875056e502ce5aadb4d4707c5f","ref":"refs/heads/hotfix/fixes-wrong-rs-clear","pushedAt":"2024-04-19T10:54:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"},"commit":{"message":"Fixes all remaining resource set based model generator resets","shortMessageHtmlLink":"Fixes all remaining resource set based model generator resets"}},{"before":null,"after":"b04f6989a143a34741d2c8824f01cdf24799d059","ref":"refs/heads/hotfix/model_reset","pushedAt":"2024-04-19T10:53:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"arg0n1s","name":"SebastianE","path":"/arg0n1s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15423584?s=80&v=4"},"commit":{"message":"fixed the broken reset Method, to reset the contents of a resource within GIPS between tests.","shortMessageHtmlLink":"fixed the broken reset Method, to reset the contents of a resource wi…"}},{"before":"9a98cbe0e8c2756134f9b4ad101843e3e2c0294c","after":null,"ref":"refs/heads/hotfix/gipsl-all-build-complex-project","pushedAt":"2024-04-19T07:06:11.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"}},{"before":"f248f3a412a891e722242cb4ac8959f407af6484","after":"3187d6fa0e85234c50a5e25a22cc33201d71409a","ref":"refs/heads/main","pushedAt":"2024-04-19T07:06:08.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"},"commit":{"message":"Merge pull request #63 from Echtzeitsysteme/hotfix/gipsl-all-build-complex-project\n\nMakes the project `gipsl.all.build.complex` compilable again","shortMessageHtmlLink":"Merge pull request #63 from Echtzeitsysteme/hotfix/gipsl-all-build-co…"}},{"before":"666166eb3b089a2cd1527614c9708a03a1712899","after":"9a98cbe0e8c2756134f9b4ad101843e3e2c0294c","ref":"refs/heads/hotfix/gipsl-all-build-complex-project","pushedAt":"2024-04-19T07:02:40.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"},"commit":{"message":"Merge branch 'main' into hotfix/gipsl-all-build-complex-project","shortMessageHtmlLink":"Merge branch 'main' into hotfix/gipsl-all-build-complex-project"}},{"before":"52802dc32667916046aa103675d3d48ba35eef04","after":null,"ref":"refs/heads/hotfix/lower_bound_fix","pushedAt":"2024-04-19T06:58:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"}},{"before":"55633be68c39173963fc6726646fa368de234a57","after":"f248f3a412a891e722242cb4ac8959f407af6484","ref":"refs/heads/main","pushedAt":"2024-04-19T06:58:45.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"},"commit":{"message":"Merge pull request #62 from Echtzeitsysteme/hotfix/lower_bound_fix\n\n- added lower bounds constraint for the free integer variable","shortMessageHtmlLink":"Merge pull request #62 from Echtzeitsysteme/hotfix/lower_bound_fix"}},{"before":null,"after":"52802dc32667916046aa103675d3d48ba35eef04","ref":"refs/heads/hotfix/lower_bound_fix","pushedAt":"2024-04-18T18:02:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"arg0n1s","name":"SebastianE","path":"/arg0n1s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15423584?s=80&v=4"},"commit":{"message":"- added lower bounds constraint for the free integer variable\n\n- Explanation: The equivalence constraint forces the free variabe fv >= 1 iff the mapping variable mv >= 1. But if mv is not 1, then fv is allowed to have literally any value other than values > 0. In the Test it is checked, if fv == 0, when mv == 0. This will only work if fv is a binary variable, otherwise it might or might not work depending on the random choice of the used solver, since fv can still have valid values in [-9999, 0] and not violate the initial constraint. To fix that i have added a simple lower bound to the specifaction, that forces fv >= 0. In this case fv will behave just like a binary variable and be 0 in case mv == 0.","shortMessageHtmlLink":"- added lower bounds constraint for the free integer variable"}},{"before":null,"after":"666166eb3b089a2cd1527614c9708a03a1712899","ref":"refs/heads/hotfix/gipsl-all-build-complex-project","pushedAt":"2024-04-18T13:04:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"},"commit":{"message":"Adds TODOs to all parts of the complex GIPSL specification that break the compilation process","shortMessageHtmlLink":"Adds TODOs to all parts of the complex GIPSL specification that break…"}},{"before":"b476be9474bd810eae59d71c8a95666d10b66419","after":"9788474009136b3455768869f2ff5fdec2633257","ref":"refs/heads/feature/not-equal-tests","pushedAt":"2024-04-12T13:28:21.000Z","pushType":"push","commitsCount":107,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"},"commit":{"message":"Merge branch 'main' into feature/not-equal-tests","shortMessageHtmlLink":"Merge branch 'main' into feature/not-equal-tests"}},{"before":"6f7f8890a30da3de2e8d730b90c2455291bcb1f4","after":"f0b9830d4f2a4199d5998f6e6fbb89783f8d5115","ref":"refs/heads/feature/serial-filter-exprs","pushedAt":"2024-04-12T13:26:34.000Z","pushType":"push","commitsCount":62,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"},"commit":{"message":"Updates the JDK version to Java 17","shortMessageHtmlLink":"Updates the JDK version to Java 17"}},{"before":"36a03fd3e9a6c76bbc96ab8a67aff9a48f01ae40","after":"d06c834cfc03779518b1c1e2cfaf514d673369b0","ref":"refs/heads/feature/add-var-boolean-bug-test-case","pushedAt":"2024-04-12T13:23:48.000Z","pushType":"push","commitsCount":12,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"},"commit":{"message":"Merge branch 'main' into feature/add-var-boolean-bug-test-case","shortMessageHtmlLink":"Merge branch 'main' into feature/add-var-boolean-bug-test-case"}},{"before":"ae5713652731507fd1c345b65f38b894f61d7188","after":null,"ref":"refs/heads/feature/test-correct-emoflon-termination","pushedAt":"2024-04-05T13:15:47.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"}},{"before":"530750c4a39b9b886fff20d1d9c842b26116488c","after":"55633be68c39173963fc6726646fa368de234a57","ref":"refs/heads/main","pushedAt":"2024-04-05T13:15:45.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"},"commit":{"message":"Merge pull request #61 from Echtzeitsysteme/feature/test-correct-emoflon-termination\n\nAdds a test for testing the correct termination of the eMoflon::IBeX-GT API","shortMessageHtmlLink":"Merge pull request #61 from Echtzeitsysteme/feature/test-correct-emof…"}},{"before":"e51a604c57fbee69f74a2ea3a2ad3ad12eca81a8","after":"ae5713652731507fd1c345b65f38b894f61d7188","ref":"refs/heads/feature/test-correct-emoflon-termination","pushedAt":"2024-04-03T11:07:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"},"commit":{"message":"Adds a timeout to the test case\n\nWhen running in the complete test suite, the test gets stuck","shortMessageHtmlLink":"Adds a timeout to the test case"}},{"before":"ecb69b98584e5033a13a07eccdac2143871601b3","after":"e51a604c57fbee69f74a2ea3a2ad3ad12eca81a8","ref":"refs/heads/feature/test-correct-emoflon-termination","pushedAt":"2024-04-03T10:31:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"},"commit":{"message":"Adds a project and a test case to check correct eMoflon API termination","shortMessageHtmlLink":"Adds a project and a test case to check correct eMoflon API termination"}},{"before":null,"after":"ecb69b98584e5033a13a07eccdac2143871601b3","ref":"refs/heads/feature/test-correct-emoflon-termination","pushedAt":"2024-04-03T08:29:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"},"commit":{"message":"LP output test: fixes possible null pointer exception in termination","shortMessageHtmlLink":"LP output test: fixes possible null pointer exception in termination"}},{"before":"3021dcaf930ad320a33ede75470b135b8bcbc700","after":"530750c4a39b9b886fff20d1d9c842b26116488c","ref":"refs/heads/main","pushedAt":"2024-03-29T07:27:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"},"commit":{"message":"Enforces the correct code style","shortMessageHtmlLink":"Enforces the correct code style"}},{"before":"0526c0f650c79557a18e44660e88f9974633bdc5","after":null,"ref":"refs/heads/hotfix/api-termination","pushedAt":"2024-03-29T07:24:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"}},{"before":"ff67b6eafd6a19df69c76fecfbbdbc11cb224508","after":"3021dcaf930ad320a33ede75470b135b8bcbc700","ref":"refs/heads/main","pushedAt":"2024-03-29T07:24:52.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"maxkratz","name":"Max Kratz","path":"/maxkratz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20956405?s=80&v=4"},"commit":{"message":"Merge pull request #60 from Echtzeitsysteme/hotfix/api-termination\n\nTerminate the GIPS API after each test run","shortMessageHtmlLink":"Merge pull request #60 from Echtzeitsysteme/hotfix/api-termination"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAErtqTBgA","startCursor":null,"endCursor":null}},"title":"Activity · Echtzeitsysteme/gips-tests"}