{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":640654851,"defaultBranch":"main","name":"Rework-part-of-z3-proving","ownerLogin":"Nitr0-G","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-05-14T19:48:12.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/120374383?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1684176512.7817228","currentOid":""},"activityList":{"items":[{"before":"5c7d2c7dfbe9b525dcbb2e89317401553263866e","after":"5e41c4552d80d478c79fb45f014f2abf94077637","ref":"refs/heads/main","pushedAt":"2023-10-11T17:12:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"a1045a6cad42e78609aaf8f3219355a483104eeb","after":"5c7d2c7dfbe9b525dcbb2e89317401553263866e","ref":"refs/heads/main","pushedAt":"2023-06-02T20:19:05.819Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"f60fa8ca6adafd6ed144525af88f2cae88e9e1df","after":"a1045a6cad42e78609aaf8f3219355a483104eeb","ref":"refs/heads/main","pushedAt":"2023-06-02T20:18:54.505Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"53efc52eff26a91d2a94018d06d9f623ab1fd406","after":"f60fa8ca6adafd6ed144525af88f2cae88e9e1df","ref":"refs/heads/main","pushedAt":"2023-05-22T19:05:38.779Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Update FirstPhase.cpp","shortMessageHtmlLink":"Update FirstPhase.cpp"}},{"before":"1e9771c0801c0c0c457f074b375aff89b53f9b8d","after":"53efc52eff26a91d2a94018d06d9f623ab1fd406","ref":"refs/heads/main","pushedAt":"2023-05-22T19:05:09.971Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Update Emu.cpp","shortMessageHtmlLink":"Update Emu.cpp"}},{"before":"d517be717922fa5f8de52ef93a001b1b9104166e","after":"1e9771c0801c0c0c457f074b375aff89b53f9b8d","ref":"refs/heads/main","pushedAt":"2023-05-22T19:03:42.968Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Update PhasePatcher.cpp","shortMessageHtmlLink":"Update PhasePatcher.cpp"}},{"before":"2a84266124ba9c856a5ea859f5a1d16071d003f3","after":"d517be717922fa5f8de52ef93a001b1b9104166e","ref":"refs/heads/main","pushedAt":"2023-05-22T16:52:26.705Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Patcher add","shortMessageHtmlLink":"Patcher add"}},{"before":"22254d1c9a54a59827d46327360cf3d5dc9d4f03","after":"2a84266124ba9c856a5ea859f5a1d16071d003f3","ref":"refs/heads/main","pushedAt":"2023-05-17T19:56:49.155Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"includes fix","shortMessageHtmlLink":"includes fix"}},{"before":"9cbad0fbb9721feca05320cbf6d2ee68ee128b0c","after":"22254d1c9a54a59827d46327360cf3d5dc9d4f03","ref":"refs/heads/main","pushedAt":"2023-05-17T19:51:00.778Z","pushType":"push","commitsCount":2,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"The second phase added","shortMessageHtmlLink":"The second phase added"}},{"before":"6a21f2d56a4faf7c7e697b5b21d5c1593cfe52af","after":"9cbad0fbb9721feca05320cbf6d2ee68ee128b0c","ref":"refs/heads/main","pushedAt":"2023-05-15T19:07:40.861Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"includes fix","shortMessageHtmlLink":"includes fix"}},{"before":"4820fe307672ddea062c9bac3f0ed751ff5e2034","after":"6a21f2d56a4faf7c7e697b5b21d5c1593cfe52af","ref":"refs/heads/main","pushedAt":"2023-05-15T18:58:28.656Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Update CMakeLists.txt","shortMessageHtmlLink":"Update CMakeLists.txt"}},{"before":"2841c8c408936253e5b410d91c3166a29e0d7270","after":"4820fe307672ddea062c9bac3f0ed751ff5e2034","ref":"refs/heads/main","pushedAt":"2023-05-15T18:55:28.214Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Add CompiledDeps","shortMessageHtmlLink":"Add CompiledDeps"}},{"before":"77c9d3e6714d5e91d9876fcca11a07a1aa650f78","after":"2841c8c408936253e5b410d91c3166a29e0d7270","ref":"refs/heads/main","pushedAt":"2023-05-15T18:48:32.700Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"0bf84000dbdd924736b09bf6285bf12fda37c256","after":"77c9d3e6714d5e91d9876fcca11a07a1aa650f78","ref":"refs/heads/main","pushedAt":"2023-05-15T18:48:12.312Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Delete FirstPhase.hpp","shortMessageHtmlLink":"Delete FirstPhase.hpp"}},{"before":"ec2728e26094c56b198159cdf184a8192d14a04c","after":"0bf84000dbdd924736b09bf6285bf12fda37c256","ref":"refs/heads/main","pushedAt":"2023-05-15T18:48:04.371Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Delete HooksFromEmu.hpp","shortMessageHtmlLink":"Delete HooksFromEmu.hpp"}},{"before":"ae024ff1e5751e64cc22b4be4e45871d2ac6aa36","after":"ec2728e26094c56b198159cdf184a8192d14a04c","ref":"refs/heads/main","pushedAt":"2023-05-15T18:47:52.083Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Delete PeLoaderEmu.hpp","shortMessageHtmlLink":"Delete PeLoaderEmu.hpp"}},{"before":"b0414a750154423393f817531e53b1383c8164f0","after":"ae024ff1e5751e64cc22b4be4e45871d2ac6aa36","ref":"refs/heads/main","pushedAt":"2023-05-15T18:47:39.644Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Delete z3states.hpp","shortMessageHtmlLink":"Delete z3states.hpp"}},{"before":"082a102abbb9300f9808c45681fca0324bc4dc15","after":"b0414a750154423393f817531e53b1383c8164f0","ref":"refs/heads/main","pushedAt":"2023-05-15T18:47:29.891Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Delete z3ASMx64Instructions.hpp","shortMessageHtmlLink":"Delete z3ASMx64Instructions.hpp"}},{"before":"25d031e5b4547349187c97023f048d13fdffe2dd","after":"082a102abbb9300f9808c45681fca0324bc4dc15","ref":"refs/heads/main","pushedAt":"2023-05-15T18:47:21.306Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Delete Emu.hpp","shortMessageHtmlLink":"Delete Emu.hpp"}},{"before":"1677f55ed71a60295ffc3f4e33b22c00c01342c2","after":"25d031e5b4547349187c97023f048d13fdffe2dd","ref":"refs/heads/main","pushedAt":"2023-05-15T18:46:11.009Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"59c1ed68e6ba879d6d97615eeeb319913218b362","after":"1677f55ed71a60295ffc3f4e33b22c00c01342c2","ref":"refs/heads/main","pushedAt":"2023-05-15T18:45:52.349Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"bb6421b21a4de8f3d574bec9fa0499bba215cf05","after":"59c1ed68e6ba879d6d97615eeeb319913218b362","ref":"refs/heads/main","pushedAt":"2023-05-15T18:45:32.003Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"6b1abd26f2b83d48926a8bfd9c2ef16564e4ad49","after":"bb6421b21a4de8f3d574bec9fa0499bba215cf05","ref":"refs/heads/main","pushedAt":"2023-05-15T18:45:18.249Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"442678d81db21813b631ea245e6fe0e828aa26cf","after":"6b1abd26f2b83d48926a8bfd9c2ef16564e4ad49","ref":"refs/heads/main","pushedAt":"2023-05-15T18:45:04.595Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Delete CMakeLists.txt","shortMessageHtmlLink":"Delete CMakeLists.txt"}},{"before":"9988550dcbbbbc879c3b1dc99ecc701f3130ceec","after":"442678d81db21813b631ea245e6fe0e828aa26cf","ref":"refs/heads/main","pushedAt":"2023-05-15T08:29:03.715Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"7faa6a775aaa797eb7d504f0144489147c687297","after":"9988550dcbbbbc879c3b1dc99ecc701f3130ceec","ref":"refs/heads/main","pushedAt":"2023-05-15T04:51:38.801Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Update z3ASMx64Instructions.cpp","shortMessageHtmlLink":"Update z3ASMx64Instructions.cpp"}},{"before":"52e0918ccc3396b11e75d056b6c9fb21badc8654","after":"7faa6a775aaa797eb7d504f0144489147c687297","ref":"refs/heads/main","pushedAt":"2023-05-15T04:46:57.107Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Update README.txt","shortMessageHtmlLink":"Update README.txt"}},{"before":"5ae7b3b37dd36f8511516d188f7d667ddced2377","after":"52e0918ccc3396b11e75d056b6c9fb21badc8654","ref":"refs/heads/main","pushedAt":"2023-05-14T20:10:36.173Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"examples\n\nexamples for project","shortMessageHtmlLink":"examples"}},{"before":"d1faacfc2d5e1e2c863b6b2296b44ff41979e719","after":"5ae7b3b37dd36f8511516d188f7d667ddced2377","ref":"refs/heads/main","pushedAt":"2023-05-14T20:02:03.490Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Create README.md","shortMessageHtmlLink":"Create README.md"}},{"before":"e48c66c6b07fca478030aa9dcfe61e773cbfeb5a","after":"d1faacfc2d5e1e2c863b6b2296b44ff41979e719","ref":"refs/heads/main","pushedAt":"2023-05-14T19:49:18.417Z","pushType":"push","commitsCount":1,"pusher":{"login":"Nitr0-G","name":null,"path":"/Nitr0-G","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120374383?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0xMVQxNzoxMjoyMi4wMDAwMDBazwAAAAOU0bQg","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0xMVQxNzoxMjoyMi4wMDAwMDBazwAAAAOU0bQg","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNS0xNFQxOTo0OToxOC40MTc3MjZazwAAAAMsd89h"}},"title":"Activity · Nitr0-G/Rework-part-of-z3-proving"}