{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":5234086,"defaultBranch":"main","name":"smack","ownerLogin":"smackers","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2012-07-30T15:32:57.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3064612?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1692825069.0","currentOid":""},"activityList":{"items":[{"before":"ad4a3f0cf8fda9bf2736546145435492986edde5","after":"919db8ebb8eb139f0c076083159377fb37e9055e","ref":"refs/heads/llvm-13","pushedAt":"2023-09-16T05:29:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shaobo-he","name":"Shaobo","path":"/shaobo-he","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5892703?s=80&v=4"},"commit":{"message":"fixed script formatting","shortMessageHtmlLink":"fixed script formatting"}},{"before":"3cb0cb8f0f3d7db575b9cb1769b76c1eadfa8266","after":"ad4a3f0cf8fda9bf2736546145435492986edde5","ref":"refs/heads/llvm-13","pushedAt":"2023-09-16T05:25:06.000Z","pushType":"push","commitsCount":19,"pusher":{"login":"shaobo-he","name":"Shaobo","path":"/shaobo-he","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5892703?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/develop' into llvm-13","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/develop' into llvm-13"}},{"before":"ddf88d3b03bea1b3ed9d57644b2cf065bb099537","after":"a62cda83d82f1ae74e6cebdeee21e4bd653adb8c","ref":"refs/heads/llvm-14","pushedAt":"2023-09-16T05:14:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shaobo-he","name":"Shaobo","path":"/shaobo-he","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5892703?s=80&v=4"},"commit":{"message":"fixed script formatting","shortMessageHtmlLink":"fixed script formatting"}},{"before":"2452feb97353b92c63902cb9f3126507362ce992","after":"ddf88d3b03bea1b3ed9d57644b2cf065bb099537","ref":"refs/heads/llvm-14","pushedAt":"2023-09-11T05:42:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shaobo-he","name":"Shaobo","path":"/shaobo-he","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5892703?s=80&v=4"},"commit":{"message":"bump sea-dsa version","shortMessageHtmlLink":"bump sea-dsa version"}},{"before":null,"after":"b1bae136f121ef21241eae80e917d7f3bc4c592a","ref":"refs/heads/equiv","pushedAt":"2023-08-23T21:11:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"keram88","name":"Mark S. Baranowski","path":"/keram88","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6365189?s=80&v=4"},"commit":{"message":"Added equivalence checking extensions","shortMessageHtmlLink":"Added equivalence checking extensions"}},{"before":"b92460ec6df0155a99e5400ffc7cb79f64482c62","after":"c49899e75fa66dcf4d21f8cdfcc60bef76b87b15","ref":"refs/heads/cvc5","pushedAt":"2023-04-18T23:27:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"keram88","name":"Mark S. Baranowski","path":"/keram88","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6365189?s=80&v=4"},"commit":{"message":"Upgrade CVC4 to CVC5 as Boogie requires","shortMessageHtmlLink":"Upgrade CVC4 to CVC5 as Boogie requires"}},{"before":"66a98c7194e74bdd34a978591d467a9e7fbd5796","after":"b92460ec6df0155a99e5400ffc7cb79f64482c62","ref":"refs/heads/cvc5","pushedAt":"2023-04-18T23:16:51.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"keram88","name":"Mark S. Baranowski","path":"/keram88","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6365189?s=80&v=4"},"commit":{"message":"Change CVC4 to CVC5 as Boogie requires","shortMessageHtmlLink":"Change CVC4 to CVC5 as Boogie requires"}},{"before":null,"after":"66a98c7194e74bdd34a978591d467a9e7fbd5796","ref":"refs/heads/cvc5","pushedAt":"2023-04-18T22:55:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"keram88","name":"Mark S. Baranowski","path":"/keram88","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6365189?s=80&v=4"},"commit":{"message":"Change CVC4 to CVC5 as Boogie requires","shortMessageHtmlLink":"Change CVC4 to CVC5 as Boogie requires"}},{"before":"e30c391a71d3d50623e4ac74c6e7b8a0b44ad5e4","after":null,"ref":"refs/heads/ci-mac-llvm12","pushedAt":"2023-04-10T06:01:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"shaobo-he","name":"Shaobo","path":"/shaobo-he","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5892703?s=80&v=4"}},{"before":"90c38fdf82ea74c6ea076e1967268214b8963cc5","after":null,"ref":"refs/heads/ci-mac","pushedAt":"2023-04-10T06:01:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"shaobo-he","name":"Shaobo","path":"/shaobo-he","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5892703?s=80&v=4"}},{"before":"0f77aa6d35ba256f958bf181058ed57c0f5255ce","after":null,"ref":"refs/heads/fedora-support","pushedAt":"2023-03-29T19:58:20.001Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"zvonimir","name":"Zvonimir Rakamaric","path":"/zvonimir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1040926?s=80&v=4"}},{"before":"a6c71fc845cadf83989a822a93dc071096d12cb2","after":"a321447953b121289c24684c6ef742b77c5efe9b","ref":"refs/heads/develop","pushedAt":"2023-03-29T19:58:13.846Z","pushType":"pr_merge","commitsCount":9,"pusher":{"login":"zvonimir","name":"Zvonimir Rakamaric","path":"/zvonimir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1040926?s=80&v=4"},"commit":{"message":"Merge pull request #797 from smackers/fedora-support\n\nUpdated build script to support fedora/centos","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1638438872\" data-permission-text=\"Title is private\" data-url=\"https://github.com/smackers/smack/issues/797\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/smackers/smack/pull/797/hovercard\" href=\"https://github.com/smackers/smack/pull/797\">#797</a> from smackers/fedora-support"}},{"before":"ce852dbb8ae7e3649cacc5655dd83939aa684715","after":"0f77aa6d35ba256f958bf181058ed57c0f5255ce","ref":"refs/heads/fedora-support","pushedAt":"2023-03-29T18:05:44.056Z","pushType":"push","commitsCount":1,"pusher":{"login":"rakamaric","name":"Zvonimir Rakamaric","path":"/rakamaric","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92891058?s=80&v=4"},"commit":{"message":"Getting LLVM from a package","shortMessageHtmlLink":"Getting LLVM from a package"}},{"before":"f3071b90da9950271c571fbe6b0fa4868543df28","after":"ce852dbb8ae7e3649cacc5655dd83939aa684715","ref":"refs/heads/fedora-support","pushedAt":"2023-03-28T00:38:48.609Z","pushType":"push","commitsCount":1,"pusher":{"login":"rakamaric","name":"Zvonimir Rakamaric","path":"/rakamaric","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92891058?s=80&v=4"},"commit":{"message":"Installing required Python packages","shortMessageHtmlLink":"Installing required Python packages"}},{"before":"a5c2463c887f204839215cec8efb7099947c0862","after":"f3071b90da9950271c571fbe6b0fa4868543df28","ref":"refs/heads/fedora-support","pushedAt":"2023-03-27T22:30:01.109Z","pushType":"push","commitsCount":1,"pusher":{"login":"rakamaric","name":"Zvonimir Rakamaric","path":"/rakamaric","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92891058?s=80&v=4"},"commit":{"message":"Updated SeaDsa to get a small build fix","shortMessageHtmlLink":"Updated SeaDsa to get a small build fix"}},{"before":"82c2e798786f5eaa32e0e71d50911f6b58f6533e","after":"a5c2463c887f204839215cec8efb7099947c0862","ref":"refs/heads/fedora-support","pushedAt":"2023-03-27T19:04:49.818Z","pushType":"push","commitsCount":1,"pusher":{"login":"rakamaric","name":"Zvonimir Rakamaric","path":"/rakamaric","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92891058?s=80&v=4"},"commit":{"message":"Updated SeaDSA to the latest dev12 commit","shortMessageHtmlLink":"Updated SeaDSA to the latest dev12 commit"}},{"before":"0c0afb10cf4faa58462ba666d4b2728938803088","after":"82c2e798786f5eaa32e0e71d50911f6b58f6533e","ref":"refs/heads/fedora-support","pushedAt":"2023-03-25T03:27:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rakamaric","name":"Zvonimir Rakamaric","path":"/rakamaric","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92891058?s=80&v=4"},"commit":{"message":"Fixed a weirdo dotnet bug that does not allow it to run in background","shortMessageHtmlLink":"Fixed a weirdo dotnet bug that does not allow it to run in background"}},{"before":"497740c04f446731755ed338401a8ac7e6e0e5e2","after":"a6c71fc845cadf83989a822a93dc071096d12cb2","ref":"refs/heads/develop","pushedAt":"2023-03-24T22:10:18.000Z","pushType":"pr_merge","commitsCount":9,"pusher":{"login":"zvonimir","name":"Zvonimir Rakamaric","path":"/zvonimir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1040926?s=80&v=4"},"commit":{"message":"Merge pull request #789 from markxb/develop\n\nFixes to run SMACK on modern macOS","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1291804254\" data-permission-text=\"Title is private\" data-url=\"https://github.com/smackers/smack/issues/789\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/smackers/smack/pull/789/hovercard\" href=\"https://github.com/smackers/smack/pull/789\">#789</a> from markxb/develop"}},{"before":"dbbc74663968f7bddc4336983d22df45c95a09ea","after":"0c0afb10cf4faa58462ba666d4b2728938803088","ref":"refs/heads/fedora-support","pushedAt":"2023-03-24T21:02:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rakamaric","name":"Zvonimir Rakamaric","path":"/rakamaric","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92891058?s=80&v=4"},"commit":{"message":"Building Z3 from source","shortMessageHtmlLink":"Building Z3 from source"}},{"before":"3c143d8e85266baf85164e2c8b72cf3cdd7de6f3","after":"dbbc74663968f7bddc4336983d22df45c95a09ea","ref":"refs/heads/fedora-support","pushedAt":"2023-03-24T19:04:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rakamaric","name":"Zvonimir Rakamaric","path":"/rakamaric","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92891058?s=80&v=4"},"commit":{"message":"Building LLVM with ninja","shortMessageHtmlLink":"Building LLVM with ninja"}},{"before":"497740c04f446731755ed338401a8ac7e6e0e5e2","after":"3c143d8e85266baf85164e2c8b72cf3cdd7de6f3","ref":"refs/heads/fedora-support","pushedAt":"2023-03-23T22:38:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rakamaric","name":"Zvonimir Rakamaric","path":"/rakamaric","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92891058?s=80&v=4"},"commit":{"message":"Updated build script to support fedora/centos","shortMessageHtmlLink":"Updated build script to support fedora/centos"}},{"before":null,"after":"497740c04f446731755ed338401a8ac7e6e0e5e2","ref":"refs/heads/fedora-support","pushedAt":"2023-03-23T20:34:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rakamaric","name":"Zvonimir Rakamaric","path":"/rakamaric","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92891058?s=80&v=4"},"commit":{"message":"Merge pull request #785 from smackers/thread-local-attrs\n\nAdded `treadLocal` attribute for LLVM thread-local globals","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1169782502\" data-permission-text=\"Title is private\" data-url=\"https://github.com/smackers/smack/issues/785\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/smackers/smack/pull/785/hovercard\" href=\"https://github.com/smackers/smack/pull/785\">#785</a> from smackers/thread-local-attrs"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADgeqNoAA","startCursor":null,"endCursor":null}},"title":"Activity · smackers/smack"}