{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":282895276,"defaultBranch":"master","name":"BPpy","ownerLogin":"bThink-BGU","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-07-27T12:42:58.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/24871950?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716111999.0","currentOid":""},"activityList":{"items":[{"before":"cf9b771221b439317ffe383740e1bc25fc4b9317","after":"d1b7dfa9c5cab78c814fcaab8f37dbe9d291bb57","ref":"refs/heads/master","pushedAt":"2024-05-19T09:05:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"bumping version","shortMessageHtmlLink":"bumping version"}},{"before":null,"after":"cf9b771221b439317ffe383740e1bc25fc4b9317","ref":"refs/heads/v1.0.2","pushedAt":"2024-05-19T08:52:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"adding model completion flag to smt ess","shortMessageHtmlLink":"adding model completion flag to smt ess"}},{"before":"54eebbd35c5b9cb2772d4c618dbbebbfdfe6bf89","after":"cf9b771221b439317ffe383740e1bc25fc4b9317","ref":"refs/heads/master","pushedAt":"2024-05-19T08:32:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"adding model completion flag to smt ess","shortMessageHtmlLink":"adding model completion flag to smt ess"}},{"before":"a527b73e44c2bebd7f53e6611fd4d49cc3ac01cd","after":"54eebbd35c5b9cb2772d4c618dbbebbfdfe6bf89","ref":"refs/heads/master","pushedAt":"2024-05-19T08:16:04.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"Merge pull request #21 from zisserj/experimental\n\nTidy prism format output","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2287188249\" data-permission-text=\"Title is private\" data-url=\"https://github.com/bThink-BGU/BPpy/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/bThink-BGU/BPpy/pull/21/hovercard\" href=\"https://github.com/bThink-BGU/BPpy/pull/21\">#21</a> from zisserj/experimental"}},{"before":"6ba5e278059bf63a8088275a2add83f2f102a6b7","after":"a527b73e44c2bebd7f53e6611fd4d49cc3ac01cd","ref":"refs/heads/master","pushedAt":"2024-01-11T13:37:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"updating the python version required","shortMessageHtmlLink":"updating the python version required"}},{"before":"e5cd75f4290b87788c71d344e837b231c7dec4d4","after":"a0627db628ee9995526dcca9e9128ed65a70c094","ref":"refs/heads/v1.0.1","pushedAt":"2024-01-11T13:36:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"updating the python version required","shortMessageHtmlLink":"updating the python version required"}},{"before":"f724f6bbebd56f864ac5f03f5466eea01210c62c","after":"6ba5e278059bf63a8088275a2add83f2f102a6b7","ref":"refs/heads/master","pushedAt":"2024-01-11T12:51:11.000Z","pushType":"pr_merge","commitsCount":22,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"Merge pull request #20 from bThink-BGU/v1.0.1\n\nV1.0.1","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2076563560\" data-permission-text=\"Title is private\" data-url=\"https://github.com/bThink-BGU/BPpy/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/bThink-BGU/BPpy/pull/20/hovercard\" href=\"https://github.com/bThink-BGU/BPpy/pull/20\">#20</a> from bThink-BGU/v1.0.1"}},{"before":"15648b65d5c67ce99523dac419c0afdcc61a9da8","after":"e5cd75f4290b87788c71d344e837b231c7dec4d4","ref":"refs/heads/v1.0.1","pushedAt":"2024-01-11T12:43:19.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"updating docs","shortMessageHtmlLink":"updating docs"}},{"before":null,"after":"15648b65d5c67ce99523dac419c0afdcc61a9da8","ref":"refs/heads/v1.0.1","pushedAt":"2024-01-11T11:12:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"bumping version","shortMessageHtmlLink":"bumping version"}},{"before":"6d91c1ee52f8e21ee00072658ea0a3d63c1e9b80","after":"f724f6bbebd56f864ac5f03f5466eea01210c62c","ref":"refs/heads/master","pushedAt":"2023-11-20T09:54:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"bumping version","shortMessageHtmlLink":"bumping version"}},{"before":"e26f21bf863734b416f4e03538e85434eec45719","after":"6d91c1ee52f8e21ee00072658ea0a3d63c1e9b80","ref":"refs/heads/master","pushedAt":"2023-11-20T09:51:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"install bppy's latest","shortMessageHtmlLink":"install bppy's latest"}},{"before":"c9831fe0ddf44b258221df4146ce316b79c47569","after":"e26f21bf863734b416f4e03538e85434eec45719","ref":"refs/heads/master","pushedAt":"2023-11-20T09:20:27.000Z","pushType":"pr_merge","commitsCount":37,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"Merge pull request #18 from bThink-BGU/v1.0.0\n\nV1.0.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2001714781\" data-permission-text=\"Title is private\" data-url=\"https://github.com/bThink-BGU/BPpy/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/bThink-BGU/BPpy/pull/18/hovercard\" href=\"https://github.com/bThink-BGU/BPpy/pull/18\">#18</a> from bThink-BGU/v1.0.0"}},{"before":"781cedd418597fd2874b50414d7474422a33a6f1","after":"ba0d92495245477cf12fae5ffeee92f54ee4d70f","ref":"refs/heads/v1.0.0","pushedAt":"2023-11-20T09:12:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"fixing docs requirements","shortMessageHtmlLink":"fixing docs requirements"}},{"before":null,"after":"781cedd418597fd2874b50414d7474422a33a6f1","ref":"refs/heads/v1.0.0","pushedAt":"2023-11-20T09:00:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"updating docs with probability","shortMessageHtmlLink":"updating docs with probability"}},{"before":"154204eb192ef1b0f2e15cda5e9b9a77e77a30da","after":"d0c07809eee1784c76e7f62f2f1884cb2a2dee6f","ref":"refs/heads/v0.0.11","pushedAt":"2023-11-16T14:10:47.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"Merge pull request #17 from zisserj/0.11\n\nFixed bug caused by empty sync statements","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1995425888\" data-permission-text=\"Title is private\" data-url=\"https://github.com/bThink-BGU/BPpy/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/bThink-BGU/BPpy/pull/17/hovercard\" href=\"https://github.com/bThink-BGU/BPpy/pull/17\">#17</a> from zisserj/0.11"}},{"before":null,"after":"5233e984a6961e8fc2baaa7e46ba40498dc12e3c","ref":"refs/heads/revert-16-0.11","pushedAt":"2023-11-14T12:22:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"Revert \"Choice and BProgram to prism conversion added\"","shortMessageHtmlLink":"Revert \"Choice and BProgram to prism conversion added\""}},{"before":"3e06adf6b9a0dd76726a980395a5f6950624f61a","after":"154204eb192ef1b0f2e15cda5e9b9a77e77a30da","ref":"refs/heads/v0.0.11","pushedAt":"2023-11-14T12:16:26.000Z","pushType":"pr_merge","commitsCount":20,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"Merge pull request #16 from zisserj/0.11\n\nChoice and BProgram to prism conversion added","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1979536257\" data-permission-text=\"Title is private\" data-url=\"https://github.com/bThink-BGU/BPpy/issues/16\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/bThink-BGU/BPpy/pull/16/hovercard\" href=\"https://github.com/bThink-BGU/BPpy/pull/16\">#16</a> from zisserj/0.11"}},{"before":null,"after":"3e06adf6b9a0dd76726a980395a5f6950624f61a","ref":"refs/heads/v0.0.11","pushedAt":"2023-11-04T17:00:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"adding sphinx-rtd-theme to docs requirements","shortMessageHtmlLink":"adding sphinx-rtd-theme to docs requirements"}},{"before":"c046b8f47d698e0ed537cd54cc9b39a9ba4061ce","after":"c9831fe0ddf44b258221df4146ce316b79c47569","ref":"refs/heads/master","pushedAt":"2023-10-26T06:33:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"adding sphinx-rtd-theme to docs requirements","shortMessageHtmlLink":"adding sphinx-rtd-theme to docs requirements"}},{"before":"de9dbb128b2cbbed0e826aeec4d7e815c86c0fe9","after":"c046b8f47d698e0ed537cd54cc9b39a9ba4061ce","ref":"refs/heads/master","pushedAt":"2023-10-26T06:20:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"updating citation","shortMessageHtmlLink":"updating citation"}},{"before":"585103f0041db290c4495e75e47d5bb58019df4a","after":"de9dbb128b2cbbed0e826aeec4d7e815c86c0fe9","ref":"refs/heads/master","pushedAt":"2023-09-27T16:16:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"adding docker publish action","shortMessageHtmlLink":"adding docker publish action"}},{"before":"d1e43b1a39f82612f6418955fed29e127aa9b5f3","after":"585103f0041db290c4495e75e47d5bb58019df4a","ref":"refs/heads/master","pushedAt":"2023-09-27T15:58:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"adding import for RichEventSelectionStrategy","shortMessageHtmlLink":"adding import for RichEventSelectionStrategy"}},{"before":"efc9eb219f33eef9ffcf8341fb4e21a7d1395ffa","after":"d1e43b1a39f82612f6418955fed29e127aa9b5f3","ref":"refs/heads/master","pushedAt":"2023-09-27T15:15:33.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"Merge pull request #15 from bThink-BGU/v0.0.10\n\nV0.0.10","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1915813314\" data-permission-text=\"Title is private\" data-url=\"https://github.com/bThink-BGU/BPpy/issues/15\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/bThink-BGU/BPpy/pull/15/hovercard\" href=\"https://github.com/bThink-BGU/BPpy/pull/15\">#15</a> from bThink-BGU/v0.0.10"}},{"before":null,"after":"fbffc76c50afb24cd06421b02d974ad516578534","ref":"refs/heads/v0.0.10","pushedAt":"2023-09-27T15:08:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"adding examples to docs","shortMessageHtmlLink":"adding examples to docs"}},{"before":"0c84a6147f763b91967ab7bfab0265ab9de816d5","after":"efc9eb219f33eef9ffcf8341fb4e21a7d1395ffa","ref":"refs/heads/master","pushedAt":"2023-09-06T14:55:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"adding docker publish action","shortMessageHtmlLink":"adding docker publish action"}},{"before":"7f84783444c1ee51b069e8a328334f50dadc8267","after":"0c84a6147f763b91967ab7bfab0265ab9de816d5","ref":"refs/heads/master","pushedAt":"2023-09-06T14:43:37.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"Merge pull request #14 from bThink-BGU/0.0.9\n\n0.0.9","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1884166745\" data-permission-text=\"Title is private\" data-url=\"https://github.com/bThink-BGU/BPpy/issues/14\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/bThink-BGU/BPpy/pull/14/hovercard\" href=\"https://github.com/bThink-BGU/BPpy/pull/14\">#14</a> from bThink-BGU/0.0.9"}},{"before":null,"after":"0e44b113157e14fc54ca59f7d9c3076211681838","ref":"refs/heads/0.0.9","pushedAt":"2023-09-06T14:37:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"adding docker publish action","shortMessageHtmlLink":"adding docker publish action"}},{"before":"dd65fcf30f7c10ea42627d6a782243fd313c23f7","after":"7f84783444c1ee51b069e8a328334f50dadc8267","ref":"refs/heads/master","pushedAt":"2023-08-31T14:36:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"adding Dockerfile and docs","shortMessageHtmlLink":"adding Dockerfile and docs"}},{"before":"0bd52c63ea9469e0d1c88b4585bc63feb70464a8","after":"dd65fcf30f7c10ea42627d6a782243fd313c23f7","ref":"refs/heads/master","pushedAt":"2023-08-28T06:48:50.000Z","pushType":"pr_merge","commitsCount":10,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"Merge pull request #13 from bThink-BGU/0.0.8\n\n0.0.8","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1869096100\" data-permission-text=\"Title is private\" data-url=\"https://github.com/bThink-BGU/BPpy/issues/13\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/bThink-BGU/BPpy/pull/13/hovercard\" href=\"https://github.com/bThink-BGU/BPpy/pull/13\">#13</a> from bThink-BGU/0.0.8"}},{"before":"6c97d6121af5a172376af05b5094e83a7ec5e05e","after":"266c8212a87f712b488ef5d051714deef52958ca","ref":"refs/heads/0.0.8","pushedAt":"2023-08-28T06:41:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tomyaacov","name":"Tom Yaacov","path":"/tomyaacov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33252414?s=80&v=4"},"commit":{"message":"adding pynusmv to docs requirements","shortMessageHtmlLink":"adding pynusmv to docs requirements"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0xOVQwOTowNTozOS4wMDAwMDBazwAAAARN_MTT","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0xOVQwOTowNTozOS4wMDAwMDBazwAAAARN_MTT","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0yOFQwNjo0MTozNi4wMDAwMDBazwAAAANzvL8J"}},"title":"Activity · bThink-BGU/BPpy"}