{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":549566725,"defaultBranch":"master","name":"plancksat","ownerLogin":"lou1306","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-10-11T11:39:24.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1579067?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1683903060.299528","currentOid":""},"activityList":{"items":[{"before":"9d01b9e0bf3b544d10dbfc0f08de8c09832ea571","after":"bac83e04d552ce551af3e0d895ba1890272568b5","ref":"refs/heads/vanilla","pushedAt":"2023-05-13T12:21:03.540Z","pushType":"push","commitsCount":1,"pusher":{"login":"lou1306","name":"Luca Di Stefano","path":"/lou1306","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1579067?s=80&v=4"},"commit":{"message":"Fix a bug from with mkLit\n\nIntroduced in 9d01b9e0bf3b544d10dbfc0f08de8c09832ea571","shortMessageHtmlLink":"Fix a bug from with mkLit"}},{"before":"790f7f4ee9fe529d58507944f129cc483e68ef09","after":"9d01b9e0bf3b544d10dbfc0f08de8c09832ea571","ref":"refs/heads/vanilla","pushedAt":"2023-05-13T12:16:57.389Z","pushType":"push","commitsCount":1,"pusher":{"login":"lou1306","name":"Luca Di Stefano","path":"/lou1306","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1579067?s=80&v=4"},"commit":{"message":"Better way of having single-argument mkLit()","shortMessageHtmlLink":"Better way of having single-argument mkLit()"}},{"before":null,"after":"790f7f4ee9fe529d58507944f129cc483e68ef09","ref":"refs/heads/vanilla","pushedAt":"2023-05-12T14:51:00.299Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lou1306","name":"Luca Di Stefano","path":"/lou1306","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1579067?s=80&v=4"},"commit":{"message":"Add mkLit(Var)","shortMessageHtmlLink":"Add mkLit(Var)"}},{"before":"bdaa290db150c44cb6da02558ac2cbefd6c2b422","after":"e38d6f229b6112407980696c8671c9b15e71ee49","ref":"refs/heads/master","pushedAt":"2023-05-10T11:53:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lou1306","name":"Luca Di Stefano","path":"/lou1306","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1579067?s=80&v=4"},"commit":{"message":"Fixed a bug in weak assumptions\n\nSometimes a weakly assumed variable (WAV) may have already been given\nan assignment, and doing an uncheckedEnqueue() on it would cause an\nassertion violation, a segfault, you name it. Now we silently drop\nthese WAVs and return the 1st one that is still undef.\n\n**This is the actual Plancksat v1.2**\n(don't trust 7f3803b4e00cea0d21c7f32c14f678b70ca9943d)","shortMessageHtmlLink":"Fixed a bug in weak assumptions"}},{"before":"58337c654c47cf05bb7282f8a23f428af0442b36","after":"bdaa290db150c44cb6da02558ac2cbefd6c2b422","ref":"refs/heads/master","pushedAt":"2023-05-09T12:53:48.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"lou1306","name":"Luca Di Stefano","path":"/lou1306","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1579067?s=80&v=4"},"commit":{"message":"Fix Solver::pickBranchLit()","shortMessageHtmlLink":"Fix Solver::pickBranchLit()"}},{"before":"b22f38f02636e5418d70d5e7a6f09a568192b081","after":"58337c654c47cf05bb7282f8a23f428af0442b36","ref":"refs/heads/master","pushedAt":"2023-05-09T12:33:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lou1306","name":"Luca Di Stefano","path":"/lou1306","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1579067?s=80&v=4"},"commit":{"message":"Refactor Solver::pushWeak()\n\nWe now pass a Var and let the method create a literal","shortMessageHtmlLink":"Refactor Solver::pushWeak()"}},{"before":"7f3803b4e00cea0d21c7f32c14f678b70ca9943d","after":"b22f38f02636e5418d70d5e7a6f09a568192b081","ref":"refs/heads/master","pushedAt":"2023-05-03T13:04:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lou1306","name":"Luca Di Stefano","path":"/lou1306","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1579067?s=80&v=4"},"commit":{"message":"Bugfix\n\nFix a bug from ace799ecedbda0cd7ec8540622c8b18f2671b38f that may cause\nmemory violations under Linux","shortMessageHtmlLink":"Bugfix"}},{"before":"5889d5a222e106bf2b560793ec1da34caec59a96","after":"7f3803b4e00cea0d21c7f32c14f678b70ca9943d","ref":"refs/heads/master","pushedAt":"2023-04-24T21:41:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"lou1306","name":"Luca Di Stefano","path":"/lou1306","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1579067?s=80&v=4"},"commit":{"message":"Version 1.2","shortMessageHtmlLink":"Version 1.2"}},{"before":"cdedf5b70782150568fc70c501763997346b1e0f","after":"5889d5a222e106bf2b560793ec1da34caec59a96","ref":"refs/heads/master","pushedAt":"2023-04-09T10:53:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lou1306","name":"Luca Di Stefano","path":"/lou1306","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1579067?s=80&v=4"},"commit":{"message":"Version 1.1","shortMessageHtmlLink":"Version 1.1"}},{"before":"c39658dfd4d66d9be7dc47288634506da8ddee00","after":"cdedf5b70782150568fc70c501763997346b1e0f","ref":"refs/heads/master","pushedAt":"2023-04-09T10:47:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lou1306","name":"Luca Di Stefano","path":"/lou1306","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1579067?s=80&v=4"},"commit":{"message":"feat: Read weak assumptions from file\n\nBonus:\n* display number of weakly assumed variables\n* Slightly more informative error messages in parseInt()","shortMessageHtmlLink":"feat: Read weak assumptions from file"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADLAW55gA","startCursor":null,"endCursor":null}},"title":"Activity · lou1306/plancksat"}