{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":97649913,"defaultBranch":"master","name":"awesome-symbolic-execution","ownerLogin":"ksluckow","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-07-18T22:39:15.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/4181210?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1500418163.0","currentOid":""},"activityList":{"items":[{"before":"ad04e1b633572a8b8f5e709630064c9aeef88421","after":"d6ebff5ecdc21259b2e79f1c079a05ef7f14a70b","ref":"refs/heads/master","pushedAt":"2024-03-06T05:52:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ksluckow","name":"Kasper Luckow","path":"/ksluckow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4181210?s=80&v=4"},"commit":{"message":"Update broken links","shortMessageHtmlLink":"Update broken links"}},{"before":"40e8cc30542212f87e161152b192a163cec03cec","after":"ad04e1b633572a8b8f5e709630064c9aeef88421","ref":"refs/heads/master","pushedAt":"2024-03-06T05:46:02.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ksluckow","name":"Kasper Luckow","path":"/ksluckow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4181210?s=80&v=4"},"commit":{"message":"Added new Java DSE engine to the list.\n\nAdded SWAT, a new DSE engine for Java, to the list of existing engines.","shortMessageHtmlLink":"Added new Java DSE engine to the list."}},{"before":"92829f9331a1b6bf92f186543ee9c1d426525451","after":"40e8cc30542212f87e161152b192a163cec03cec","ref":"refs/heads/master","pushedAt":"2023-07-15T04:45:25.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ksluckow","name":"Kasper Luckow","path":"/ksluckow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4181210?s=80&v=4"},"commit":{"message":"Add SymEx-VP engine","shortMessageHtmlLink":"Add SymEx-VP engine"}},{"before":"b1547c37e2821267582eb9b0c6769e2789985efd","after":"92829f9331a1b6bf92f186543ee9c1d426525451","ref":"refs/heads/master","pushedAt":"2023-04-29T21:14:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ksluckow","name":"Kasper Luckow","path":"/ksluckow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4181210?s=80&v=4"},"commit":{"message":"Add GenSym engine","shortMessageHtmlLink":"Add GenSym engine"}},{"before":"48a6b0d53744f7e44e6708ef6fba39509d9b0471","after":"b1547c37e2821267582eb9b0c6769e2789985efd","ref":"refs/heads/master","pushedAt":"2023-03-25T04:23:08.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ksluckow","name":"Kasper Luckow","path":"/ksluckow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4181210?s=80&v=4"},"commit":{"message":"papers: add cadar2013symbolic and XMUsuny collection\r\n\r\nCloses #16.","shortMessageHtmlLink":"papers: add cadar2013symbolic and XMUsuny collection"}},{"before":"191d33c2d6e39e96452a6fb8a7f81e3fd1612968","after":"48a6b0d53744f7e44e6708ef6fba39509d9b0471","ref":"refs/heads/master","pushedAt":"2023-03-25T04:20:23.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ksluckow","name":"Kasper Luckow","path":"/ksluckow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4181210?s=80&v=4"},"commit":{"message":"add Program Analysis course by Prof. Pradel","shortMessageHtmlLink":"add Program Analysis course by Prof. Pradel"}},{"before":"0a295710c95b2c1a569ca288658dd7d4c16c69ea","after":"191d33c2d6e39e96452a6fb8a7f81e3fd1612968","ref":"refs/heads/master","pushedAt":"2023-03-25T04:19:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ksluckow","name":"Kasper Luckow","path":"/ksluckow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4181210?s=80&v=4"},"commit":{"message":"Add Sydr-Fuzz","shortMessageHtmlLink":"Add Sydr-Fuzz"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEDZPHlQA","startCursor":null,"endCursor":null}},"title":"Activity · ksluckow/awesome-symbolic-execution"}