{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":770437374,"defaultBranch":"master","name":"pysmt","ownerLogin":"nbailluet","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2024-03-11T14:52:03.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/160679793?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1711657188.0","currentOid":""},"activityList":{"items":[{"before":"e27806457e407a08e83594ecf6b3d73fdf969055","after":null,"ref":"refs/heads/arcanist","pushedAt":"2024-03-28T20:19:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"nbailluet","name":"Nicolas Bailluet","path":"/nbailluet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/160679793?s=80&v=4"}},{"before":null,"after":"e27806457e407a08e83594ecf6b3d73fdf969055","ref":"refs/heads/arcanist","pushedAt":"2024-03-28T20:13:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nbailluet","name":"Nicolas Bailluet","path":"/nbailluet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/160679793?s=80&v=4"},"commit":{"message":"Install PicoSAT with Boolector","shortMessageHtmlLink":"Install PicoSAT with Boolector"}},{"before":"7705e64e7ff364692c12aa8ed48aa6b06f5261b1","after":"8d73ce3004534fddfd9621d718f2f789ac6bcf93","ref":"refs/heads/master","pushedAt":"2024-03-23T23:32:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nbailluet","name":"Nicolas Bailluet","path":"/nbailluet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/160679793?s=80&v=4"},"commit":{"message":"Fix assertion on array element types in 'BoolectorSolver.get_value'","shortMessageHtmlLink":"Fix assertion on array element types in 'BoolectorSolver.get_value'"}},{"before":"f7e221b942bcb627d1a7e9423cd485b28448a285","after":"7705e64e7ff364692c12aa8ed48aa6b06f5261b1","ref":"refs/heads/master","pushedAt":"2024-03-23T23:26:14.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"nbailluet","name":"Nicolas Bailluet","path":"/nbailluet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/160679793?s=80&v=4"},"commit":{"message":"Add back-conversion of default values of const arrays when generating model with Boolector.\nAdd support for boolean indices and elements in arrays with Boolector.","shortMessageHtmlLink":"Add back-conversion of default values of const arrays when generating…"}},{"before":"6039862b055b09f40b91351076d4886cdc0ac764","after":"5d9b6a2eb563de474ec31f77adbce61745561913","ref":"refs/heads/fix-z3-back","pushedAt":"2024-03-14T17:04:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nbailluet","name":"Nicolas Bailluet","path":"/nbailluet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/160679793?s=80&v=4"},"commit":{"message":"Fix Z3 back conversion for bitvector operations that can have more than two arguments (`BVAdd`, `BVMul`, `BVAnd`, `BVOr` and `BVConcat`).","shortMessageHtmlLink":"Fix Z3 back conversion for bitvector operations that can have more th…"}},{"before":"a0e3de39a47bbf139058889cecc97a808108c3e7","after":"f7e221b942bcb627d1a7e9423cd485b28448a285","ref":"refs/heads/master","pushedAt":"2024-03-14T16:58:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nbailluet","name":"Nicolas Bailluet","path":"/nbailluet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/160679793?s=80&v=4"},"commit":{"message":"Add Nicolas Bailluet to contributors","shortMessageHtmlLink":"Add Nicolas Bailluet to contributors"}},{"before":"f75d5ab8bac4f39d4a25d0fc514ca9ea535da17b","after":"a0e3de39a47bbf139058889cecc97a808108c3e7","ref":"refs/heads/master","pushedAt":"2024-03-14T16:55:22.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nbailluet","name":"Nicolas Bailluet","path":"/nbailluet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/160679793?s=80&v=4"},"commit":{"message":"Add Nicolas Bailluet to contributors","shortMessageHtmlLink":"Add Nicolas Bailluet to contributors"}},{"before":"e853949234e751c9aa7fca769d6b77c15f4a523e","after":"f75d5ab8bac4f39d4a25d0fc514ca9ea535da17b","ref":"refs/heads/master","pushedAt":"2024-03-14T16:43:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nbailluet","name":"Nicolas Bailluet","path":"/nbailluet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/160679793?s=80&v=4"},"commit":{"message":"Add Nicolas Bailluet to contributors","shortMessageHtmlLink":"Add Nicolas Bailluet to contributors"}},{"before":"f548a194389ec307b5b19bf711a29bf437f249b2","after":"e853949234e751c9aa7fca769d6b77c15f4a523e","ref":"refs/heads/master","pushedAt":"2024-03-14T16:29:22.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nbailluet","name":"Nicolas Bailluet","path":"/nbailluet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/160679793?s=80&v=4"},"commit":{"message":"Add arrays const logics to `BoolectorSolver.LOGICS`","shortMessageHtmlLink":"Add arrays const logics to <code>BoolectorSolver.LOGICS</code>"}},{"before":"84cb3d88988c7ac4b1e66bd631cf74825aba06ad","after":"f548a194389ec307b5b19bf711a29bf437f249b2","ref":"refs/heads/master","pushedAt":"2024-03-14T16:28:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nbailluet","name":"Nicolas Bailluet","path":"/nbailluet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/160679793?s=80&v=4"},"commit":{"message":"Add arrays const logics to ``BoolectorSolver.LOGICS","shortMessageHtmlLink":"Add arrays const logics to ``BoolectorSolver.LOGICS"}},{"before":null,"after":"6039862b055b09f40b91351076d4886cdc0ac764","ref":"refs/heads/fix-z3-back","pushedAt":"2024-03-14T15:27:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nbailluet","name":"Nicolas Bailluet","path":"/nbailluet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/160679793?s=80&v=4"},"commit":{"message":"Fix Z3 back conversion for bitvector operations that can have more than two arguments (`BVAdd`, `BVMul`, `BVAnd`, `BVOr` and `BVConcat`).","shortMessageHtmlLink":"Fix Z3 back conversion for bitvector operations that can have more th…"}},{"before":"743ff01f994b57437db6251866dbc39074f494de","after":"84cb3d88988c7ac4b1e66bd631cf74825aba06ad","ref":"refs/heads/master","pushedAt":"2024-03-11T14:57:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nbailluet","name":"Nicolas Bailluet","path":"/nbailluet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/160679793?s=80&v=4"},"commit":{"message":"Add Nicolas Bailluet to contributors","shortMessageHtmlLink":"Add Nicolas Bailluet to contributors"}},{"before":"f6e2c66975077da842d3cb8c58a8c7a8b500fb42","after":"743ff01f994b57437db6251866dbc39074f494de","ref":"refs/heads/master","pushedAt":"2024-03-11T14:53:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nbailluet","name":"Nicolas Bailluet","path":"/nbailluet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/160679793?s=80&v=4"},"commit":{"message":"Add support for const arrays in `BTORConverter`","shortMessageHtmlLink":"Add support for const arrays in <code>BTORConverter</code>"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEIiNGOwA","startCursor":null,"endCursor":null}},"title":"Activity · nbailluet/pysmt"}