{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":1228870,"defaultBranch":"master","name":"sbv","ownerLogin":"LeventErkok","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2011-01-07T07:26:47.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/549449?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1719157850.0","currentOid":""},"activityList":{"items":[{"before":"26f77cc4fc1250e22d911e2ed17f915dba8b3bde","after":"df43147d715c5bc14946986cdd989170210f6887","ref":"refs/heads/master","pushedAt":"2024-07-20T01:05:17.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"update golds","shortMessageHtmlLink":"update golds"}},{"before":"88581bd6f09faccf85dfcfdb189686a09848d70b","after":"26f77cc4fc1250e22d911e2ed17f915dba8b3bde","ref":"refs/heads/master","pushedAt":"2024-07-19T21:06:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"changes/thanks","shortMessageHtmlLink":"changes/thanks"}},{"before":"7928d223d3df7a832d0c557f81b2065d6cba49b3","after":"88581bd6f09faccf85dfcfdb189686a09848d70b","ref":"refs/heads/master","pushedAt":"2024-07-19T20:58:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"Better presentation of optimal values when metric-space is not-identical\n\nAddresses #716","shortMessageHtmlLink":"Better presentation of optimal values when metric-space is not-identical"}},{"before":"b2e82bbf692f346abecebe12d441ffd14fb92a62","after":"7928d223d3df7a832d0c557f81b2065d6cba49b3","ref":"refs/heads/master","pushedAt":"2024-07-14T00:17:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"whitespace","shortMessageHtmlLink":"whitespace"}},{"before":"a0a2fc76bfdff0f2641cb11c62d5141ae9c28363","after":"b2e82bbf692f346abecebe12d441ffd14fb92a62","ref":"refs/heads/master","pushedAt":"2024-07-14T00:13:02.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"Simplify printing","shortMessageHtmlLink":"Simplify printing"}},{"before":"a6df5326db88de4e5a97a86ca74dc1a5e256a151","after":"a0a2fc76bfdff0f2641cb11c62d5141ae9c28363","ref":"refs/heads/master","pushedAt":"2024-07-13T19:21:34.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"ci","shortMessageHtmlLink":"ci"}},{"before":"52ad01b6c296d08da2f44c66c15c264aacd706a3","after":"a6df5326db88de4e5a97a86ca74dc1a5e256a151","ref":"refs/heads/master","pushedAt":"2024-07-12T23:34:41.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"Merge pull request #713 from lsrcz/reduce-constraint-set\n\nRemove MonadSymbolic constraint from registerUISMTFunction and smtFunName","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2406487085\" data-permission-text=\"Title is private\" data-url=\"https://github.com/LeventErkok/sbv/issues/713\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/LeventErkok/sbv/pull/713/hovercard\" href=\"https://github.com/LeventErkok/sbv/pull/713\">#713</a> from lsrcz/reduce-constraint-set"}},{"before":"314539f875e237bba08b7cbf6b9318a861dc8c86","after":"52ad01b6c296d08da2f44c66c15c264aacd706a3","ref":"refs/heads/master","pushedAt":"2024-07-12T23:08:46.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"Merge pull request #712 from lsrcz/master\n\nDocument the known issue of the registration uninterpreted functions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2406461889\" data-permission-text=\"Title is private\" data-url=\"https://github.com/LeventErkok/sbv/issues/712\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/LeventErkok/sbv/pull/712/hovercard\" href=\"https://github.com/LeventErkok/sbv/pull/712\">#712</a> from lsrcz/master"}},{"before":"224e89c2744bb63de5623a9072550eb0bd224ca3","after":"314539f875e237bba08b7cbf6b9318a861dc8c86","ref":"refs/heads/master","pushedAt":"2024-07-08T21:21:12.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"Update SMTSolverVersions.md","shortMessageHtmlLink":"Update SMTSolverVersions.md"}},{"before":"4cf09d372e37dde47f26190e7c91e3731c49b1a1","after":"224e89c2744bb63de5623a9072550eb0bd224ca3","ref":"refs/heads/master","pushedAt":"2024-07-02T22:45:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"Add optimization wrappers. Addresses #707\n\nAdded: optLexicographic, optLexicographicWith, optPareto, optParetoWith, optIndependent, optIndependentWith","shortMessageHtmlLink":"Add optimization wrappers. Addresses <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2377363088\" data-permission-text=\"Title is private\" data-url=\"https://github.com/LeventErkok/sbv/issues/707\" data-hovercard-type=\"issue\" data-hovercard-url=\"/LeventErkok/sbv/issues/707/hovercard\" href=\"https://github.com/LeventErkok/sbv/issues/707\">#707</a>"}},{"before":"892bad67cd967344605bd0d4b9d723c38cc9ed4d","after":"4cf09d372e37dde47f26190e7c91e3731c49b1a1","ref":"refs/heads/master","pushedAt":"2024-06-27T13:39:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"mention Andreas Abel","shortMessageHtmlLink":"mention Andreas Abel"}},{"before":"de4ad07ef7079241f95e67fca25e448b368608a8","after":"892bad67cd967344605bd0d4b9d723c38cc9ed4d","ref":"refs/heads/master","pushedAt":"2024-06-26T03:22:00.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"mention generic num removal. Fixes #706","shortMessageHtmlLink":"mention generic num removal. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #706.\">Fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2341893377\" data-permission-text=\"Title is private\" data-url=\"https://github.com/LeventErkok/sbv/issues/706\" data-hovercard-type=\"issue\" data-hovercard-url=\"/LeventErkok/sbv/issues/706/hovercard\" href=\"https://github.com/LeventErkok/sbv/issues/706\">#706</a>"}},{"before":"4ae4aa043ed9398976e3eef95f05f015fa1972e4","after":"6146d2dbccc8ae981016a5f322b4a96fa68c277a","ref":"refs/heads/noGenericNum","pushedAt":"2024-06-26T03:19:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"Fix up tests","shortMessageHtmlLink":"Fix up tests"}},{"before":"9261525886e0084c67f159f730a59aba13bed89d","after":"4ae4aa043ed9398976e3eef95f05f015fa1972e4","ref":"refs/heads/noGenericNum","pushedAt":"2024-06-26T02:02:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"update extensions","shortMessageHtmlLink":"update extensions"}},{"before":"1e81a56b799558b66a05dfa7e9db121efd777b85","after":"9261525886e0084c67f159f730a59aba13bed89d","ref":"refs/heads/noGenericNum","pushedAt":"2024-06-26T01:59:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"Another test","shortMessageHtmlLink":"Another test"}},{"before":"9a90e88787e9966616fcea0b1f29cab0d56a9dc4","after":"1e81a56b799558b66a05dfa7e9db121efd777b85","ref":"refs/heads/noGenericNum","pushedAt":"2024-06-26T01:24:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"Fix up test suite","shortMessageHtmlLink":"Fix up test suite"}},{"before":"3ab24d1d23db28be4b79a4700107ac4662ce1054","after":"9a90e88787e9966616fcea0b1f29cab0d56a9dc4","ref":"refs/heads/noGenericNum","pushedAt":"2024-06-25T20:47:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"Getting rid of generic num instances\n\nAddresses #706","shortMessageHtmlLink":"Getting rid of generic num instances"}},{"before":null,"after":"3ab24d1d23db28be4b79a4700107ac4662ce1054","ref":"refs/heads/noGenericNum","pushedAt":"2024-06-23T15:50:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"Experimenting with no generic num instance\n\nTrying to address #706","shortMessageHtmlLink":"Experimenting with no generic num instance"}},{"before":"1934e1fc4cd3f927ec66e8e0eef5ce963e5cf940","after":"de4ad07ef7079241f95e67fca25e448b368608a8","ref":"refs/heads/master","pushedAt":"2024-06-07T15:55:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"comments","shortMessageHtmlLink":"comments"}},{"before":"6b1a68f2bebfea774416c69daecdd91ff0ba6f55","after":"1934e1fc4cd3f927ec66e8e0eef5ce963e5cf940","ref":"refs/heads/master","pushedAt":"2024-06-07T15:20:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"Slightly improve the error message here","shortMessageHtmlLink":"Slightly improve the error message here"}},{"before":"720255d2a843b146d248720036a986917ee62041","after":"6b1a68f2bebfea774416c69daecdd91ff0ba6f55","ref":"refs/heads/master","pushedAt":"2024-06-07T15:09:28.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"Merge pull request #703 from lsrcz/fix-inf-arbeq\n\nFix the total order comparison for arbitrary floating point","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2339492376\" data-permission-text=\"Title is private\" data-url=\"https://github.com/LeventErkok/sbv/issues/703\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/LeventErkok/sbv/pull/703/hovercard\" href=\"https://github.com/LeventErkok/sbv/pull/703\">#703</a> from lsrcz/fix-inf-arbeq"}},{"before":"5740c013bdd8005c52e02f8c713c32b091693fb0","after":"720255d2a843b146d248720036a986917ee62041","ref":"refs/heads/master","pushedAt":"2024-06-06T21:23:55.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"Bump libbf dependency","shortMessageHtmlLink":"Bump libbf dependency"}},{"before":"190ea1481d6eec70181ed000b4605cba7c218e85","after":"5740c013bdd8005c52e02f8c713c32b091693fb0","ref":"refs/heads/master","pushedAt":"2024-06-06T21:05:10.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"Merge pull request #701 from lsrcz/fix-fp-cmp\n\nFix the Ord instance for FP and FloatingPoint","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2339122839\" data-permission-text=\"Title is private\" data-url=\"https://github.com/LeventErkok/sbv/issues/701\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/LeventErkok/sbv/pull/701/hovercard\" href=\"https://github.com/LeventErkok/sbv/pull/701\">#701</a> from lsrcz/fix-fp-cmp"}},{"before":"421c4a323be527eda791afd3cb685a012e674aad","after":"190ea1481d6eec70181ed000b4605cba7c218e85","ref":"refs/heads/master","pushedAt":"2024-06-06T19:30:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"add missing changes and update changes","shortMessageHtmlLink":"add missing changes and update changes"}},{"before":"c2956b06b746188e98c6dd8d5d23e608478bf5fe","after":"421c4a323be527eda791afd3cb685a012e674aad","ref":"refs/heads/master","pushedAt":"2024-06-06T19:27:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"Address #699","shortMessageHtmlLink":"Address <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2338733240\" data-permission-text=\"Title is private\" data-url=\"https://github.com/LeventErkok/sbv/issues/699\" data-hovercard-type=\"issue\" data-hovercard-url=\"/LeventErkok/sbv/issues/699/hovercard\" href=\"https://github.com/LeventErkok/sbv/issues/699\">#699</a>"}},{"before":"1f3bb8472c6d824ae09ede42e4bc567b1cd648b0","after":"c2956b06b746188e98c6dd8d5d23e608478bf5fe","ref":"refs/heads/master","pushedAt":"2024-06-06T17:55:51.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"Merge pull request #700 from lsrcz/fix-fp-updatecv\n\nFix mkConstCV which uses fromInteger for FP.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2338847979\" data-permission-text=\"Title is private\" data-url=\"https://github.com/LeventErkok/sbv/issues/700\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/LeventErkok/sbv/pull/700/hovercard\" href=\"https://github.com/LeventErkok/sbv/pull/700\">#700</a> from lsrcz/fix-fp-updatecv"}},{"before":"1c4bbc1ff5791cef2804382488be7af8bc377723","after":"1f3bb8472c6d824ae09ede42e4bc567b1cd648b0","ref":"refs/heads/master","pushedAt":"2024-06-06T17:43:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"Update Concrete.hs\n\ncomment","shortMessageHtmlLink":"Update Concrete.hs"}},{"before":"82c3df396d86bce47a193db649a34655275dfff2","after":"1c4bbc1ff5791cef2804382488be7af8bc377723","ref":"refs/heads/master","pushedAt":"2024-06-06T17:42:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"Fix typos","shortMessageHtmlLink":"Fix typos"}},{"before":"8aa7ee588891853c1e05f045021b49a8e9c054cb","after":"82c3df396d86bce47a193db649a34655275dfff2","ref":"refs/heads/master","pushedAt":"2024-05-20T18:53:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"make hlint happy","shortMessageHtmlLink":"make hlint happy"}},{"before":"41832173eeb70a96a7492b29afb46c63b6dd483f","after":"8aa7ee588891853c1e05f045021b49a8e9c054cb","ref":"refs/heads/master","pushedAt":"2024-05-20T18:32:16.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"LeventErkok","name":"Levent Erkök","path":"/LeventErkok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/549449?s=80&v=4"},"commit":{"message":"Add tower example\n\nFixes #696","shortMessageHtmlLink":"Add tower example"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEhF_mMQA","startCursor":null,"endCursor":null}},"title":"Activity · LeventErkok/sbv"}