{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":645323200,"defaultBranch":"main","name":"mdTLS","ownerLogin":"HackProof","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-05-25T11:58:31.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/31889026?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1695809762.0","currentOid":""},"activityList":{"items":[{"before":"8e9590b4bb232d9c4c2f2f4a36c7bc9df62ee2fa","after":"f84fe3db05acd264b19a498ec9416d6f4dc45982","ref":"refs/heads/main","pushedAt":"2023-10-13T05:46:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"8be9e909ec6be7e7bb0d6f3274f96187e0c19006","after":"8e9590b4bb232d9c4c2f2f4a36c7bc9df62ee2fa","ref":"refs/heads/main","pushedAt":"2023-10-13T05:37:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"5c01d9a0d8d45fb9a8f06243e1de3432261a8dab","after":"8be9e909ec6be7e7bb0d6f3274f96187e0c19006","ref":"refs/heads/main","pushedAt":"2023-09-27T10:16:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Delete Formal verification/Security lemma/temp.md","shortMessageHtmlLink":"Delete Formal verification/Security lemma/temp.md"}},{"before":"c13d1979d05718121eff04a08ac390c454be29cf","after":"5c01d9a0d8d45fb9a8f06243e1de3432261a8dab","ref":"refs/heads/main","pushedAt":"2023-09-27T10:16:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Delete Formal verification/Source lemma/temp.md","shortMessageHtmlLink":"Delete Formal verification/Source lemma/temp.md"}},{"before":"d680f16af6a53bf3e3e3dbfd6937d734a2981b3d","after":"c13d1979d05718121eff04a08ac390c454be29cf","ref":"refs/heads/main","pushedAt":"2023-09-27T10:16:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"00baf86278358f80661aafa973cd64d92250bbc4","after":"d680f16af6a53bf3e3e3dbfd6937d734a2981b3d","ref":"refs/heads/main","pushedAt":"2023-09-27T10:15:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Create temp.md","shortMessageHtmlLink":"Create temp.md"}},{"before":"b725731b084128247e128707ad2f4f43bc761a05","after":"00baf86278358f80661aafa973cd64d92250bbc4","ref":"refs/heads/main","pushedAt":"2023-09-27T10:15:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"644f4f3ecbdee8147a421a4ac2b481e7713a16ea","after":"b725731b084128247e128707ad2f4f43bc761a05","ref":"refs/heads/main","pushedAt":"2023-09-27T10:14:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Create temp.md","shortMessageHtmlLink":"Create temp.md"}},{"before":"57ed91bf2694929d48019665e2a7cb2ca2251cc7","after":"644f4f3ecbdee8147a421a4ac2b481e7713a16ea","ref":"refs/heads/main","pushedAt":"2023-09-27T10:03:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Delete Formal verification/Souce lemma directory","shortMessageHtmlLink":"Delete Formal verification/Souce lemma directory"}},{"before":"7fd84dd5ec8f282a4d25d839f6eaa39965b8ec59","after":"57ed91bf2694929d48019665e2a7cb2ca2251cc7","ref":"refs/heads/main","pushedAt":"2023-09-27T10:03:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Delete Formal verification/Security lemma directory","shortMessageHtmlLink":"Delete Formal verification/Security lemma directory"}},{"before":"302d24cad4add522ae58fc93b2bb7737eab5dc8a","after":"7fd84dd5ec8f282a4d25d839f6eaa39965b8ec59","ref":"refs/heads/main","pushedAt":"2023-09-27T09:04:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"4c91429a36ea0aaa9d262a350fe206da854d3c55","after":"302d24cad4add522ae58fc93b2bb7737eab5dc8a","ref":"refs/heads/main","pushedAt":"2023-09-27T09:04:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Delete Formal specification/mdTLS.spthy","shortMessageHtmlLink":"Delete Formal specification/mdTLS.spthy"}},{"before":"1057afe7a0ffd73e447d449be950b62c3c8f4872","after":"4c91429a36ea0aaa9d262a350fe206da854d3c55","ref":"refs/heads/main","pushedAt":"2023-05-25T16:46:59.460Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"66eb1a22a885c06a688d17f313939b2d8a89f2d6","after":"1057afe7a0ffd73e447d449be950b62c3c8f4872","ref":"refs/heads/main","pushedAt":"2023-05-25T16:35:06.609Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Delete README.md","shortMessageHtmlLink":"Delete README.md"}},{"before":"90d64d5788e83fe27340a5b2f046f48c4cd80f6d","after":"66eb1a22a885c06a688d17f313939b2d8a89f2d6","ref":"refs/heads/main","pushedAt":"2023-05-25T16:34:53.826Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Delete README.md","shortMessageHtmlLink":"Delete README.md"}},{"before":"617ea7108390e8d2cd1e243c7ca2e53803f0e2b7","after":"90d64d5788e83fe27340a5b2f046f48c4cd80f6d","ref":"refs/heads/main","pushedAt":"2023-05-25T16:34:25.185Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"9dbe19adf09e48bf5d3d411ee6baa9c60e36d7e0","after":"617ea7108390e8d2cd1e243c7ca2e53803f0e2b7","ref":"refs/heads/main","pushedAt":"2023-05-25T16:33:57.838Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"8ac83709c923f76c23a8738fb73bf5245ba8a136","after":"9dbe19adf09e48bf5d3d411ee6baa9c60e36d7e0","ref":"refs/heads/main","pushedAt":"2023-05-25T16:32:40.075Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Create README.md","shortMessageHtmlLink":"Create README.md"}},{"before":"281fa6dcfbeb8460c01f73fc75da91b723f414a4","after":"8ac83709c923f76c23a8738fb73bf5245ba8a136","ref":"refs/heads/main","pushedAt":"2023-05-25T16:32:09.616Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"a1f5803e5dcdc88c2a22eb147ccf9c5af8f7abf9","after":"281fa6dcfbeb8460c01f73fc75da91b723f414a4","ref":"refs/heads/main","pushedAt":"2023-05-25T16:02:18.861Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"81bf9a586f30162b2ae0b5c06f865c2ee3fcc157","after":"a1f5803e5dcdc88c2a22eb147ccf9c5af8f7abf9","ref":"refs/heads/main","pushedAt":"2023-05-25T15:37:53.691Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"988bea4f545a7efda8ca1817c3bfb954f31c86b3","after":"81bf9a586f30162b2ae0b5c06f865c2ee3fcc157","ref":"refs/heads/main","pushedAt":"2023-05-25T15:37:37.285Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"ed1d266de3735bc45791794e525b12c9445ca9b1","after":"988bea4f545a7efda8ca1817c3bfb954f31c86b3","ref":"refs/heads/main","pushedAt":"2023-05-25T15:37:14.413Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"5855e9b6e8532c8e33c6721ee8553bf344cb454a","after":"ed1d266de3735bc45791794e525b12c9445ca9b1","ref":"refs/heads/main","pushedAt":"2023-05-25T15:22:21.709Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"904fc49f127bcb1032f84b9479859e24f484118e","after":"5855e9b6e8532c8e33c6721ee8553bf344cb454a","ref":"refs/heads/main","pushedAt":"2023-05-25T15:11:39.051Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"d20a9dc7b02a5ffb9efff24511cf29b614253613","after":"904fc49f127bcb1032f84b9479859e24f484118e","ref":"refs/heads/main","pushedAt":"2023-05-25T15:11:04.801Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"6e6f5a98c0d9fb168e9b7dc6685787623304ca58","after":"d20a9dc7b02a5ffb9efff24511cf29b614253613","ref":"refs/heads/main","pushedAt":"2023-05-25T15:10:39.986Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Create README.md","shortMessageHtmlLink":"Create README.md"}},{"before":"91b56c8f251422073d202c1b9e48322e99d03704","after":"6e6f5a98c0d9fb168e9b7dc6685787623304ca58","ref":"refs/heads/main","pushedAt":"2023-05-25T15:09:52.227Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"71eff7588da1458b11a2713ea5fa5b4daf127399","after":"91b56c8f251422073d202c1b9e48322e99d03704","ref":"refs/heads/main","pushedAt":"2023-05-25T15:09:18.587Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Delete mdTLS.spthy","shortMessageHtmlLink":"Delete mdTLS.spthy"}},{"before":"874997798c39b9012eebbcb8a2801ff366ab684e","after":"71eff7588da1458b11a2713ea5fa5b4daf127399","ref":"refs/heads/main","pushedAt":"2023-05-25T15:08:57.482Z","pushType":"push","commitsCount":1,"pusher":{"login":"HackProof","name":null,"path":"/HackProof","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31889026?s=80&v=4"},"commit":{"message":"Delete Results of formal verification directory","shortMessageHtmlLink":"Delete Results of formal verification directory"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADlhw8kQA","startCursor":null,"endCursor":null}},"title":"Activity · HackProof/mdTLS"}