{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":58460549,"defaultBranch":"master","name":"clasp","ownerLogin":"potassco","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-05-10T12:44:35.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/19286215?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1711647221.0","currentOid":""},"activityList":{"items":[{"before":"882985177c68ca307610a35c5e8b6ef1a5e2a59a","after":"a958b7180c868594d0e7a136abc4301f5437d734","ref":"refs/heads/ema","pushedAt":"2024-05-31T07:17:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Rework dynamic/blocked restarts.\n\n* add support for different moving averages\n* add support for keeping ema on restart/block\n* drop \"User\" schedule in favor of dedicated restart schedule\n* fix overflow handling in ScheduleStrategy","shortMessageHtmlLink":"Rework dynamic/blocked restarts."}},{"before":"e11ebd36ec8c49cd67385b99e9fefcccf5c519dc","after":"882985177c68ca307610a35c5e8b6ef1a5e2a59a","ref":"refs/heads/ema","pushedAt":"2024-05-14T15:56:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Rework dynamic/blocked restarts.\n\n* add support for different moving averages\n* add support for keeping ema on restart/block\n* drop \"User\" schedule in favor of dedicated restart schedule\n* fix overflow handling in ScheduleStrategy","shortMessageHtmlLink":"Rework dynamic/blocked restarts."}},{"before":"3795eaf90b0775d6a203fcb6df516ead0a968171","after":"420d78d84133f9d5381fc06c574f9f8a35561ae5","ref":"refs/heads/dev","pushedAt":"2024-05-14T15:56:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Add support for pb-cconstraints in [w]cnf+ format.\n\n* Allow PySat style weighted linear constraints in [w]cnf+ format in\n  addition to the already allowed cardinality constraints.","shortMessageHtmlLink":"Add support for pb-cconstraints in [w]cnf+ format."}},{"before":"92bd0e7152d7c1c00da3bce773bf6f60cf2bd564","after":"e11ebd36ec8c49cd67385b99e9fefcccf5c519dc","ref":"refs/heads/ema","pushedAt":"2024-05-14T10:39:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Rework dynamic/blocked restarts.\n\n* add support for different moving averages\n* add support for keeping ema on restart/block\n* drop \"User\" schedule in favor of dedicated restart schedule\n* fix overflow handling in ScheduleStrategy","shortMessageHtmlLink":"Rework dynamic/blocked restarts."}},{"before":"fafd065a36972174807299fea3c5e65b81e8eae3","after":"3795eaf90b0775d6a203fcb6df516ead0a968171","ref":"refs/heads/dev","pushedAt":"2024-05-13T16:03:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Fix potential infinite loop in DimcasParser.\n\n* Extra (invalid) characters after a clause were not correctly handled\n  and resulted in an infinite loop.","shortMessageHtmlLink":"Fix potential infinite loop in DimcasParser."}},{"before":"d226d8649c48e255cd23459cd7d12cacc62c8bb8","after":"92bd0e7152d7c1c00da3bce773bf6f60cf2bd564","ref":"refs/heads/ema","pushedAt":"2024-04-22T13:09:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Rework dynamic/blocked restarts.\n\n* add support for different moving averages\n* add support for keeping ema on restart/block\n* drop \"User\" schedule in favor of dedicated restart schedule\n* fix overflow handling in ScheduleStrategy","shortMessageHtmlLink":"Rework dynamic/blocked restarts."}},{"before":"7d7b69cb3d567bf24b15672ba4ebcc4a22fe7368","after":"fafd065a36972174807299fea3c5e65b81e8eae3","ref":"refs/heads/dev","pushedAt":"2024-04-22T13:08:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Update libpotassco.","shortMessageHtmlLink":"Update libpotassco."}},{"before":"d9b7b5d9668d5941f9427f6e74ff0de7243328d9","after":"d226d8649c48e255cd23459cd7d12cacc62c8bb8","ref":"refs/heads/ema","pushedAt":"2024-04-18T17:32:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Rework dynamic/blocked restarts.\n\n* add support for different moving averages\n* add support for keeping ema on restart/block\n* drop \"User\" schedule in favor of dedicated restart schedule\n* fix overflow handling in ScheduleStrategy","shortMessageHtmlLink":"Rework dynamic/blocked restarts."}},{"before":"92af18cd53850a1c7510a61c3153fb4689347fc9","after":"7d7b69cb3d567bf24b15672ba4ebcc4a22fe7368","ref":"refs/heads/dev","pushedAt":"2024-04-18T17:32:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Fix typos here and there.","shortMessageHtmlLink":"Fix typos here and there."}},{"before":"6e46f577adc622a0274148967fda9eed180832dd","after":"d9b7b5d9668d5941f9427f6e74ff0de7243328d9","ref":"refs/heads/ema","pushedAt":"2024-04-09T11:15:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Rework dynamic/blocked restarts.\n\n* add support for different moving averages\n* add support for keeping ema on restart/block\n* drop \"User\" schedule in favor of dedicated restart schedule\n* fix overflow handling in ScheduleStrategy","shortMessageHtmlLink":"Rework dynamic/blocked restarts."}},{"before":"db5fce90c35de4934b779814aee24838613bbc4e","after":"92af18cd53850a1c7510a61c3153fb4689347fc9","ref":"refs/heads/dev","pushedAt":"2024-04-09T11:14:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Add number of blocked restarts to stats.","shortMessageHtmlLink":"Add number of blocked restarts to stats."}},{"before":"34986f483a52b1bc6e41e6969a7de0dc9602607e","after":"6e46f577adc622a0274148967fda9eed180832dd","ref":"refs/heads/ema","pushedAt":"2024-04-09T11:07:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Rework dynamic/blocked restarts.\n\n* add support for different moving averages\n* add support for keeping ema on restart/block\n* drop \"User\" schedule in favor of dedicated restart schedule\n* fix overflow handling in ScheduleStrategy","shortMessageHtmlLink":"Rework dynamic/blocked restarts."}},{"before":"9b1713b1644cdc365b0062330556acb95516a2be","after":"34986f483a52b1bc6e41e6969a7de0dc9602607e","ref":"refs/heads/ema","pushedAt":"2024-04-09T10:33:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Rework dynamic/blocked restarts.\n\n* add support for different moving averages\n* add support for keeping ema on restart/block\n* drop \"User\" schedule in favor of dedicated restart schedule\n* fix overflow handling in ScheduleStrategy","shortMessageHtmlLink":"Rework dynamic/blocked restarts."}},{"before":"5727211f90c1f7b3fcab74ed4ed5f2be091ccf98","after":"9b1713b1644cdc365b0062330556acb95516a2be","ref":"refs/heads/ema","pushedAt":"2024-04-05T09:51:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Rework dynamic/blocked restarts.\n\n* add support for different moving averages\n* add support for keeping ema on restart/block\n* drop \"User\" schedule in favor of dedicated Dynamic options\n* fix overflow handling in ScheduleStrategy","shortMessageHtmlLink":"Rework dynamic/blocked restarts."}},{"before":"31e008d0641dbae00b1bc082287b6f8f32ddc7a5","after":"5727211f90c1f7b3fcab74ed4ed5f2be091ccf98","ref":"refs/heads/ema","pushedAt":"2024-04-02T16:09:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"d5ea6a5d6c915ee2fd31efc09eb73d284f6e17dd","after":"31e008d0641dbae00b1bc082287b6f8f32ddc7a5","ref":"refs/heads/ema","pushedAt":"2024-03-28T17:53:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"EMA","shortMessageHtmlLink":"EMA"}},{"before":null,"after":"d5ea6a5d6c915ee2fd31efc09eb73d284f6e17dd","ref":"refs/heads/ema","pushedAt":"2024-03-28T17:33:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"EMA","shortMessageHtmlLink":"EMA"}},{"before":"7b0678ef0d160466975b4c8a35026612b1df7d2d","after":"db5fce90c35de4934b779814aee24838613bbc4e","ref":"refs/heads/dev","pushedAt":"2024-03-28T14:41:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Add support for keeping dynamic restart lbd queue.","shortMessageHtmlLink":"Add support for keeping dynamic restart lbd queue."}},{"before":"e7973f118ea7f34472a84420a08931b413a345ed","after":"7b0678ef0d160466975b4c8a35026612b1df7d2d","ref":"refs/heads/dev","pushedAt":"2024-03-28T13:34:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Add support for keeping dynamic restart lbd queue.","shortMessageHtmlLink":"Add support for keeping dynamic restart lbd queue."}},{"before":"eb0b28dd618b9762830146428875bbb1c0bee524","after":"e7973f118ea7f34472a84420a08931b413a345ed","ref":"refs/heads/dev","pushedAt":"2024-03-25T16:58:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Adjust error handling.\n\n* Replace naked throw statements with POTASSCO-error macros were\n  possible and add fail{Option,Value} functions for throwing\n  option related errors.","shortMessageHtmlLink":"Adjust error handling."}},{"before":"fa71c06acbc870d8b4852cbc3f2ac2bc1bd9dbfa","after":"eb0b28dd618b9762830146428875bbb1c0bee524","ref":"refs/heads/dev","pushedAt":"2024-03-19T17:04:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"App: Simplify output customization.","shortMessageHtmlLink":"App: Simplify output customization."}},{"before":"e949bb607fb54e30c2fcbd460f0935e43ae013c6","after":"fa71c06acbc870d8b4852cbc3f2ac2bc1bd9dbfa","ref":"refs/heads/dev","pushedAt":"2024-03-18T19:40:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Fix tests for CLASP_BUILD_WITH_THREADS=OFF.\n\n* Drop header dependency to standard unordered containers. Depending on\n  the active build configuration, these containers come either from tr1\n  (C++98) or std and while the different versions are API compatible,\n  they are not necessarily layout (ABI) compatible. This could then\n  result in subtle bugs when a header included in C++11 mode was used\n  to refer to symbols from a library compiled in C++98 mode (e.g. unit\n  tests compiled with C++11 running against libclasp built with\n  threading disabled).","shortMessageHtmlLink":"Fix tests for CLASP_BUILD_WITH_THREADS=OFF."}},{"before":"3c869fe552b39356d3b172bc5c538a25fa80d181","after":"e949bb607fb54e30c2fcbd460f0935e43ae013c6","ref":"refs/heads/dev","pushedAt":"2024-03-18T11:11:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Update libpotassco.","shortMessageHtmlLink":"Update libpotassco."}},{"before":"641a5b600af1d24bb5b364d7c35e809dc3dc6cc3","after":"3c869fe552b39356d3b172bc5c538a25fa80d181","ref":"refs/heads/dev","pushedAt":"2024-03-10T08:40:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Simplify RestartParams.\n\n* Add ScheduleStrategy::user() query and drop now redundant\n  \"dynRestart\" bit.","shortMessageHtmlLink":"Simplify RestartParams."}},{"before":"004c4dffbb998dc2a221647e231a8ea06f82ce8d","after":"641a5b600af1d24bb5b364d7c35e809dc3dc6cc3","ref":"refs/heads/dev","pushedAt":"2024-02-21T08:56:50.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Fix potential nullptr access in parallel solve.\n\n* Clasp::alignedAlloc() might return nullptr (e.g. in case of OOM) but\n  the calling code in parallel solve failed to check for this.","shortMessageHtmlLink":"Fix potential nullptr access in parallel solve."}},{"before":"3f3db1e3f9a1eda7d2170d5e5a2ade6646a88361","after":"004c4dffbb998dc2a221647e231a8ea06f82ce8d","ref":"refs/heads/dev","pushedAt":"2024-02-16T14:23:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Use intrusive linked list in VMTF.\n\n* Replace std::list with simple intrusive list in VMTF heuristic.\n  This is more cache efficient, saves some memory, and reduces\n  individual memory allocations.\n\n* NOTE: We could optimize the handling of the `front_` position by\n  additionally storing an int64 `orderV` number per variable `v`set to\n  a monotonically increasing global order number `orderG` on each\n  `moveToFront(v)` or `-orderG` on each `addToList(v)`.","shortMessageHtmlLink":"Use intrusive linked list in VMTF."}},{"before":"6e127c1108f2ab3c9894432e45703867fc39c352","after":null,"ref":"refs/heads/vmtf-intrusive","pushedAt":"2024-02-16T14:22:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"}},{"before":null,"after":"6e127c1108f2ab3c9894432e45703867fc39c352","ref":"refs/heads/vmtf-intrusive","pushedAt":"2024-02-16T13:19:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Use intrusive linked list in VMTF.","shortMessageHtmlLink":"Use intrusive linked list in VMTF."}},{"before":"3d57494b541501dc2e4ae1387e10540b9440ae2e","after":null,"ref":"refs/tags/v3.3.10","pushedAt":"2024-02-07T16:19:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"}},{"before":"3d57494b541501dc2e4ae1387e10540b9440ae2e","after":"3f3db1e3f9a1eda7d2170d5e5a2ade6646a88361","ref":"refs/heads/master","pushedAt":"2024-02-07T16:17:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BenKaufmann","name":"Benjamin Kaufmann","path":"/BenKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1936072?s=80&v=4"},"commit":{"message":"Update libpotassco.","shortMessageHtmlLink":"Update libpotassco."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEWL1mNwA","startCursor":null,"endCursor":null}},"title":"Activity · potassco/clasp"}