{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":325870217,"defaultBranch":"master","name":"ctl","ownerLogin":"rurban","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2020-12-31T20:39:27.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/41809?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1710402714.0","currentOid":""},"activityList":{"items":[{"before":"d314c08878519e11797bc63067804e3b379e0596","after":null,"ref":"refs/heads/cbmc","pushedAt":"2024-03-14T07:51:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"}},{"before":"b8716e8318330cf1bda5b1e1732da502d623a205","after":"0ecc5b311b4706eee2edadf39fcb2cac163fcbc8","ref":"refs/heads/c++98","pushedAt":"2024-02-21T07:09:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"work on c++ -std=c++98 compat WIP","shortMessageHtmlLink":"work on c++ -std=c++98 compat WIP"}},{"before":"7bb328371936a6bafbb978455d6d5c403c6168e1","after":"299d4b1d373713150beeb00bddd65ce5ca29bd7a","ref":"refs/heads/u8ident","pushedAt":"2024-02-21T07:09:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"WIP add u8ident\n\nExtension for secure utf-8 identifiers, for everybody\nseeing identifiable names in UTF-8 encodings, like\na filename in a terminal or UI widget.\nIdentifiers need to be identifiable, i.e. implement mixed\nscript detection, and such for a Unicode TR39\nModerately Restrictive restriction level.\nAlso identifiers are validated and normalized by default, to\nbe able to compare and find them.","shortMessageHtmlLink":"WIP add u8ident"}},{"before":"ae733a011fb0948161508628b1c5b3fd438b3a47","after":"47013f05639689cdbed2da61c35ce40eb84cc457","ref":"refs/heads/u8string","pushedAt":"2024-02-21T07:09:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"u8string: derive directly from vector\n\nmost methods are competelely different, esp. the iterator.\nbut esp. struct A is different.\n\nadd a special u8str_str_push_back for strings not chars,\nanalog to vec_str_push_back\n\nit's a bit hard to write tests without an libstdc++ <u8string> yet.\n\nuse libunistring as first possible backend. there are more.","shortMessageHtmlLink":"u8string: derive directly from vector"}},{"before":"a3241a8f53c171bd5391c5df3740f3cadefaad73","after":"68d27e77242207dc8e3c6cf980626079a1a3a9f7","ref":"refs/heads/svec","pushedAt":"2024-02-21T07:09:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"more svec","shortMessageHtmlLink":"more svec"}},{"before":"371d81bcffcae57a8c9fe95f2a7ec625cac93814","after":"6adb597c1845068ef67bf8a962f90629d0e1b240","ref":"refs/heads/btree","pushedAt":"2024-02-21T07:09:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"WIP add btree_set\n\nwith node size of 256, as in abseil.\nalso using similar tricks as abseil, using much less memory per node.","shortMessageHtmlLink":"WIP add btree_set"}},{"before":"c33736ad2bfd0708772dd3e394fa762c950c7a42","after":"6d903c55d271bb792858e6be34a898e68e1f7909","ref":"refs/heads/set","pushedAt":"2024-02-21T07:09:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"set: start working on join\n\nfor faster set algos and pctl","shortMessageHtmlLink":"set: start working on join"}},{"before":"e691f51c7a1b1bf7f9526292e3cc0046b8b00857","after":"6f90e79d585d68550ccf26a15bf871171a378a4c","ref":"refs/heads/map","pushedAt":"2024-02-21T07:09:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"more PAIR stuff\n\ninclude it at the right position. we need to have A already\nto set default methods.","shortMessageHtmlLink":"more PAIR stuff"}},{"before":"4fe0fa5dd675a56c7cc51deaa801be1563aac7d4","after":"9cb03ab74cd6f1156345b1826f0a20640fc9d501","ref":"refs/heads/hmap","pushedAt":"2024-02-21T07:09:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"use charpint.hh","shortMessageHtmlLink":"use charpint.hh"}},{"before":"a97f4db03faf9c4b83efb573ed4a3e2a56a05315","after":"ab140931688a8c77ae7dda1b15236ecbc5e4aa4e","ref":"refs/heads/hash","pushedAt":"2024-02-21T07:09:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"change unordered_set API, no hash, equal fields\n\nuse static methods, prefixed by the type T.\nThis enables inlining the hot hashtable parts, and\ndisallows corrupting the table with changed hash or equal methods.\nThey really need to be declared and defined statically, just as with C++, where\nwe need to declare it for the template.\n\nFixes GH #21","shortMessageHtmlLink":"change unordered_set API, no hash, equal fields"}},{"before":"300980660c9df98c80a8daf93639bb7425b996ab","after":"ae24d843609c0fb4c65b4b369c88243adcbe4079","ref":"refs/heads/acsl","pushedAt":"2024-02-21T07:09:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"WIP play with ACSL contracts","shortMessageHtmlLink":"WIP play with ACSL contracts"}},{"before":"3b7df3a4380649692493d016597961d0f290e72b","after":"d314c08878519e11797bc63067804e3b379e0596","ref":"refs/heads/cbmc","pushedAt":"2024-02-21T07:09:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"cbmc: better set.find_range test","shortMessageHtmlLink":"cbmc: better set.find_range test"}},{"before":"3b7df3a4380649692493d016597961d0f290e72b","after":"d314c08878519e11797bc63067804e3b379e0596","ref":"refs/heads/master","pushedAt":"2024-02-21T07:04:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"cbmc: better set.find_range test","shortMessageHtmlLink":"cbmc: better set.find_range test"}},{"before":"e88fa0b73c4e875194d070fec1a5f822b7c64468","after":"300980660c9df98c80a8daf93639bb7425b996ab","ref":"refs/heads/acsl","pushedAt":"2024-02-21T06:58:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"WIP play with ACSL contracts","shortMessageHtmlLink":"WIP play with ACSL contracts"}},{"before":"adce7ab3fd0c252aa99de8ff110ea89b0314efe0","after":"371d81bcffcae57a8c9fe95f2a7ec625cac93814","ref":"refs/heads/btree","pushedAt":"2024-02-21T06:58:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"WIP add btree_set\n\nwith node size of 256, as in abseil.\nalso using similar tricks as abseil, using much less memory per node.","shortMessageHtmlLink":"WIP add btree_set"}},{"before":"9224095d943dcba6c8db354545c5e52586c76969","after":"4fe0fa5dd675a56c7cc51deaa801be1563aac7d4","ref":"refs/heads/hmap","pushedAt":"2024-02-21T06:58:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"use charpint.hh","shortMessageHtmlLink":"use charpint.hh"}},{"before":"8c93ce13f656fcf48bf4fc204d2c4570e9925b65","after":"7bb328371936a6bafbb978455d6d5c403c6168e1","ref":"refs/heads/u8ident","pushedAt":"2024-02-21T06:58:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"WIP add u8ident\n\nExtension for secure utf-8 identifiers, for everybody\nseeing identifiable names in UTF-8 encodings, like\na filename in a terminal or UI widget.\nIdentifiers need to be identifiable, i.e. implement mixed\nscript detection, and such for a Unicode TR39\nModerately Restrictive restriction level.\nAlso identifiers are validated and normalized by default, to\nbe able to compare and find them.","shortMessageHtmlLink":"WIP add u8ident"}},{"before":"da8585cadf18eafafb10d86a9c969cdd679f061e","after":"a3241a8f53c171bd5391c5df3740f3cadefaad73","ref":"refs/heads/svec","pushedAt":"2024-02-21T06:58:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"more svec","shortMessageHtmlLink":"more svec"}},{"before":"dce1a6768853415a7ac2d054e723133a3069202a","after":"a97f4db03faf9c4b83efb573ed4a3e2a56a05315","ref":"refs/heads/hash","pushedAt":"2024-02-21T06:58:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"change unordered_set API, no hash, equal fields\n\nuse static methods, prefixed by the type T.\nThis enables inlining the hot hashtable parts, and\ndisallows corrupting the table with changed hash or equal methods.\nThey really need to be declared and defined statically, just as with C++, where\nwe need to declare it for the template.\n\nFixes GH #21","shortMessageHtmlLink":"change unordered_set API, no hash, equal fields"}},{"before":"49dd900942adabd0e487f0574173d4c60b7e1a2c","after":"ae733a011fb0948161508628b1c5b3fd438b3a47","ref":"refs/heads/u8string","pushedAt":"2024-02-21T06:58:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"u8string: derive directly from vector\n\nmost methods are competelely different, esp. the iterator.\nbut esp. struct A is different.\n\nadd a special u8str_str_push_back for strings not chars,\nanalog to vec_str_push_back\n\nit's a bit hard to write tests without an libstdc++ <u8string> yet.\n\nuse libunistring as first possible backend. there are more.","shortMessageHtmlLink":"u8string: derive directly from vector"}},{"before":"5396a8f6199e1ee6db76ab2ca7c85510bed2f7c7","after":"b8716e8318330cf1bda5b1e1732da502d623a205","ref":"refs/heads/c++98","pushedAt":"2024-02-21T06:58:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"work on c++ -std=c++98 compat WIP","shortMessageHtmlLink":"work on c++ -std=c++98 compat WIP"}},{"before":"ff6602f62d9c6ae2205fb49944e041d9726062ef","after":"c33736ad2bfd0708772dd3e394fa762c950c7a42","ref":"refs/heads/set","pushedAt":"2024-02-21T06:58:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"set: start working on join\n\nfor faster set algos and pctl","shortMessageHtmlLink":"set: start working on join"}},{"before":"ee9e16852fb206ad0809d3e17f789befdcab968c","after":"e691f51c7a1b1bf7f9526292e3cc0046b8b00857","ref":"refs/heads/map","pushedAt":"2024-02-21T06:58:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"more PAIR stuff\n\ninclude it at the right position. we need to have A already\nto set default methods.","shortMessageHtmlLink":"more PAIR stuff"}},{"before":"cfed9b0547c116dc7a32713e8c209d6f08eb6db4","after":"3b7df3a4380649692493d016597961d0f290e72b","ref":"refs/heads/master","pushedAt":"2024-02-21T06:57:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"cbmc: add set-1.c verification","shortMessageHtmlLink":"cbmc: add set-1.c verification"}},{"before":"cfed9b0547c116dc7a32713e8c209d6f08eb6db4","after":"3b7df3a4380649692493d016597961d0f290e72b","ref":"refs/heads/cbmc","pushedAt":"2024-02-21T06:52:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"cbmc: add set-1.c verification","shortMessageHtmlLink":"cbmc: add set-1.c verification"}},{"before":"ec341cec5c0472fbbc61212d51fea4a3f5cdf981","after":"49dd900942adabd0e487f0574173d4c60b7e1a2c","ref":"refs/heads/u8string","pushedAt":"2024-02-20T08:52:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"u8string: derive directly from vector\n\nmost methods are competelely different, esp. the iterator.\nbut esp. struct A is different.\n\nadd a special u8str_str_push_back for strings not chars,\nanalog to vec_str_push_back\n\nit's a bit hard to write tests without an libstdc++ <u8string> yet.\n\nuse libunistring as first possible backend. there are more.","shortMessageHtmlLink":"u8string: derive directly from vector"}},{"before":"49431ab81ed2c111ee21e674284afdf1416c284d","after":"5396a8f6199e1ee6db76ab2ca7c85510bed2f7c7","ref":"refs/heads/c++98","pushedAt":"2024-02-20T08:52:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"work on c++ -std=c++98 compat WIP","shortMessageHtmlLink":"work on c++ -std=c++98 compat WIP"}},{"before":"3de52278fdf7fd9d24f057c6323f6e050a722b7d","after":"8c93ce13f656fcf48bf4fc204d2c4570e9925b65","ref":"refs/heads/u8ident","pushedAt":"2024-02-20T08:52:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"WIP add u8ident\n\nExtension for secure utf-8 identifiers, for everybody\nseeing identifiable names in UTF-8 encodings, like\na filename in a terminal or UI widget.\nIdentifiers need to be identifiable, i.e. implement mixed\nscript detection, and such for a Unicode TR39\nModerately Restrictive restriction level.\nAlso identifiers are validated and normalized by default, to\nbe able to compare and find them.","shortMessageHtmlLink":"WIP add u8ident"}},{"before":"a477dd10e5e71adc8e189de28fff26e09e09f183","after":"9224095d943dcba6c8db354545c5e52586c76969","ref":"refs/heads/hmap","pushedAt":"2024-02-20T08:52:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"use charpint.hh","shortMessageHtmlLink":"use charpint.hh"}},{"before":"0274d21599e1737d4eb9042ae11c6156d56be26e","after":"adce7ab3fd0c252aa99de8ff110ea89b0314efe0","ref":"refs/heads/btree","pushedAt":"2024-02-20T08:52:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rurban","name":"Reini Urban","path":"/rurban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41809?s=80&v=4"},"commit":{"message":"WIP add btree_set\n\nwith node size of 256, as in abseil.\nalso using similar tricks as abseil, using much less memory per node.","shortMessageHtmlLink":"WIP add btree_set"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEFVaB6wA","startCursor":null,"endCursor":null}},"title":"Activity · rurban/ctl"}