{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":281700619,"defaultBranch":"main","name":"jaylang","ownerLogin":"JHU-PL-Lab","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-07-22T14:31:24.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/13440189?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1720398266.0","currentOid":""},"activityList":{"items":[{"before":"f0a16627961ed13e9e20b6086cf42791299b77f1","after":"eaf09ba604c9ef245d9dca5adc1cc8b3f209b597","ref":"refs/heads/concolic-no-dbmc","pushedAt":"2024-07-13T19:52:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"brandonzstride","name":"Brandon Stride","path":"/brandonzstride","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65562702?s=80&v=4"},"commit":{"message":"rename test","shortMessageHtmlLink":"rename test"}},{"before":"d1af1aba2baf318256111ad6d4f4135d195a8162","after":"eaf09ba604c9ef245d9dca5adc1cc8b3f209b597","ref":"refs/heads/concolic","pushedAt":"2024-07-13T19:52:35.000Z","pushType":"push","commitsCount":24,"pusher":{"login":"brandonzstride","name":"Brandon Stride","path":"/brandonzstride","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65562702?s=80&v=4"},"commit":{"message":"rename test","shortMessageHtmlLink":"rename test"}},{"before":"56a93385e8aea3329ce7a8b6e6c4f825f46084cd","after":"323263e4b986ea1a4f485e8bb24a9e6cdd89c92e","ref":"refs/heads/sato-variant-type","pushedAt":"2024-07-13T02:07:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Earl-Wu","name":"Earl Wu","path":"/Earl-Wu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32856870?s=80&v=4"},"commit":{"message":"More update","shortMessageHtmlLink":"More update"}},{"before":"752b8280fa464c064a52a9d8a5fdf385e3073c46","after":"56a93385e8aea3329ce7a8b6e6c4f825f46084cd","ref":"refs/heads/sato-variant-type","pushedAt":"2024-07-13T01:32:00.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Earl-Wu","name":"Earl Wu","path":"/Earl-Wu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32856870?s=80&v=4"},"commit":{"message":"Slowly fixing bugs","shortMessageHtmlLink":"Slowly fixing bugs"}},{"before":"dbd5f26d8027e849862ea3838adeb5cca2818047","after":"f0a16627961ed13e9e20b6086cf42791299b77f1","ref":"refs/heads/concolic-no-dbmc","pushedAt":"2024-07-12T14:00:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"brandonzstride","name":"Brandon Stride","path":"/brandonzstride","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65562702?s=80&v=4"},"commit":{"message":"no msg","shortMessageHtmlLink":"no msg"}},{"before":"fbd7d78549b9ee5305a7d90c2f794fddf227b6c2","after":"dbd5f26d8027e849862ea3838adeb5cca2818047","ref":"refs/heads/concolic-no-dbmc","pushedAt":"2024-07-12T13:56:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"brandonzstride","name":"Brandon Stride","path":"/brandonzstride","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65562702?s=80&v=4"},"commit":{"message":"delete bjy in top dir","shortMessageHtmlLink":"delete bjy in top dir"}},{"before":"dc359f5145783bc8b37569c05659fd2929285615","after":"fbd7d78549b9ee5305a7d90c2f794fddf227b6c2","ref":"refs/heads/concolic-no-dbmc","pushedAt":"2024-07-12T13:56:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"brandonzstride","name":"Brandon Stride","path":"/brandonzstride","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65562702?s=80&v=4"},"commit":{"message":"update bug list","shortMessageHtmlLink":"update bug list"}},{"before":"3bcf7599a639d40db42770e964432bf0ebdba95c","after":"dc359f5145783bc8b37569c05659fd2929285615","ref":"refs/heads/concolic-no-dbmc","pushedAt":"2024-07-12T00:41:54.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"brandonzstride","name":"Brandon Stride","path":"/brandonzstride","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65562702?s=80&v=4"},"commit":{"message":"bug documentation","shortMessageHtmlLink":"bug documentation"}},{"before":"3bcf7599a639d40db42770e964432bf0ebdba95c","after":"c0502b18c34a8b9d07b06196f3026be392111931","ref":"refs/heads/concolic-merge","pushedAt":"2024-07-11T01:30:43.000Z","pushType":"push","commitsCount":14,"pusher":{"login":"brandonzstride","name":"Brandon Stride","path":"/brandonzstride","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65562702?s=80&v=4"},"commit":{"message":"Merge branch 'sato-variant-type' into concolic-merge","shortMessageHtmlLink":"Merge branch 'sato-variant-type' into concolic-merge"}},{"before":"3c560d182b1b3ed3f53fb467b2a33bd95c7a9f5c","after":"752b8280fa464c064a52a9d8a5fdf385e3073c46","ref":"refs/heads/sato-variant-type","pushedAt":"2024-07-10T22:17:58.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Earl-Wu","name":"Earl Wu","path":"/Earl-Wu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32856870?s=80&v=4"},"commit":{"message":"Fixing bugs","shortMessageHtmlLink":"Fixing bugs"}},{"before":"b8b159895a4acbe4459b0f56a37e5b9fccf86657","after":"3bcf7599a639d40db42770e964432bf0ebdba95c","ref":"refs/heads/concolic-merge","pushedAt":"2024-07-10T20:07:50.000Z","pushType":"push","commitsCount":15,"pusher":{"login":"brandonzstride","name":"Brandon Stride","path":"/brandonzstride","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65562702?s=80&v=4"},"commit":{"message":"push branch name change","shortMessageHtmlLink":"push branch name change"}},{"before":"c1ef31a23a2f16f7e30d5bc09bff988c4d7b1054","after":"3c560d182b1b3ed3f53fb467b2a33bd95c7a9f5c","ref":"refs/heads/sato-variant-type","pushedAt":"2024-07-10T19:19:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Earl-Wu","name":"Earl Wu","path":"/Earl-Wu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32856870?s=80&v=4"},"commit":{"message":"WIP: wrap","shortMessageHtmlLink":"WIP: wrap"}},{"before":"93245b5b9fa607e6f93771b66cdc021efff5785d","after":"3bcf7599a639d40db42770e964432bf0ebdba95c","ref":"refs/heads/concolic-no-dbmc","pushedAt":"2024-07-10T19:00:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"brandonzstride","name":"Brandon Stride","path":"/brandonzstride","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65562702?s=80&v=4"},"commit":{"message":"push branch name change","shortMessageHtmlLink":"push branch name change"}},{"before":"161586f046549b75d43f1adaeed7faf76130f4d4","after":"93245b5b9fa607e6f93771b66cdc021efff5785d","ref":"refs/heads/concolic-no-dbmc","pushedAt":"2024-07-10T18:59:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"brandonzstride","name":"Brandon Stride","path":"/brandonzstride","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65562702?s=80&v=4"},"commit":{"message":"uncover more bugs","shortMessageHtmlLink":"uncover more bugs"}},{"before":"3885b9ffbb13ef59d02009487aa852408848cc79","after":"161586f046549b75d43f1adaeed7faf76130f4d4","ref":"refs/heads/concolic-no-dbmc","pushedAt":"2024-07-10T18:11:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"brandonzstride","name":"Brandon Stride","path":"/brandonzstride","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65562702?s=80&v=4"},"commit":{"message":"more oop tests","shortMessageHtmlLink":"more oop tests"}},{"before":"4b6175182a39be06798c8179addfa7b26b8713ff","after":"c1ef31a23a2f16f7e30d5bc09bff988c4d7b1054","ref":"refs/heads/sato-variant-type","pushedAt":"2024-07-09T19:31:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Earl-Wu","name":"Earl Wu","path":"/Earl-Wu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32856870?s=80&v=4"},"commit":{"message":"More fixing wrap","shortMessageHtmlLink":"More fixing wrap"}},{"before":"e5c70ca4d2b7293cca6404a4c974b48dba7c5358","after":"4b6175182a39be06798c8179addfa7b26b8713ff","ref":"refs/heads/sato-variant-type","pushedAt":"2024-07-09T15:24:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Earl-Wu","name":"Earl Wu","path":"/Earl-Wu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32856870?s=80&v=4"},"commit":{"message":"Delete unnecessary files","shortMessageHtmlLink":"Delete unnecessary files"}},{"before":"233c3ae8596f18ed7295429aa6638a40b8d73e8c","after":"e5c70ca4d2b7293cca6404a4c974b48dba7c5358","ref":"refs/heads/sato-variant-type","pushedAt":"2024-07-09T15:23:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Earl-Wu","name":"Earl Wu","path":"/Earl-Wu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32856870?s=80&v=4"},"commit":{"message":"Wrapper reworking","shortMessageHtmlLink":"Wrapper reworking"}},{"before":"08c6833e5b100287c52d5af8c71bb365a22522ef","after":"3885b9ffbb13ef59d02009487aa852408848cc79","ref":"refs/heads/concolic-no-dbmc","pushedAt":"2024-07-08T23:33:02.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"brandonzstride","name":"Brandon Stride","path":"/brandonzstride","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65562702?s=80&v=4"},"commit":{"message":"no msg -- should have been in last commit","shortMessageHtmlLink":"no msg -- should have been in last commit"}},{"before":"a661c832269cc4200c291be897891e46532809bc","after":"233c3ae8596f18ed7295429aa6638a40b8d73e8c","ref":"refs/heads/sato-variant-type","pushedAt":"2024-07-08T20:26:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Earl-Wu","name":"Earl Wu","path":"/Earl-Wu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32856870?s=80&v=4"},"commit":{"message":"Fixed basic wrap function logic; WIP: Wrapping polymorphism","shortMessageHtmlLink":"Fixed basic wrap function logic; WIP: Wrapping polymorphism"}},{"before":"f6749ce868b8bebc8bc1d8e2f911f6fdc9b8b5c8","after":"a661c832269cc4200c291be897891e46532809bc","ref":"refs/heads/sato-variant-type","pushedAt":"2024-07-08T20:21:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Earl-Wu","name":"Earl Wu","path":"/Earl-Wu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32856870?s=80&v=4"},"commit":{"message":"Fixing wraps","shortMessageHtmlLink":"Fixing wraps"}},{"before":"1bb788bc1fd17c7f0281131cc7332cd3755a8c31","after":"08c6833e5b100287c52d5af8c71bb365a22522ef","ref":"refs/heads/concolic-no-dbmc","pushedAt":"2024-07-08T18:13:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"brandonzstride","name":"Brandon Stride","path":"/brandonzstride","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65562702?s=80&v=4"},"commit":{"message":"delete duplicate tests","shortMessageHtmlLink":"delete duplicate tests"}},{"before":"41e00706e04a3f6a0c1384c10f4187bd70bda459","after":"1bb788bc1fd17c7f0281131cc7332cd3755a8c31","ref":"refs/heads/concolic-no-dbmc","pushedAt":"2024-07-08T18:02:17.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"brandonzstride","name":"Brandon Stride","path":"/brandonzstride","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65562702?s=80&v=4"},"commit":{"message":"no msg -- should have been in prev. commit","shortMessageHtmlLink":"no msg -- should have been in prev. commit"}},{"before":"c9efb5db8a534257b2ffb940183b85ab395542f1","after":"41e00706e04a3f6a0c1384c10f4187bd70bda459","ref":"refs/heads/concolic-no-dbmc","pushedAt":"2024-07-08T15:56:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"brandonzstride","name":"Brandon Stride","path":"/brandonzstride","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65562702?s=80&v=4"},"commit":{"message":"more descriptive path type","shortMessageHtmlLink":"more descriptive path type"}},{"before":"48e18c2bd154fcedfe4df1e56a6e684a234dd60b","after":"c9efb5db8a534257b2ffb940183b85ab395542f1","ref":"refs/heads/concolic-no-dbmc","pushedAt":"2024-07-08T15:28:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"brandonzstride","name":"Brandon Stride","path":"/brandonzstride","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65562702?s=80&v=4"},"commit":{"message":"rename concolic files","shortMessageHtmlLink":"rename concolic files"}},{"before":null,"after":"48e18c2bd154fcedfe4df1e56a6e684a234dd60b","ref":"refs/heads/concolic-no-dbmc","pushedAt":"2024-07-08T00:24:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"brandonzstride","name":"Brandon Stride","path":"/brandonzstride","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65562702?s=80&v=4"},"commit":{"message":"builds with concolic outside dbmc","shortMessageHtmlLink":"builds with concolic outside dbmc"}},{"before":"b8b159895a4acbe4459b0f56a37e5b9fccf86657","after":"d1af1aba2baf318256111ad6d4f4135d195a8162","ref":"refs/heads/concolic","pushedAt":"2024-07-08T00:09:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"brandonzstride","name":"Brandon Stride","path":"/brandonzstride","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65562702?s=80&v=4"},"commit":{"message":"delete top-level-directory test files","shortMessageHtmlLink":"delete top-level-directory test files"}},{"before":"08c621dc30b605905e80f5f6eaab742a30c598e9","after":"b8b159895a4acbe4459b0f56a37e5b9fccf86657","ref":"refs/heads/concolic","pushedAt":"2024-07-07T23:47:43.000Z","pushType":"push","commitsCount":16,"pusher":{"login":"brandonzstride","name":"Brandon Stride","path":"/brandonzstride","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65562702?s=80&v=4"},"commit":{"message":"reformat some code","shortMessageHtmlLink":"reformat some code"}},{"before":"7dc8f332dbbb73632decf2b093254b0d51ef0b27","after":"4ec38b100910e008a74bd04880270682b44d653c","ref":"refs/heads/oopsla-24","pushedAt":"2024-07-07T23:46:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"brandonzstride","name":"Brandon Stride","path":"/brandonzstride","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65562702?s=80&v=4"},"commit":{"message":"add variants to braun tree benchmark","shortMessageHtmlLink":"add variants to braun tree benchmark"}},{"before":"82b4898cbd519ef4399bb74fc5882326f364544b","after":"b8b159895a4acbe4459b0f56a37e5b9fccf86657","ref":"refs/heads/concolic-merge","pushedAt":"2024-07-06T14:30:21.000Z","pushType":"push","commitsCount":24,"pusher":{"login":"brandonzstride","name":"Brandon Stride","path":"/brandonzstride","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65562702?s=80&v=4"},"commit":{"message":"reformat some code","shortMessageHtmlLink":"reformat some code"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEfrBhIgA","startCursor":null,"endCursor":null}},"title":"Activity · JHU-PL-Lab/jaylang"}