{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":198192740,"defaultBranch":"master","name":"UWrMaxSat","ownerLogin":"marekpiotrow","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2019-07-22T09:38:27.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/38426315?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1720938326.0","currentOid":""},"activityList":{"items":[{"before":"c9ef2202e07e2063c464f78c3ad13f2d4f0f5fd7","after":"a8a97d4d10657d64f498f53eac6403c2b3e5df90","ref":"refs/heads/master","pushedAt":"2024-07-14T06:18:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Fixing the problem with a goal value of the first assignment given by CaDiCaL","shortMessageHtmlLink":"Fixing the problem with a goal value of the first assignment given by…"}},{"before":"cc703a474a762b33f245ea9cc2639a0e33e06be5","after":"c9ef2202e07e2063c464f78c3ad13f2d4f0f5fd7","ref":"refs/heads/master","pushedAt":"2024-07-10T16:38:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Fixing the problems described in Discusion #10","shortMessageHtmlLink":"Fixing the problems described in Discusion <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"6617947\" data-permission-text=\"Title is private\" data-url=\"https://github.com/marekpiotrow/UWrMaxSat/discussions/10\" data-hovercard-type=\"discussion\" data-hovercard-url=\"/marekpiotrow/UWrMaxSat/discussions/10/hovercard\" href=\"https://github.com/marekpiotrow/UWrMaxSat/discussions/10\">#10</a>"}},{"before":"fc5d4c4619d7693ed8d9dede87893bd0679273c4","after":"cc703a474a762b33f245ea9cc2639a0e33e06be5","ref":"refs/heads/master","pushedAt":"2024-07-08T11:58:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Fixing the function setFrozen in CadicalWrap.h","shortMessageHtmlLink":"Fixing the function setFrozen in CadicalWrap.h"}},{"before":null,"after":"04ef3ce0259be8b59414726f55d22d173bfcbd4c","ref":"refs/heads/user-lower-bound","pushedAt":"2024-06-21T09:36:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Adding an option to give a known lower bound to the solver","shortMessageHtmlLink":"Adding an option to give a known lower bound to the solver"}},{"before":"bff7234f77688c01223e45c354df520d327d3997","after":"fc5d4c4619d7693ed8d9dede87893bd0679273c4","ref":"refs/heads/master","pushedAt":"2024-06-08T14:58:42.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Add the description of the last changes to README","shortMessageHtmlLink":"Add the description of the last changes to README"}},{"before":"b4ba41f768cb92ddaedb64af3ba07834a84454c0","after":"bff7234f77688c01223e45c354df520d327d3997","ref":"refs/heads/master","pushedAt":"2024-05-27T07:40:18.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Changing the version to 1.6.0","shortMessageHtmlLink":"Changing the version to 1.6.0"}},{"before":"79ec52574d15b2b22f7e8867abe2f458e71ebfde","after":"b4ba41f768cb92ddaedb64af3ba07834a84454c0","ref":"refs/heads/master","pushedAt":"2024-05-08T09:52:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"A few further fixes to issues found while testing with CaDiCal","shortMessageHtmlLink":"A few further fixes to issues found while testing with CaDiCal"}},{"before":"cb5ebd1d0e35851c78b95548aee13f79568e1846","after":"79ec52574d15b2b22f7e8867abe2f458e71ebfde","ref":"refs/heads/master","pushedAt":"2024-05-08T06:31:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Fixing some problems found by testSolver.py from https://github.com/tobipaxe/MaxSATRegressionSuite","shortMessageHtmlLink":"Fixing some problems found by testSolver.py from <a href=\"https://github.com/tobipaxe/MaxSATRegressionSuite\">https://github.com/t…</a>"}},{"before":"721c505d825056e00a3b01e458a909a2c13f9fca","after":"cb5ebd1d0e35851c78b95548aee13f79568e1846","ref":"refs/heads/master","pushedAt":"2024-05-06T14:19:33.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Improving cooperation with SCIP","shortMessageHtmlLink":"Improving cooperation with SCIP"}},{"before":"0d439e3344618781eea007c436860ac3ab4c9b3c","after":"721c505d825056e00a3b01e458a909a2c13f9fca","ref":"refs/heads/master","pushedAt":"2024-04-28T09:45:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Fixing workflows/macos-build.yml","shortMessageHtmlLink":"Fixing workflows/macos-build.yml"}},{"before":"3e4dc3443f8e0e10595f211c18e3146ebcda1e8e","after":"0d439e3344618781eea007c436860ac3ab4c9b3c","ref":"refs/heads/master","pushedAt":"2024-04-28T09:32:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Fixing again workflows/macos-build.yml","shortMessageHtmlLink":"Fixing again workflows/macos-build.yml"}},{"before":"01b6126c77e089616a56c0e03e30d101b58e17b4","after":"3e4dc3443f8e0e10595f211c18e3146ebcda1e8e","ref":"refs/heads/master","pushedAt":"2024-04-28T09:20:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Fixing again workflows/macos-build.yml","shortMessageHtmlLink":"Fixing again workflows/macos-build.yml"}},{"before":"5d65eba3ffbd613bb16446fb5c28f95652ea58bd","after":"01b6126c77e089616a56c0e03e30d101b58e17b4","ref":"refs/heads/master","pushedAt":"2024-04-28T07:50:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Fixing again workflows/macos-build.yml","shortMessageHtmlLink":"Fixing again workflows/macos-build.yml"}},{"before":"b1d226df1c7fec271d956c4722efd359ea5e9d31","after":"5d65eba3ffbd613bb16446fb5c28f95652ea58bd","ref":"refs/heads/master","pushedAt":"2024-04-28T07:05:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Fixing workflows/macos-build.yml","shortMessageHtmlLink":"Fixing workflows/macos-build.yml"}},{"before":"0a75f48985ec7907851138f9acaf57b8668907ca","after":"b1d226df1c7fec271d956c4722efd359ea5e9d31","ref":"refs/heads/master","pushedAt":"2024-04-28T06:25:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Fixing the race condition problem described in Issue #9","shortMessageHtmlLink":"Fixing the race condition problem described in Issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2263227103\" data-permission-text=\"Title is private\" data-url=\"https://github.com/marekpiotrow/UWrMaxSat/issues/9\" data-hovercard-type=\"issue\" data-hovercard-url=\"/marekpiotrow/UWrMaxSat/issues/9/hovercard\" href=\"https://github.com/marekpiotrow/UWrMaxSat/issues/9\">#9</a>"}},{"before":"e45cd2c67815072ee1e7a593ebff3b23ed44b9d1","after":"0a75f48985ec7907851138f9acaf57b8668907ca","ref":"refs/heads/master","pushedAt":"2024-03-22T10:04:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Fixing the memory allocation problem from Issue #8","shortMessageHtmlLink":"Fixing the memory allocation problem from Issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2200343696\" data-permission-text=\"Title is private\" data-url=\"https://github.com/marekpiotrow/UWrMaxSat/issues/8\" data-hovercard-type=\"issue\" data-hovercard-url=\"/marekpiotrow/UWrMaxSat/issues/8/hovercard\" href=\"https://github.com/marekpiotrow/UWrMaxSat/issues/8\">#8</a>"}},{"before":"1dda85abb2722f1a092e0e19e8206120bf675cae","after":"e45cd2c67815072ee1e7a593ebff3b23ed44b9d1","ref":"refs/heads/master","pushedAt":"2024-03-19T08:16:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Correcting the new version of README.md","shortMessageHtmlLink":"Correcting the new version of README.md"}},{"before":"68ed33ae4df84c9a0d27d8fcc6f29a5b70f8eded","after":"1dda85abb2722f1a092e0e19e8206120bf675cae","ref":"refs/heads/master","pushedAt":"2024-03-18T15:51:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Fixing again workflow files","shortMessageHtmlLink":"Fixing again workflow files"}},{"before":"65428d0afb9a82ea7747617825e3a29de314b787","after":"68ed33ae4df84c9a0d27d8fcc6f29a5b70f8eded","ref":"refs/heads/master","pushedAt":"2024-03-18T15:27:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Fixing workflow files","shortMessageHtmlLink":"Fixing workflow files"}},{"before":"fddf1a4aa6271b3744ee674b4e7d76f197f09574","after":"65428d0afb9a82ea7747617825e3a29de314b787","ref":"refs/heads/master","pushedAt":"2024-03-18T15:13:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Fixing workflows/macos-build.yml","shortMessageHtmlLink":"Fixing workflows/macos-build.yml"}},{"before":"487c37ceef8b95e3adcbed5f9c529af9ad234ff9","after":"fddf1a4aa6271b3744ee674b4e7d76f197f09574","ref":"refs/heads/master","pushedAt":"2024-03-18T15:02:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Fixing the problem with the dead link to COMiniSatPS (issue #7)","shortMessageHtmlLink":"Fixing the problem with the dead link to COMiniSatPS (issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2190607777\" data-permission-text=\"Title is private\" data-url=\"https://github.com/marekpiotrow/UWrMaxSat/issues/7\" data-hovercard-type=\"issue\" data-hovercard-url=\"/marekpiotrow/UWrMaxSat/issues/7/hovercard\" href=\"https://github.com/marekpiotrow/UWrMaxSat/issues/7\">#7</a>)"}},{"before":"37fde54985d1abd17b9d2c038db6042b8d9324bc","after":"487c37ceef8b95e3adcbed5f9c529af9ad234ff9","ref":"refs/heads/master","pushedAt":"2024-03-13T18:22:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Correcting the MSYS2 environment for UCRT64 in Github Actions","shortMessageHtmlLink":"Correcting the MSYS2 environment for UCRT64 in Github Actions"}},{"before":"66dccb25a725bbcf052d30a123e00aa1a3bcf8e1","after":"37fde54985d1abd17b9d2c038db6042b8d9324bc","ref":"refs/heads/master","pushedAt":"2024-03-13T18:07:02.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Changing the MSYS2 environment from MINGW64 to UCRT64 in Github Actions","shortMessageHtmlLink":"Changing the MSYS2 environment from MINGW64 to UCRT64 in Github Actions"}},{"before":"b74c415d469a69928ffabf35c366310426fea4a3","after":"66dccb25a725bbcf052d30a123e00aa1a3bcf8e1","ref":"refs/heads/master","pushedAt":"2024-03-11T16:51:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Fixing compilation problems on Windows with MSYS2/UCRT64 (Issue #6)","shortMessageHtmlLink":"Fixing compilation problems on Windows with MSYS2/UCRT64 (Issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2176686422\" data-permission-text=\"Title is private\" data-url=\"https://github.com/marekpiotrow/UWrMaxSat/issues/6\" data-hovercard-type=\"issue\" data-hovercard-url=\"/marekpiotrow/UWrMaxSat/issues/6/hovercard\" href=\"https://github.com/marekpiotrow/UWrMaxSat/issues/6\">#6</a>)"}},{"before":"50cbe930c61ef114b905de1e93fe8830a92711bf","after":"b74c415d469a69928ffabf35c366310426fea4a3","ref":"refs/heads/master","pushedAt":"2024-02-27T15:27:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Fixing the bugs described in Issue #5","shortMessageHtmlLink":"Fixing the bugs described in Issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2129827309\" data-permission-text=\"Title is private\" data-url=\"https://github.com/marekpiotrow/UWrMaxSat/issues/5\" data-hovercard-type=\"issue\" data-hovercard-url=\"/marekpiotrow/UWrMaxSat/issues/5/hovercard\" href=\"https://github.com/marekpiotrow/UWrMaxSat/issues/5\">#5</a>"}},{"before":"dc39657153bb91fcd7b50b560d8ab2a731b97fbd","after":"50cbe930c61ef114b905de1e93fe8830a92711bf","ref":"refs/heads/master","pushedAt":"2024-02-10T08:28:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Correcting a Makefile rule for the UWrMaxSat dynamic library","shortMessageHtmlLink":"Correcting a Makefile rule for the UWrMaxSat dynamic library"}},{"before":"299b2e2c2db0218beff7251af0e3ce7a5cdafc32","after":"dc39657153bb91fcd7b50b560d8ab2a731b97fbd","ref":"refs/heads/master","pushedAt":"2023-12-11T13:22:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Optimizing memory usage in the function isSeparating (Pre_separator.cc)","shortMessageHtmlLink":"Optimizing memory usage in the function isSeparating (Pre_separator.cc)"}},{"before":"c53a51af280a1c134b189994dd73db1851d3f6a6","after":"299b2e2c2db0218beff7251af0e3ce7a5cdafc32","ref":"refs/heads/master","pushedAt":"2023-12-09T11:09:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Too big vectors in the function isSeparating (Pre_separator.cc) can cause an out-of-memory problem. Fixed.","shortMessageHtmlLink":"Too big vectors in the function isSeparating (Pre_separator.cc) can c…"}},{"before":"89f2d6568f7f5f0e217b7b553de22464d1974574","after":"c53a51af280a1c134b189994dd73db1851d3f6a6","ref":"refs/heads/master","pushedAt":"2023-12-06T11:21:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Correcting solver results on empty instances or empty hard/soft clauses.","shortMessageHtmlLink":"Correcting solver results on empty instances or empty hard/soft clauses."}},{"before":"4a986a9f735f6675c16226eb5f16dcfb8adf4c0e","after":"89f2d6568f7f5f0e217b7b553de22464d1974574","ref":"refs/heads/master","pushedAt":"2023-12-05T10:53:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marekpiotrow","name":"Marek Piotrów","path":"/marekpiotrow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38426315?s=80&v=4"},"commit":{"message":"Fixings bugs discovered in the fuzzy testing of the paper 'Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging' by Tobias Paxian and Armin Biere","shortMessageHtmlLink":"Fixings bugs discovered in the fuzzy testing of the paper 'Uncovering…"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEftqA1gA","startCursor":null,"endCursor":null}},"title":"Activity · marekpiotrow/UWrMaxSat"}