{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":595125481,"defaultBranch":"main","name":"SiMBA-","ownerLogin":"pgarba","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-01-30T12:59:02.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/9589343?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1679974524.261848","currentOid":""},"activityList":{"items":[{"before":"e30579e2c38af7d4e2d75477d47625b697975251","after":"3d145b6c8a77157b797ac7059c760544c4fc2cdf","ref":"refs/heads/main","pushedAt":"2024-04-29T15:38:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Fix compilation on Linux","shortMessageHtmlLink":"Fix compilation on Linux"}},{"before":"e67850f4f0c164503585d7144ee7b43348059415","after":"e30579e2c38af7d4e2d75477d47625b697975251","ref":"refs/heads/main","pushedAt":"2024-04-27T17:56:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Improve ASTSize","shortMessageHtmlLink":"Improve ASTSize"}},{"before":"a3c6ab6c8f045ca3f63d9882b7163496174f81c5","after":"e67850f4f0c164503585d7144ee7b43348059415","ref":"refs/heads/main","pushedAt":"2024-04-26T15:00:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Fix Proving\nDisable some candidate instructions to improve performance","shortMessageHtmlLink":"Fix Proving"}},{"before":"6dad31ac3181270b98ab3b7e0640294b58bc395b","after":"a3c6ab6c8f045ca3f63d9882b7163496174f81c5","ref":"refs/heads/main","pushedAt":"2024-04-25T03:02:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Fix missed return","shortMessageHtmlLink":"Fix missed return"}},{"before":"11889ffc7749c103b22c03932673f87be41e0681","after":"6dad31ac3181270b98ab3b7e0640294b58bc395b","ref":"refs/heads/main","pushedAt":"2024-04-25T02:58:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Dont walk sub asts by default\nCheck for bitwidth","shortMessageHtmlLink":"Dont walk sub asts by default"}},{"before":"e62704b3e28f2dc6391cd1396747cd7180675d64","after":"11889ffc7749c103b22c03932673f87be41e0681","ref":"refs/heads/main","pushedAt":"2024-04-11T12:00:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Fix bug in Simplifier","shortMessageHtmlLink":"Fix bug in Simplifier"}},{"before":"dcee97bfbf89c706e1648407787a2405b714aea8","after":"e62704b3e28f2dc6391cd1396747cd7180675d64","ref":"refs/heads/main","pushedAt":"2024-04-10T16:45:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Add SelectInst ICMPInst Support\nIncrease TimeOut","shortMessageHtmlLink":"Add SelectInst ICMPInst Support"}},{"before":"5f4c38395deff9821543f346beb5e7070833fe66","after":"dcee97bfbf89c706e1648407787a2405b714aea8","ref":"refs/heads/main","pushedAt":"2024-03-13T13:36:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Timeout options and more","shortMessageHtmlLink":"Timeout options and more"}},{"before":"dbe2fbea3263f0044597cc2e8a0720a33b02554a","after":"5f4c38395deff9821543f346beb5e7070833fe66","ref":"refs/heads/main","pushedAt":"2024-03-13T09:27:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Removing threads in LLVM simplification\n- No improvement because of the mutex","shortMessageHtmlLink":"Removing threads in LLVM simplification"}},{"before":"21512bdf8f5eaeafb43e00a78dabcbb08f511bf5","after":"dbe2fbea3263f0044597cc2e8a0720a33b02554a","ref":"refs/heads/main","pushedAt":"2024-03-13T07:28:53.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Merge","shortMessageHtmlLink":"Merge"}},{"before":"79d9b461794af50ab54875cff5874beb83f97dc3","after":"21512bdf8f5eaeafb43e00a78dabcbb08f511bf5","ref":"refs/heads/main","pushedAt":"2024-03-12T14:55:45.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/pgarba/SiMBA-","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/pgarba/SiMBA-\">https://github.com/pgarba/SiMBA-</a>"}},{"before":"4be4dee36509e059bd651854da3f405b98ee6e72","after":"79d9b461794af50ab54875cff5874beb83f97dc3","ref":"refs/heads/main","pushedAt":"2024-03-12T11:52:16.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/pgarba/Simba-","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/pgarba/Simba-\">https://github.com/pgarba/Simba-</a>"}},{"before":"6bbbab84d78e2d14e458c9aae466ab4b9ce9612b","after":"4be4dee36509e059bd651854da3f405b98ee6e72","ref":"refs/heads/main","pushedAt":"2024-03-12T11:21:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Use faster tactic","shortMessageHtmlLink":"Use faster tactic"}},{"before":"d307d0d308352095821545e1815c222e6abf6a6b","after":"6bbbab84d78e2d14e458c9aae466ab4b9ce9612b","ref":"refs/heads/main","pushedAt":"2024-03-12T10:58:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Add more candidates","shortMessageHtmlLink":"Add more candidates"}},{"before":"6556334e22bb976d4c6d9991204d2c7569d51d14","after":"d307d0d308352095821545e1815c222e6abf6a6b","ref":"refs/heads/main","pushedAt":"2023-09-22T03:40:28.000Z","pushType":"pr_merge","commitsCount":16,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Merge pull request #10 from cctv130/main\n\nfix ubuntu & windows & ci action build","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1907998875\" data-permission-text=\"Title is private\" data-url=\"https://github.com/pgarba/SiMBA-/issues/10\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/pgarba/SiMBA-/pull/10/hovercard\" href=\"https://github.com/pgarba/SiMBA-/pull/10\">#10</a> from cctv130/main"}},{"before":"8ef291f04d884318ce97cb2b560a205e26bfc35e","after":"6556334e22bb976d4c6d9991204d2c7569d51d14","ref":"refs/heads/main","pushedAt":"2023-08-08T03:26:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Add mod-red option","shortMessageHtmlLink":"Add mod-red option"}},{"before":"c323c843fe1c06e774ed987f379c6512df9c59f2","after":"8ef291f04d884318ce97cb2b560a205e26bfc35e","ref":"refs/heads/main","pushedAt":"2023-08-07T06:32:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Support SEXT,ZEXT and bitwidth in Z3","shortMessageHtmlLink":"Support SEXT,ZEXT and bitwidth in Z3"}},{"before":"2721ecda041a0c24a29129dff6b9e3f280b3499c","after":"c323c843fe1c06e774ed987f379c6512df9c59f2","ref":"refs/heads/main","pushedAt":"2023-08-03T15:32:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Increase version number to 1.1","shortMessageHtmlLink":"Increase version number to 1.1"}},{"before":"a67d4b8c234f1461c49e40ca53a633a3bab5c8ac","after":"2721ecda041a0c24a29129dff6b9e3f280b3499c","ref":"refs/heads/main","pushedAt":"2023-08-03T15:32:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Check for command line on windows","shortMessageHtmlLink":"Check for command line on windows"}},{"before":"38f656a714b3063f32e0635a94174291cf95847c","after":"a67d4b8c234f1461c49e40ca53a633a3bab5c8ac","ref":"refs/heads/main","pushedAt":"2023-08-03T09:40:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Improve output","shortMessageHtmlLink":"Improve output"}},{"before":"bdbdc52736e87d81011ad5eadf52efb6b290e685","after":"38f656a714b3063f32e0635a94174291cf95847c","ref":"refs/heads/main","pushedAt":"2023-08-03T06:27:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Instruction Counter","shortMessageHtmlLink":"Instruction Counter"}},{"before":"17e02887d16f99fecf4e4fc1dd46afd6b3a44271","after":"bdbdc52736e87d81011ad5eadf52efb6b290e685","ref":"refs/heads/main","pushedAt":"2023-08-03T04:48:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Redis support and SHR improvements","shortMessageHtmlLink":"Redis support and SHR improvements"}},{"before":"d99965bdb92964fa616cc1d29cac59d234e7d1b6","after":"17e02887d16f99fecf4e4fc1dd46afd6b3a44271","ref":"refs/heads/main","pushedAt":"2023-07-27T03:28:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Support WalkSubAst with external simplifier","shortMessageHtmlLink":"Support WalkSubAst with external simplifier"}},{"before":"e2103fa7fc977b256cbfea09f4c6d4bb22f7f2b1","after":"d99965bdb92964fa616cc1d29cac59d234e7d1b6","ref":"refs/heads/main","pushedAt":"2023-07-19T04:55:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Handle long MBAs","shortMessageHtmlLink":"Handle long MBAs"}},{"before":"6846e3af2b99637c9644c2a984694204fbe7fe0a","after":"e2103fa7fc977b256cbfea09f4c6d4bb22f7f2b1","ref":"refs/heads/main","pushedAt":"2023-07-13T03:29:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Error handling","shortMessageHtmlLink":"Error handling"}},{"before":"58dbc1d5535efd824b697b21f15807d22cf747e1","after":"6846e3af2b99637c9644c2a984694204fbe7fe0a","ref":"refs/heads/main","pushedAt":"2023-07-12T04:07:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Multiplatform support and support power operator","shortMessageHtmlLink":"Multiplatform support and support power operator"}},{"before":"9119779bc3c962bd9736c887c08a05c069e4ac45","after":"58dbc1d5535efd824b697b21f15807d22cf747e1","ref":"refs/heads/main","pushedAt":"2023-07-11T16:09:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Support external simplifier like SiMBA or GAMBA to crunch MBAs on LLVM IR","shortMessageHtmlLink":"Support external simplifier like SiMBA or GAMBA to crunch MBAs on LLV…"}},{"before":"05426a1bf98e500037f95dfcd74e8dde0e6c2e44","after":"9119779bc3c962bd9736c887c08a05c069e4ac45","ref":"refs/heads/main","pushedAt":"2023-07-07T02:24:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Fix z3 on mac","shortMessageHtmlLink":"Fix z3 on mac"}},{"before":"8a87583c91a2455a46f91fc52e9f6a8cd88f2764","after":"05426a1bf98e500037f95dfcd74e8dde0e6c2e44","ref":"refs/heads/main","pushedAt":"2023-07-06T16:16:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Make compatible with saturn","shortMessageHtmlLink":"Make compatible with saturn"}},{"before":"acea36fc8c214cfb0f7475379362fe8547117b35","after":"8a87583c91a2455a46f91fc52e9f6a8cd88f2764","ref":"refs/heads/main","pushedAt":"2023-07-06T14:37:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgarba","name":"Peter Garba","path":"/pgarba","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9589343?s=80&v=4"},"commit":{"message":"Add missing header file","shortMessageHtmlLink":"Add missing header file"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEPSMUGAA","startCursor":null,"endCursor":null}},"title":"Activity · pgarba/SiMBA-"}