{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":596675555,"defaultBranch":"develop","name":"solidity","ownerLogin":"pgebal","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-02-02T17:42:41.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/23142088?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1718033853.0","currentOid":""},"activityList":{"items":[{"before":"648a494f69436756464c8f44471d2a0b54cd4100","after":"6ccb3a340c363558900f59c3773cce11ed4957df","ref":"refs/heads/smtchecker/fix-show-proved-safe","pushedAt":"2024-06-18T16:13:18.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Fix internal compiler error on reporting proved targets","shortMessageHtmlLink":"SMTChecker: Fix internal compiler error on reporting proved targets"}},{"before":"4cf029505830e275e2e85d033a15c71c38542f98","after":"648a494f69436756464c8f44471d2a0b54cd4100","ref":"refs/heads/smtchecker/fix-show-proved-safe","pushedAt":"2024-06-18T16:03:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Fix internal compiler error on reporting proved targets","shortMessageHtmlLink":"SMTChecker: Fix internal compiler error on reporting proved targets"}},{"before":"cf138130fae07f1ba4ce0213bfa1cad2a31e717c","after":"4cf029505830e275e2e85d033a15c71c38542f98","ref":"refs/heads/smtchecker/fix-show-proved-safe","pushedAt":"2024-06-18T15:34:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Fix internal compiler error on reporting proved targets","shortMessageHtmlLink":"SMTChecker: Fix internal compiler error on reporting proved targets"}},{"before":"9da2cdfea8d261384ef5a42a02734dcda87ea0fc","after":"cf138130fae07f1ba4ce0213bfa1cad2a31e717c","ref":"refs/heads/smtchecker/fix-show-proved-safe","pushedAt":"2024-06-18T15:21:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Fix internal compiler error on reporting proved targets","shortMessageHtmlLink":"SMTChecker: Fix internal compiler error on reporting proved targets"}},{"before":"7e312379f210da0f2b2a5c21c77058c349912d4b","after":"9da2cdfea8d261384ef5a42a02734dcda87ea0fc","ref":"refs/heads/smtchecker/fix-show-proved-safe","pushedAt":"2024-06-18T09:31:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Fix internal compiler error on reporting proved targets","shortMessageHtmlLink":"SMTChecker: Fix internal compiler error on reporting proved targets"}},{"before":"6088c49495a4e05b1f2663753f220e11f2caa9fb","after":"7e312379f210da0f2b2a5c21c77058c349912d4b","ref":"refs/heads/smtchecker/fix-show-proved-safe","pushedAt":"2024-06-18T09:27:30.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Fix internal compiler error on reporting proved targets","shortMessageHtmlLink":"SMTChecker: Fix internal compiler error on reporting proved targets"}},{"before":"e96be1c0e7b185ffcad8934dc15e1bdbc6d6a51d","after":"6088c49495a4e05b1f2663753f220e11f2caa9fb","ref":"refs/heads/smtchecker/fix-show-proved-safe","pushedAt":"2024-06-17T18:31:22.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Fix internal compiler error on reporting proved targets","shortMessageHtmlLink":"SMTChecker: Fix internal compiler error on reporting proved targets"}},{"before":"1eb00ebc02de70fe6f137f7b990cb44e3ee935f1","after":"48f97a377aa92b7a466df826a5a57d6de92accc0","ref":"refs/heads/smtchecker/fix-invalid-number-of-verified-checks","pushedAt":"2024-06-17T18:25:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Fix error that reported invalid number of verified checks for BMC and CHC engines","shortMessageHtmlLink":"SMTChecker: Fix error that reported invalid number of verified checks…"}},{"before":"af02228a3c730376dbcb004a4b02a37bb9662434","after":"1eb00ebc02de70fe6f137f7b990cb44e3ee935f1","ref":"refs/heads/smtchecker/fix-invalid-number-of-verified-checks","pushedAt":"2024-06-17T18:14:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"Update libsolidity/formal/BMC.cpp\n\nCo-authored-by: Martin Blicha <martin.blicha@gmail.com>","shortMessageHtmlLink":"Update libsolidity/formal/BMC.cpp"}},{"before":"83ab203028ef5801e2132778aaeb992f51d85fc2","after":"e96be1c0e7b185ffcad8934dc15e1bdbc6d6a51d","ref":"refs/heads/smtchecker/fix-show-proved-safe","pushedAt":"2024-06-13T14:27:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Fix internal compiler error on reporting proved targets","shortMessageHtmlLink":"SMTChecker: Fix internal compiler error on reporting proved targets"}},{"before":"dc8fbc3ff2b85a62e6ec15833934c1ac60d17b97","after":"af02228a3c730376dbcb004a4b02a37bb9662434","ref":"refs/heads/smtchecker/fix-invalid-number-of-verified-checks","pushedAt":"2024-06-11T16:01:30.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Fix error that reported invalid number of verified checks for BMC and CHC engines","shortMessageHtmlLink":"SMTChecker: Fix error that reported invalid number of verified checks…"}},{"before":"69d82e52e8190ce4237ff3810dc58ed06a9fec9c","after":"dc8fbc3ff2b85a62e6ec15833934c1ac60d17b97","ref":"refs/heads/smtchecker/fix-invalid-number-of-verified-checks","pushedAt":"2024-06-11T15:38:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Fix error that reported invalid number of verified checks for BMC and CHC engines","shortMessageHtmlLink":"SMTChecker: Fix error that reported invalid number of verified checks…"}},{"before":"166793d7a79a8671328a4d421f762b7aae7f7192","after":"69d82e52e8190ce4237ff3810dc58ed06a9fec9c","ref":"refs/heads/smtchecker/fix-invalid-number-of-verified-checks","pushedAt":"2024-06-11T15:37:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Fix error that reported invalid number of verified checks for BMC and CHC engines","shortMessageHtmlLink":"SMTChecker: Fix error that reported invalid number of verified checks…"}},{"before":"da9e58394cc7450062db5690da435bcfd0a97cc9","after":"166793d7a79a8671328a4d421f762b7aae7f7192","ref":"refs/heads/smtchecker/fix-invalid-number-of-verified-checks","pushedAt":"2024-06-10T16:02:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Fix error that reported invalid number of verified checks for BMC and CHC engines","shortMessageHtmlLink":"SMTChecker: Fix error that reported invalid number of verified checks…"}},{"before":null,"after":"da9e58394cc7450062db5690da435bcfd0a97cc9","ref":"refs/heads/smtchecker/fix-invalid-number-of-verified-checks","pushedAt":"2024-06-10T15:37:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Fix error that reported invalid number of verified checks for BMC and CHC engines","shortMessageHtmlLink":"SMTChecker: Fix error that reported invalid number of verified checks…"}},{"before":"71afbb2b7947e7d9e636cef2ef83de79669f26fa","after":"83ab203028ef5801e2132778aaeb992f51d85fc2","ref":"refs/heads/smtchecker/fix-show-proved-safe","pushedAt":"2024-06-07T15:57:30.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Fix internal compiler error on reporting proved targets","shortMessageHtmlLink":"SMTChecker: Fix internal compiler error on reporting proved targets"}},{"before":null,"after":"71afbb2b7947e7d9e636cef2ef83de79669f26fa","ref":"refs/heads/smtchecker/fix-show-proved-safe","pushedAt":"2024-06-06T15:20:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Fix internal compiler error on reporting proved targets","shortMessageHtmlLink":"SMTChecker: Fix internal compiler error on reporting proved targets"}},{"before":"4619116e80ed3032ed1bc973cf4794658bb7f3a3","after":"f80d45d07f989315f6d540d629368447397a35ab","ref":"refs/heads/smtchecker/add_smt_show_proved_safe_option_for_tests","pushedAt":"2024-05-24T15:33:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Add SMTShowProvedSafe option for use in SMT checker tests","shortMessageHtmlLink":"SMTChecker: Add SMTShowProvedSafe option for use in SMT checker tests"}},{"before":"06abec3a42f5d1a75e6758e52943d134f4d69f5e","after":"f87a88aeab6f93cdbc3bef3ba7a3ee74cd4b0695","ref":"refs/heads/smtchecker/add_unary_minus_check_for_chc","pushedAt":"2024-05-24T15:30:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Add CHC engine check for underflow and overflow in unary minus operation","shortMessageHtmlLink":"SMTChecker: Add CHC engine check for underflow and overflow in unary …"}},{"before":null,"after":"4619116e80ed3032ed1bc973cf4794658bb7f3a3","ref":"refs/heads/smtchecker/add_smt_show_proved_safe_option_for_tests","pushedAt":"2024-05-24T15:26:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Add SMTShowProvedSafe option for use in SMT checker tests","shortMessageHtmlLink":"SMTChecker: Add SMTShowProvedSafe option for use in SMT checker tests"}},{"before":"0dcf5c818280854bbc6ab7079f2a9d4efd719a2f","after":"06abec3a42f5d1a75e6758e52943d134f4d69f5e","ref":"refs/heads/smtchecker/add_unary_minus_check_for_chc","pushedAt":"2024-05-24T15:11:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Add CHC engine check for underflow and overflow in unary minus operation","shortMessageHtmlLink":"SMTChecker: Add CHC engine check for underflow and overflow in unary …"}},{"before":"2159bdaf25fe16f301aa4c4d2cd9ff8e14add53c","after":"0dcf5c818280854bbc6ab7079f2a9d4efd719a2f","ref":"refs/heads/smtchecker/add_unary_minus_check_for_chc","pushedAt":"2024-05-24T14:29:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Add CHC engine check for underflow and overflow in unary minus operation","shortMessageHtmlLink":"SMTChecker: Add CHC engine check for underflow and overflow in unary …"}},{"before":"8637e7233b48b628d3d181fb10d4a4ee35ddfd85","after":"2159bdaf25fe16f301aa4c4d2cd9ff8e14add53c","ref":"refs/heads/smtchecker/add_unary_minus_check_for_chc","pushedAt":"2024-05-24T13:26:06.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Add CHC engine check for underflow and overflow in unary minus operation","shortMessageHtmlLink":"SMTChecker: Add CHC engine check for underflow and overflow in unary …"}},{"before":"7c29c0436570437eda96c5834873aeaf5e599100","after":"8637e7233b48b628d3d181fb10d4a4ee35ddfd85","ref":"refs/heads/smtchecker/add_unary_minus_check_for_chc","pushedAt":"2024-05-24T13:25:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Add CHC engine check for underflow and overflow in unary minus operation","shortMessageHtmlLink":"SMTChecker: Add CHC engine check for underflow and overflow in unary …"}},{"before":"e7edff40eca3e53434f23c8c8b01f83afe3fa071","after":"7c29c0436570437eda96c5834873aeaf5e599100","ref":"refs/heads/smtchecker/add_unary_minus_check_for_chc","pushedAt":"2024-05-23T15:26:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Add CHC engine check for underflow and overflow in unary minus operation","shortMessageHtmlLink":"SMTChecker: Add CHC engine check for underflow and overflow in unary …"}},{"before":"5375ebb8c26840ded8181830f69c6b3b6fe527d4","after":"e7edff40eca3e53434f23c8c8b01f83afe3fa071","ref":"refs/heads/smtchecker/add_unary_minus_check_for_chc","pushedAt":"2024-05-23T13:14:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Add CHC engine check for underflow and overflow in unary minus operation","shortMessageHtmlLink":"SMTChecker: Add CHC engine check for underflow and overflow in unary …"}},{"before":"887a65033c875ea88e0bdf2fd14a0c49a4320d47","after":"6de168040227fe6b2400736812a38f2b305628dd","ref":"refs/heads/smtchecker/refactor_bmc_targets_code","pushedAt":"2024-05-23T13:10:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"Remove UnderOverflow verification target for BMC engine","shortMessageHtmlLink":"Remove UnderOverflow verification target for BMC engine"}},{"before":null,"after":"5375ebb8c26840ded8181830f69c6b3b6fe527d4","ref":"refs/heads/smtchecker/add_unary_minus_check_for_chc","pushedAt":"2024-05-23T13:06:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"SMTChecker: Add CHC engine check for underflow and overflow in unary minus operation","shortMessageHtmlLink":"SMTChecker: Add CHC engine check for underflow and overflow in unary …"}},{"before":"3b6bd26c40e781b63c82c854d9402500017273f9","after":"887a65033c875ea88e0bdf2fd14a0c49a4320d47","ref":"refs/heads/smtchecker/refactor_bmc_targets_code","pushedAt":"2024-05-21T09:43:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"Remove UnderOverflow verification target for BMC engine","shortMessageHtmlLink":"Remove UnderOverflow verification target for BMC engine"}},{"before":"6f0918ed1d2b4d7c5394334e1bdb0c036bf50d17","after":"3b6bd26c40e781b63c82c854d9402500017273f9","ref":"refs/heads/smtchecker/refactor_bmc_targets_code","pushedAt":"2024-05-16T14:06:46.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pgebal","name":null,"path":"/pgebal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23142088?s=80&v=4"},"commit":{"message":"Remove UnderOverflow verification target for BMC engine","shortMessageHtmlLink":"Remove UnderOverflow verification target for BMC engine"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEaKwiIQA","startCursor":null,"endCursor":null}},"title":"Activity · pgebal/solidity"}