{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":628745606,"defaultBranch":"main","name":"Satisfiability.jl","ownerLogin":"elsoroka","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-04-16T21:58:55.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/14230800?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1724683494.0","currentOid":""},"activityList":{"items":[{"before":"d387ee35c575fad0db0b2df04b256476588a4669","after":"1ebabef0871eb5f9eeab892ec6e8fd188775082e","ref":"refs/heads/gh-pages","pushedAt":"2024-08-26T14:52:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"build based on e414042","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/elsoroka/Satisfiability.jl/commit/e41404279049c2601ecfeaa32ad20b2f8b5ae74b/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/commit/e41404279049c2601ecfeaa32ad20b2f8b5ae74b\"><tt>e414042</tt></a>"}},{"before":"0056c3297846959978b1565d64f6bac30998c7ea","after":"e41404279049c2601ecfeaa32ad20b2f8b5ae74b","ref":"refs/heads/main","pushedAt":"2024-08-26T14:50:00.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Merge pull request #69 from elsoroka/final-joss-updates\n\nadding citation and paper badge!","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2487055962\" data-permission-text=\"Title is private\" data-url=\"https://github.com/elsoroka/Satisfiability.jl/issues/69\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/elsoroka/Satisfiability.jl/pull/69/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/pull/69\">#69</a> from elsoroka/final-joss-updates"}},{"before":"d7cf982415fa902633c3667d786763de46537a23","after":"24339c5d407b6305cc87412792e5e4c86becf2fa","ref":"refs/heads/final-joss-updates","pushedAt":"2024-08-26T14:46:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"adding citation and paper badge!","shortMessageHtmlLink":"adding citation and paper badge!"}},{"before":null,"after":"d7cf982415fa902633c3667d786763de46537a23","ref":"refs/heads/final-joss-updates","pushedAt":"2024-08-26T14:44:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Merge pull request #62 from mykelk/windows_tests\n\nMake tests compatible with windows","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2447248273\" data-permission-text=\"Title is private\" data-url=\"https://github.com/elsoroka/Satisfiability.jl/issues/62\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/elsoroka/Satisfiability.jl/pull/62/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/pull/62\">#62</a> from mykelk/windows_tests"}},{"before":"deec625b269074adfa05dc1834b40a5b551326ca","after":"120b0bd73c45b41f5e8665a654b5e6d21822ba39","ref":"refs/heads/joss-paper","pushedAt":"2024-08-20T14:33:13.000Z","pushType":"pr_merge","commitsCount":53,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Merge pull request #67 from elsoroka/main\n\nmerge main INTO joss-paper but I don't think this is necessary","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2475816400\" data-permission-text=\"Title is private\" data-url=\"https://github.com/elsoroka/Satisfiability.jl/issues/67\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/elsoroka/Satisfiability.jl/pull/67/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/pull/67\">#67</a> from elsoroka/main"}},{"before":"4994d6e3f3f463c429db7ebcff0deb0eb4fc2404","after":"d387ee35c575fad0db0b2df04b256476588a4669","ref":"refs/heads/gh-pages","pushedAt":"2024-08-20T05:31:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"build based on 0056c32","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/elsoroka/Satisfiability.jl/commit/0056c3297846959978b1565d64f6bac30998c7ea/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/commit/0056c3297846959978b1565d64f6bac30998c7ea\"><tt>0056c32</tt></a>"}},{"before":"07ddaee44f0d0ab641a660ee70069dd91963191c","after":"0056c3297846959978b1565d64f6bac30998c7ea","ref":"refs/heads/main","pushedAt":"2024-08-20T05:28:58.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Merge pull request #66 from danielskatz/patch-1\n\nUpdate bibliography.bib","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2473695329\" data-permission-text=\"Title is private\" data-url=\"https://github.com/elsoroka/Satisfiability.jl/issues/66\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/elsoroka/Satisfiability.jl/pull/66/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/pull/66\">#66</a> from danielskatz/patch-1"}},{"before":"5eb7f91e9a064a04da955d062ab4e0c01bf014e6","after":"4994d6e3f3f463c429db7ebcff0deb0eb4fc2404","ref":"refs/heads/gh-pages","pushedAt":"2024-08-17T04:55:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"build based on 07ddaee","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/elsoroka/Satisfiability.jl/commit/07ddaee44f0d0ab641a660ee70069dd91963191c/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/commit/07ddaee44f0d0ab641a660ee70069dd91963191c\"><tt>07ddaee</tt></a>"}},{"before":"d7cf982415fa902633c3667d786763de46537a23","after":"07ddaee44f0d0ab641a660ee70069dd91963191c","ref":"refs/heads/main","pushedAt":"2024-08-17T04:52:21.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Merge pull request #64 from elsoroka/joss-revisions\n\nIncrement version number and add line in documentation for new release","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2471334752\" data-permission-text=\"Title is private\" data-url=\"https://github.com/elsoroka/Satisfiability.jl/issues/64\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/elsoroka/Satisfiability.jl/pull/64/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/pull/64\">#64</a> from elsoroka/joss-revisions"}},{"before":"91ee264614d6466ac1d7fde29097b5842940afcc","after":"6b4f73fbaf9ce61ead8f71b272fc5f2c00c159d7","ref":"refs/heads/joss-revisions","pushedAt":"2024-08-17T04:49:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"i reread the version rules and think it should be called 0.2.0 because\nnew features are added","shortMessageHtmlLink":"i reread the version rules and think it should be called 0.2.0 because"}},{"before":"d3a516fc33146c10b82ea3e32f82422a965a9f82","after":"91ee264614d6466ac1d7fde29097b5842940afcc","ref":"refs/heads/joss-revisions","pushedAt":"2024-08-17T04:47:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Increment version number and add line in documentation for new release\nper JOSS publication checklist.","shortMessageHtmlLink":"Increment version number and add line in documentation for new release"}},{"before":"42d4650c27a3ddc3136ecbcaedee9a4af9ec4c3e","after":"5eb7f91e9a064a04da955d062ab4e0c01bf014e6","ref":"refs/heads/gh-pages","pushedAt":"2024-08-04T18:56:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"build based on d7cf982","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/elsoroka/Satisfiability.jl/commit/d7cf982415fa902633c3667d786763de46537a23/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/commit/d7cf982415fa902633c3667d786763de46537a23\"><tt>d7cf982</tt></a>"}},{"before":"e3596fc52c182d9267ce5c899dfbb6691d7f2126","after":"d7cf982415fa902633c3667d786763de46537a23","ref":"refs/heads/main","pushedAt":"2024-08-04T18:54:46.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Merge pull request #62 from mykelk/windows_tests\n\nMake tests compatible with windows","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2447248273\" data-permission-text=\"Title is private\" data-url=\"https://github.com/elsoroka/Satisfiability.jl/issues/62\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/elsoroka/Satisfiability.jl/pull/62/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/pull/62\">#62</a> from mykelk/windows_tests"}},{"before":"bcf5948c1dd1250498f9a75acc0fdcbbb1403937","after":"42d4650c27a3ddc3136ecbcaedee9a4af9ec4c3e","ref":"refs/heads/gh-pages","pushedAt":"2024-08-04T17:42:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"build based on e3596fc","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/elsoroka/Satisfiability.jl/commit/e3596fc52c182d9267ce5c899dfbb6691d7f2126/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/commit/e3596fc52c182d9267ce5c899dfbb6691d7f2126\"><tt>e3596fc</tt></a>"}},{"before":"43416d057ed4dc41a5a6d84ce8d23f02b06755b1","after":"e3596fc52c182d9267ce5c899dfbb6691d7f2126","ref":"refs/heads/main","pushedAt":"2024-08-04T17:40:45.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Merge pull request #61 from mykelk/3dtensors\n\nAdd support for 3d tensors","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2446747583\" data-permission-text=\"Title is private\" data-url=\"https://github.com/elsoroka/Satisfiability.jl/issues/61\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/elsoroka/Satisfiability.jl/pull/61/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/pull/61\">#61</a> from mykelk/3dtensors"}},{"before":"b08d27e6074edb26e00e606963d41bc128c1ea8a","after":"bcf5948c1dd1250498f9a75acc0fdcbbb1403937","ref":"refs/heads/gh-pages","pushedAt":"2024-07-30T03:40:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"build based on 43416d0","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/elsoroka/Satisfiability.jl/commit/43416d057ed4dc41a5a6d84ce8d23f02b06755b1/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/commit/43416d057ed4dc41a5a6d84ce8d23f02b06755b1\"><tt>43416d0</tt></a>"}},{"before":"43e35e20a48eb2fde7caeb5bb8e72e32af8a3042","after":null,"ref":"refs/heads/dependabot/github_actions/actions/upload-artifact-4","pushedAt":"2024-07-30T03:39:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"}},{"before":"908f5a4ab7a9654040ea14e57895784f7b58629b","after":"43416d057ed4dc41a5a6d84ce8d23f02b06755b1","ref":"refs/heads/main","pushedAt":"2024-07-30T03:39:03.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Merge pull request #59 from elsoroka/dependabot/github_actions/actions/upload-artifact-4\n\nBump actions/upload-artifact from 1 to 4","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2434393292\" data-permission-text=\"Title is private\" data-url=\"https://github.com/elsoroka/Satisfiability.jl/issues/59\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/elsoroka/Satisfiability.jl/pull/59/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/pull/59\">#59</a> from elsoroka/dependabot/github_actions/action…"}},{"before":null,"after":"43e35e20a48eb2fde7caeb5bb8e72e32af8a3042","ref":"refs/heads/dependabot/github_actions/actions/upload-artifact-4","pushedAt":"2024-07-29T03:56:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump actions/upload-artifact from 1 to 4\n\nBumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 1 to 4.\n- [Release notes](https://github.com/actions/upload-artifact/releases)\n- [Commits](https://github.com/actions/upload-artifact/compare/v1...v4)\n\n---\nupdated-dependencies:\n- dependency-name: actions/upload-artifact\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump actions/upload-artifact from 1 to 4"}},{"before":"55b1b8b6cf2307b344354c3409b710c13cd5cd61","after":"b08d27e6074edb26e00e606963d41bc128c1ea8a","ref":"refs/heads/gh-pages","pushedAt":"2024-07-28T22:23:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"build based on 908f5a4","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/elsoroka/Satisfiability.jl/commit/908f5a4ab7a9654040ea14e57895784f7b58629b/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/commit/908f5a4ab7a9654040ea14e57895784f7b58629b\"><tt>908f5a4</tt></a>"}},{"before":"ebe03f1d9dba7b9198551f3ae75bb8cf93f1869c","after":"908f5a4ab7a9654040ea14e57895784f7b58629b","ref":"refs/heads/main","pushedAt":"2024-07-28T22:21:16.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Merge pull request #58 from elsoroka/joss-paper\n\nJoss paper documentation update","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2434137922\" data-permission-text=\"Title is private\" data-url=\"https://github.com/elsoroka/Satisfiability.jl/issues/58\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/elsoroka/Satisfiability.jl/pull/58/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/pull/58\">#58</a> from elsoroka/joss-paper"}},{"before":"e962f2fa07f97ead84e80b375ba1df840e3f0818","after":"deec625b269074adfa05dc1834b40a5b551326ca","ref":"refs/heads/joss-paper","pushedAt":"2024-07-28T22:18:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Documentation updates to describe using a custom solver, per issue #50","shortMessageHtmlLink":"Documentation updates to describe using a custom solver, per issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2343038766\" data-permission-text=\"Title is private\" data-url=\"https://github.com/elsoroka/Satisfiability.jl/issues/50\" data-hovercard-type=\"issue\" data-hovercard-url=\"/elsoroka/Satisfiability.jl/issues/50/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/issues/50\">#50</a>"}},{"before":"e293d9bc956273beb35c513176e28b57e4e78d12","after":"e962f2fa07f97ead84e80b375ba1df840e3f0818","ref":"refs/heads/joss-paper","pushedAt":"2024-07-14T22:23:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Addressing reviewer comments: less emphasis on SMT-LIB and explicitly\nstate that using the SMT-LIB language allows different solvers to be\nused.","shortMessageHtmlLink":"Addressing reviewer comments: less emphasis on SMT-LIB and explicitly"}},{"before":"7ddcb76b69ae18729b193a650f60b6540a65f2d9","after":"55b1b8b6cf2307b344354c3409b710c13cd5cd61","ref":"refs/heads/gh-pages","pushedAt":"2024-07-14T01:55:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"build based on ebe03f1","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/elsoroka/Satisfiability.jl/commit/ebe03f1d9dba7b9198551f3ae75bb8cf93f1869c/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/commit/ebe03f1d9dba7b9198551f3ae75bb8cf93f1869c\"><tt>ebe03f1</tt></a>"}},{"before":"b90c7032507ec2424687c6f612a957b2a2fb340f","after":"ebe03f1d9dba7b9198551f3ae75bb8cf93f1869c","ref":"refs/heads/main","pushedAt":"2024-07-14T01:53:50.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Merge pull request #56 from elsoroka/joss-revisions\n\nFix the docs issue","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2407225694\" data-permission-text=\"Title is private\" data-url=\"https://github.com/elsoroka/Satisfiability.jl/issues/56\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/elsoroka/Satisfiability.jl/pull/56/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/pull/56\">#56</a> from elsoroka/joss-revisions"}},{"before":"edece9b6b1b384d753c0e7aa25263dac724f6adb","after":"d3a516fc33146c10b82ea3e32f82422a965a9f82","ref":"refs/heads/joss-revisions","pushedAt":"2024-07-14T01:45:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"propagate adding Yices","shortMessageHtmlLink":"propagate adding Yices"}},{"before":"f714dd71c726df12d4d8767c1968cd397aeccdb9","after":"edece9b6b1b384d753c0e7aa25263dac724f6adb","ref":"refs/heads/joss-revisions","pushedAt":"2024-07-14T01:39:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Don't fail on missing docstrings","shortMessageHtmlLink":"Don't fail on missing docstrings"}},{"before":"23a731364a27057a652b273c40468b63a93afc1f","after":"b90c7032507ec2424687c6f612a957b2a2fb340f","ref":"refs/heads/main","pushedAt":"2024-07-14T01:14:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Install Yices for docs examples that use it","shortMessageHtmlLink":"Install Yices for docs examples that use it"}},{"before":"0c3fd63164140cd47c6cf0caad0714f610343b39","after":"23a731364a27057a652b273c40468b63a93afc1f","ref":"refs/heads/main","pushedAt":"2024-07-14T01:12:17.000Z","pushType":"pr_merge","commitsCount":11,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Merge pull request #55 from elsoroka/joss-revisions\n\nJoss revisions, final push","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2407197565\" data-permission-text=\"Title is private\" data-url=\"https://github.com/elsoroka/Satisfiability.jl/issues/55\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/elsoroka/Satisfiability.jl/pull/55/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/pull/55\">#55</a> from elsoroka/joss-revisions"}},{"before":"8a7fccd69f79735a52b8bbb8b5be0439ff4ef843","after":"f714dd71c726df12d4d8767c1968cd397aeccdb9","ref":"refs/heads/joss-revisions","pushedAt":"2024-07-14T01:08:53.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"fixed doctests, they run again","shortMessageHtmlLink":"fixed doctests, they run again"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEpGFcAgA","startCursor":null,"endCursor":null}},"title":"Activity · elsoroka/Satisfiability.jl"}