{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":276070181,"defaultBranch":"master","name":"pysat_metamodel","ownerLogin":"flamapy","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-06-30T10:38:43.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/103436956?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1724359890.0","currentOid":""},"activityList":{"items":[{"before":"672d58b212c60b1e557a3a1244919e2401d053ca","after":"d77446e5c76aed01c880092886be200ae013c394","ref":"refs/heads/master","pushedAt":"2024-08-22T20:51:10.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"fix: issue solved in the configurations op","shortMessageHtmlLink":"fix: issue solved in the configurations op"}},{"before":"43df87e41cef9f13bfbae3b58a982ec1df10b2d2","after":"d77446e5c76aed01c880092886be200ae013c394","ref":"refs/heads/develop","pushedAt":"2024-08-22T20:50:01.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"fix: issue solved in the configurations op","shortMessageHtmlLink":"fix: issue solved in the configurations op"}},{"before":"073dc0fb5a9554402aa8d68e02b444c7710effc8","after":"43df87e41cef9f13bfbae3b58a982ec1df10b2d2","ref":"refs/heads/develop","pushedAt":"2024-08-07T09:08:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmhorcas","name":"José Miguel Horcas","path":"/jmhorcas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5119294?s=80&v=4"},"commit":{"message":"Fix: issue #64","shortMessageHtmlLink":"Fix: issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2452963658\" data-permission-text=\"Title is private\" data-url=\"https://github.com/flamapy/pysat_metamodel/issues/64\" data-hovercard-type=\"issue\" data-hovercard-url=\"/flamapy/pysat_metamodel/issues/64/hovercard\" href=\"https://github.com/flamapy/pysat_metamodel/issues/64\">#64</a>"}},{"before":"7545fe1faccee11ad7c618f9dd603976dcae7617","after":"073dc0fb5a9554402aa8d68e02b444c7710effc8","ref":"refs/heads/develop","pushedAt":"2024-08-01T16:11:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmhorcas","name":"José Miguel Horcas","path":"/jmhorcas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5119294?s=80&v=4"},"commit":{"message":"Fix: Unique features metric returns JSON serializable object","shortMessageHtmlLink":"Fix: Unique features metric returns JSON serializable object"}},{"before":"672d58b212c60b1e557a3a1244919e2401d053ca","after":"7545fe1faccee11ad7c618f9dd603976dcae7617","ref":"refs/heads/develop","pushedAt":"2024-08-01T16:07:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmhorcas","name":"José Miguel Horcas","path":"/jmhorcas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5119294?s=80&v=4"},"commit":{"message":"Fix model_type_extension property","shortMessageHtmlLink":"Fix model_type_extension property"}},{"before":"fd0a0da5036a6bcf423ddbac1cd9932cd1cca927","after":"672d58b212c60b1e557a3a1244919e2401d053ca","ref":"refs/heads/master","pushedAt":"2024-07-27T16:24:11.000Z","pushType":"push","commitsCount":15,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"feat: preparing v2.0.0","shortMessageHtmlLink":"feat: preparing v2.0.0"}},{"before":"f4a170d58a690559212fc22842723d9b00013a37","after":"672d58b212c60b1e557a3a1244919e2401d053ca","ref":"refs/heads/develop","pushedAt":"2024-07-27T16:23:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"feat: preparing v2.0.0","shortMessageHtmlLink":"feat: preparing v2.0.0"}},{"before":"ee3581fe46afdbf2777b3a9df6e6c8ef324e8887","after":"f4a170d58a690559212fc22842723d9b00013a37","ref":"refs/heads/develop","pushedAt":"2024-07-27T15:56:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"fix: version bumo to solve issue in the ast class","shortMessageHtmlLink":"fix: version bumo to solve issue in the ast class"}},{"before":"70a1b7ca52735b356470957454cbf970f51c0145","after":"ee3581fe46afdbf2777b3a9df6e6c8ef324e8887","ref":"refs/heads/develop","pushedAt":"2024-07-25T15:30:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"fix: version bump","shortMessageHtmlLink":"fix: version bump"}},{"before":"70a1b7ca52735b356470957454cbf970f51c0145","after":null,"ref":"refs/tags/v2.0.0.dev7","pushedAt":"2024-07-25T15:29:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"}},{"before":"5bc931069e2dd185922a6e6c874efff234c897b5","after":"70a1b7ca52735b356470957454cbf970f51c0145","ref":"refs/heads/develop","pushedAt":"2024-07-25T15:23:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"fix: version bump to flamapy-fm 2.0.0.dev7","shortMessageHtmlLink":"fix: version bump to flamapy-fm 2.0.0.dev7"}},{"before":"1316162bba8a7ab20abc6b9040cecd02ae85b167","after":"5bc931069e2dd185922a6e6c874efff234c897b5","ref":"refs/heads/develop","pushedAt":"2024-07-24T10:04:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"fix: version bump and prospector issues","shortMessageHtmlLink":"fix: version bump and prospector issues"}},{"before":"314f9391a82d9228b47ba5cdd7c45628ad6d5e70","after":"1316162bba8a7ab20abc6b9040cecd02ae85b167","ref":"refs/heads/develop","pushedAt":"2024-07-23T22:26:08.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"fix: problem with diagnosys operations","shortMessageHtmlLink":"fix: problem with diagnosys operations"}},{"before":"5452a2bcb44ca6fa2755db1bcbcb980d81c864e4","after":"314f9391a82d9228b47ba5cdd7c45628ad6d5e70","ref":"refs/heads/develop","pushedAt":"2024-07-23T11:59:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"fix: partial commit with improvements. Still some tests do not pass","shortMessageHtmlLink":"fix: partial commit with improvements. Still some tests do not pass"}},{"before":"f15156dd90878f8268adaa761d4fb8d9377af495","after":"5452a2bcb44ca6fa2755db1bcbcb980d81c864e4","ref":"refs/heads/develop","pushedAt":"2024-07-18T14:52:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"fix: solving bug in metrics operation due to name change. Also improve the filter","shortMessageHtmlLink":"fix: solving bug in metrics operation due to name change. Also improv…"}},{"before":"2839c6141096b0bba39fe70e93ce26a101537efc","after":"f15156dd90878f8268adaa761d4fb8d9377af495","ref":"refs/heads/develop","pushedAt":"2024-07-15T13:57:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"docs: improving setup.py","shortMessageHtmlLink":"docs: improving setup.py"}},{"before":"363c395bee02256341df15c7fdd3e29b446c74c2","after":"2839c6141096b0bba39fe70e93ce26a101537efc","ref":"refs/heads/develop","pushedAt":"2024-05-27T21:02:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"docs: version bump and issue with satis config","shortMessageHtmlLink":"docs: version bump and issue with satis config"}},{"before":"5dccbb653cbe9c8e456bc8b16bc94005a8cc97be","after":"363c395bee02256341df15c7fdd3e29b446c74c2","ref":"refs/heads/develop","pushedAt":"2024-05-27T14:18:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"fix: updating operations to adhere to new name","shortMessageHtmlLink":"fix: updating operations to adhere to new name"}},{"before":"ab3ca22ff1dc7613262cddae3fbe43ff56a50195","after":"5dccbb653cbe9c8e456bc8b16bc94005a8cc97be","ref":"refs/heads/develop","pushedAt":"2024-05-10T06:59:25.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"fix: sampling operation and fix interfaces for some other operations, improve prospector (#61)\n\n* Ignore empty lines in dimacs models\r\n\r\n* Improve code for skipping empty lines\r\n\r\n* DimacsWriter: Allow None paths when written\r\n\r\n* Fix some prospector and hint typing\r\n\r\n* Fix interfaces and some errors","shortMessageHtmlLink":"fix: sampling operation and fix interfaces for some other operations,…"}},{"before":"fd0a0da5036a6bcf423ddbac1cd9932cd1cca927","after":"ab3ca22ff1dc7613262cddae3fbe43ff56a50195","ref":"refs/heads/develop","pushedAt":"2024-03-11T10:41:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmhorcas","name":"José Miguel Horcas","path":"/jmhorcas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5119294?s=80&v=4"},"commit":{"message":"Number of features is optional (comments) in dimacs.","shortMessageHtmlLink":"Number of features is optional (comments) in dimacs."}},{"before":"d5c30fbcf4f47cc8a8f943bc562ec8911f2dc09f","after":"fd0a0da5036a6bcf423ddbac1cd9932cd1cca927","ref":"refs/heads/master","pushedAt":"2024-01-08T10:34:26.000Z","pushType":"push","commitsCount":17,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"docs: bumping to 1.6.0 dev0 before meeting","shortMessageHtmlLink":"docs: bumping to 1.6.0 dev0 before meeting"}},{"before":"d0d527d586e216f72e79a4c7f7be393fbd8ce269","after":"fd0a0da5036a6bcf423ddbac1cd9932cd1cca927","ref":"refs/heads/develop","pushedAt":"2024-01-08T10:33:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"docs: bumping to 1.6.0 dev0 before meeting","shortMessageHtmlLink":"docs: bumping to 1.6.0 dev0 before meeting"}},{"before":"90768c718f1939d3a9a00d8f3322a2c4fc8e2836","after":"d0d527d586e216f72e79a4c7f7be393fbd8ce269","ref":"refs/heads/develop","pushedAt":"2023-11-14T12:57:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"fix: Error in the feature ide reader and the tests for diagnosis","shortMessageHtmlLink":"fix: Error in the feature ide reader and the tests for diagnosis"}},{"before":"0283cc2116f751592634db672afeebcf4f1fe912","after":"90768c718f1939d3a9a00d8f3322a2c4fc8e2836","ref":"refs/heads/develop","pushedAt":"2023-11-14T12:56:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"fix: Error in the feature ide reader and the tests for diagnosis","shortMessageHtmlLink":"fix: Error in the feature ide reader and the tests for diagnosis"}},{"before":"619e7ba2eb88ad991d9724ee2fae0189b31598fb","after":"0283cc2116f751592634db672afeebcf4f1fe912","ref":"refs/heads/develop","pushedAt":"2023-11-08T12:02:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"fix: naming problem with the diagnosis class","shortMessageHtmlLink":"fix: naming problem with the diagnosis class"}},{"before":"9989939bd760b8f4c9da2b8301d3b0e5c1ddd560","after":"619e7ba2eb88ad991d9724ee2fae0189b31598fb","ref":"refs/heads/develop","pushedAt":"2023-11-07T15:20:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"fix: integrating diagnosis tasks and removing error detection so it is not duplicating code","shortMessageHtmlLink":"fix: integrating diagnosis tasks and removing error detection so it i…"}},{"before":"3d5dd436356a427bc12b344d6149aa603eaacc21","after":"9989939bd760b8f4c9da2b8301d3b0e5c1ddd560","ref":"refs/heads/develop","pushedAt":"2023-11-06T12:19:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"fix: updating version sumber","shortMessageHtmlLink":"fix: updating version sumber"}},{"before":"1408946fa69846373321ad1e162a3e93a6968193","after":"3d5dd436356a427bc12b344d6149aa603eaacc21","ref":"refs/heads/develop","pushedAt":"2023-10-28T13:48:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"Fix pysat_diagnosis_metamodel (#60)\n\n* Fix typo\n\n* Ignore .idea\n\n* Add test feature models\n\n* Add ConsistencyChecker and new version of PySATModel supporting diagnosis tasks\n\n* Functions return a list instead of a CNF\n\n* Add FastDiag and QuickXPlain\n\n* Add documentation\n\n* Migrate to new package\n\n* Support Configuration\n\n* Support Configuration\n\n* Clean up\n\n* improve diagnosis messages\n\n* use assumptions in solver.solve()\n\n* done diagnosis with assumptions and better result messages\n\n* Add HSDAG\n\n* Remove D\n\n* Add documentation\n\n* Fix bug\n\n* Fix typo\n\n* fix: refactoring to optimize code in execution. Only save names when needed for diagnosis\n\n* fix: finishing the separation, still need to workout the method call\n\n* fix: decouping diagnosis task from basic pysat operations\n\n* Fix cracks appearing after decoupling diagnosis task from basic pysat operations.\n\n* Fix errors/problems detected by prospector\n\n* Fix errors/problems detected by mypy\n\n---------\n\nCo-authored-by: José A. Galindo <jagalindo@us.es>","shortMessageHtmlLink":"Fix pysat_diagnosis_metamodel (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1950920164\" data-permission-text=\"Title is private\" data-url=\"https://github.com/flamapy/pysat_metamodel/issues/60\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/flamapy/pysat_metamodel/pull/60/hovercard\" href=\"https://github.com/flamapy/pysat_metamodel/pull/60\">#60</a>)"}},{"before":"7996e2d522000a5a281bd1cc843662a2c2a1693c","after":"1408946fa69846373321ad1e162a3e93a6968193","ref":"refs/heads/develop","pushedAt":"2023-08-23T16:15:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"feature: adding the metrics operation. fix: renaming for coherence with other solvers","shortMessageHtmlLink":"feature: adding the metrics operation. fix: renaming for coherence wi…"}},{"before":"35a21678cc01b9f022e9ea77aea4fbd9224955e3","after":"7996e2d522000a5a281bd1cc843662a2c2a1693c","ref":"refs/heads/develop","pushedAt":"2023-08-23T14:06:53.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jagalindo","name":"José A.","path":"/jagalindo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1789503?s=80&v=4"},"commit":{"message":"feature: Adding a new metamodel to perform feature model diagnosis\n\n* Fix typo\r\n\r\n* Ignore .idea\r\n\r\n* Add test feature models\r\n\r\n* Add ConsistencyChecker and new version of PySATModel supporting diagnosis tasks\r\n\r\n* Functions return a list instead of a CNF\r\n\r\n* Add FastDiag and QuickXPlain\r\n\r\n* Add documentation\r\n\r\n* Migrate to new package\r\n\r\n* Support Configuration\r\n\r\n* Support Configuration\r\n\r\n* Clean up\r\n\r\n* improve diagnosis messages\r\n\r\n* use assumptions in solver.solve()\r\n\r\n* done diagnosis with assumptions and better result messages\r\n\r\n* Add HSDAG\r\n\r\n* Remove D\r\n\r\n* Add documentation\r\n\r\n* Fix bug\r\n\r\n* Fix typo\r\n\r\n* fix: refactoring to optimize code in execution. Only save names when needed for diagnosis\r\n\r\n* fix: finishing the separation, still need to workout the method call\r\n\r\n* fix: decouping diagnosis task from basic pysat operations\r\n\r\n---------\r\n\r\nCo-authored-by: José A. Galindo <jagalindo@us.es>","shortMessageHtmlLink":"feature: Adding a new metamodel to perform feature model diagnosis"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yMlQyMDo1MToxMC4wMDAwMDBazwAAAAShtyLi","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0yM1QxNDowNjo1My4wMDAwMDBazwAAAANw2753"}},"title":"Activity · flamapy/pysat_metamodel"}