{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":369651491,"defaultBranch":"master","name":"smt-bench","ownerLogin":"VeriFIT","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-05-21T20:52:12.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/13378354?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725012050.0","currentOid":""},"activityList":{"items":[{"before":"e6fd5a355f85f4ecfec8366bd6e7dad775dc873e","after":"3e5a4b4ade49143e0bd2784b6baeb013106eeeae","ref":"refs/heads/master","pushedAt":"2024-09-10T21:50:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"check for model file in check-models.sh","shortMessageHtmlLink":"check for model file in check-models.sh"}},{"before":"7d740e959a27f661b21b790b10595f876b341bf8","after":"e6fd5a355f85f4ecfec8366bd6e7dad775dc873e","ref":"refs/heads/master","pushedAt":"2024-09-07T10:19:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"update cvc5 dir in check-model","shortMessageHtmlLink":"update cvc5 dir in check-model"}},{"before":"15987b2b127407238c1654274ec9c276311cccb5","after":"7d740e959a27f661b21b790b10595f876b341bf8","ref":"refs/heads/master","pushedAt":"2024-09-06T07:31:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"update the folder for downloading cvc5","shortMessageHtmlLink":"update the folder for downloading cvc5"}},{"before":"dab3aa63b492027b4ab4be281ccc037a06b5e49e","after":null,"ref":"refs/heads/parse_statistics","pushedAt":"2024-08-30T10:00:50.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"}},{"before":"06ed1d4e528af989613c638f4b5abddd1973db85","after":"15987b2b127407238c1654274ec9c276311cccb5","ref":"refs/heads/master","pushedAt":"2024-08-30T09:55:45.000Z","pushType":"pr_merge","commitsCount":9,"pusher":{"login":"vhavlena","name":"Vojtěch Havlena","path":"/vhavlena","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19686307?s=80&v=4"},"commit":{"message":"Merge pull request #4 from VeriFIT/parse_statistics\n\nParse statistics for Z3","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2488496437\" data-permission-text=\"Title is private\" data-url=\"https://github.com/VeriFIT/smt-bench/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/VeriFIT/smt-bench/pull/4/hovercard\" href=\"https://github.com/VeriFIT/smt-bench/pull/4\">#4</a> from VeriFIT/parse_statistics"}},{"before":"063f4f0b93ad09747900ebceb8f1bc4734faeac2","after":"dab3aa63b492027b4ab4be281ccc037a06b5e49e","ref":"refs/heads/parse_statistics","pushedAt":"2024-08-29T10:41:18.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"},"commit":{"message":"style(stats): Improve showing defaults in help output","shortMessageHtmlLink":"style(stats): Improve showing defaults in help output"}},{"before":"95c32fd180993ca3ac1f1e807c37d6f2e1b9b651","after":"063f4f0b93ad09747900ebceb8f1bc4734faeac2","ref":"refs/heads/parse_statistics","pushedAt":"2024-08-29T10:05:20.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"},"commit":{"message":"fix: Remove trailing and leading whitespaces for processed stats","shortMessageHtmlLink":"fix: Remove trailing and leading whitespaces for processed stats"}},{"before":"e8b7e3682afe963ab53dc4cce8d2fd2ff35c8a77","after":"95c32fd180993ca3ac1f1e807c37d6f2e1b9b651","ref":"refs/heads/parse_statistics","pushedAt":"2024-08-27T10:18:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"},"commit":{"message":"refactor(argparse): Use argparse in-built file opening mechanism for files passed as arguments","shortMessageHtmlLink":"refactor(argparse): Use argparse in-built file opening mechanism for …"}},{"before":"11fadbbb5be3b9dc3987ed65a19b634c3ce7a49b","after":"e8b7e3682afe963ab53dc4cce8d2fd2ff35c8a77","ref":"refs/heads/parse_statistics","pushedAt":"2024-08-27T10:11:18.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"},"commit":{"message":"chore(git): Ignore generated and downloaded files","shortMessageHtmlLink":"chore(git): Ignore generated and downloaded files"}},{"before":null,"after":"11fadbbb5be3b9dc3987ed65a19b634c3ce7a49b","ref":"refs/heads/parse_statistics","pushedAt":"2024-08-27T07:04:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"},"commit":{"message":"chore(git): Ignore generated and downloaded files","shortMessageHtmlLink":"chore(git): Ignore generated and downloaded files"}},{"before":"2212f6efd3ffaf2ceca4cdb12e5998c7dc156359","after":"06ed1d4e528af989613c638f4b5abddd1973db85","ref":"refs/heads/master","pushedAt":"2024-07-25T10:33:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"also in smt.yaml","shortMessageHtmlLink":"also in smt.yaml"}},{"before":"fb1ab7a9e312e6097b42c9babe41d69fdfb131ff","after":"2212f6efd3ffaf2ceca4cdb12e5998c7dc156359","ref":"refs/heads/master","pushedAt":"2024-07-24T23:23:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"fix","shortMessageHtmlLink":"fix"}},{"before":"6a71601e4c8b9d0eb80b26061264eab528d123fe","after":"fb1ab7a9e312e6097b42c9babe41d69fdfb131ff","ref":"refs/heads/master","pushedAt":"2024-07-24T23:21:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"add definition for cvc5 with model generation","shortMessageHtmlLink":"add definition for cvc5 with model generation"}},{"before":"96ec15078f1b38d4ed4e0a8cc4f36ee84a072dfd","after":"6a71601e4c8b9d0eb80b26061264eab528d123fe","ref":"refs/heads/master","pushedAt":"2024-07-21T16:49:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"turn off model generation in z3 wrapper","shortMessageHtmlLink":"turn off model generation in z3 wrapper"}},{"before":"e76a175b0b4a8e1e6203dea729bf0454d8e71fb2","after":"96ec15078f1b38d4ed4e0a8cc4f36ee84a072dfd","ref":"refs/heads/master","pushedAt":"2024-07-18T08:36:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"fix","shortMessageHtmlLink":"fix"}},{"before":"39603d7e663f10c83911abc71637618ed777567d","after":"e76a175b0b4a8e1e6203dea729bf0454d8e71fb2","ref":"refs/heads/master","pushedAt":"2024-07-17T19:53:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"enable model generation","shortMessageHtmlLink":"enable model generation"}},{"before":"db33a93298c83e81123eb458727ac43b9e8afb00","after":"39603d7e663f10c83911abc71637618ed777567d","ref":"refs/heads/master","pushedAt":"2024-07-17T19:16:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"add lenght dec def","shortMessageHtmlLink":"add lenght dec def"}},{"before":"908b92ebb3fdeab1e74d83f928739111da55677c","after":"db33a93298c83e81123eb458727ac43b9e8afb00","ref":"refs/heads/master","pushedAt":"2024-07-17T18:42:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"add noodler version to folder with generated models","shortMessageHtmlLink":"add noodler version to folder with generated models"}},{"before":"d0a5ae6ed9bc3535f976a367992cbc592b34c258","after":"908b92ebb3fdeab1e74d83f928739111da55677c","ref":"refs/heads/master","pushedAt":"2024-07-16T14:19:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"asfe","shortMessageHtmlLink":"asfe"}},{"before":"3d756b62cf247e6446a97d550ff53daa3d96dd7b","after":"d0a5ae6ed9bc3535f976a367992cbc592b34c258","ref":"refs/heads/master","pushedAt":"2024-07-16T13:56:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"bools","shortMessageHtmlLink":"bools"}},{"before":"04bc3dba9f340486444e7b0d3ef46b6d5c80a729","after":"3d756b62cf247e6446a97d550ff53daa3d96dd7b","ref":"refs/heads/master","pushedAt":"2024-07-16T13:50:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"another fix","shortMessageHtmlLink":"another fix"}},{"before":"654a7a8d44da1eeb51556c93ac67bb908cead2de","after":"04bc3dba9f340486444e7b0d3ef46b6d5c80a729","ref":"refs/heads/master","pushedAt":"2024-07-16T13:45:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"remove RegLan model defintions","shortMessageHtmlLink":"remove RegLan model defintions"}},{"before":"decd19364f814f3d2fc6de026422f9013f19e4da","after":"654a7a8d44da1eeb51556c93ac67bb908cead2de","ref":"refs/heads/master","pushedAt":"2024-07-16T13:38:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"replace cvc5 with z3 in checking model","shortMessageHtmlLink":"replace cvc5 with z3 in checking model"}},{"before":"f526eeeb21a053fbbf1ed2219a53dc2e88f8aa0b","after":"decd19364f814f3d2fc6de026422f9013f19e4da","ref":"refs/heads/master","pushedAt":"2024-07-16T13:36:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"fix","shortMessageHtmlLink":"fix"}},{"before":"6cdd81c9b94c571017a40499e7c40b3d60f4c6dd","after":"f526eeeb21a053fbbf1ed2219a53dc2e88f8aa0b","ref":"refs/heads/master","pushedAt":"2024-07-16T13:07:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"add version of z3-noodler for model generation","shortMessageHtmlLink":"add version of z3-noodler for model generation"}},{"before":"c58f51316f8438b7ba5585e329a2768266cc58b7","after":"6cdd81c9b94c571017a40499e7c40b3d60f4c6dd","ref":"refs/heads/master","pushedAt":"2024-07-16T13:00:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"small fix 6","shortMessageHtmlLink":"small fix 6"}},{"before":"007ea35a71da46b69a248e81091ff60de5dd341b","after":"c58f51316f8438b7ba5585e329a2768266cc58b7","ref":"refs/heads/master","pushedAt":"2024-07-16T12:57:10.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"small fix 5","shortMessageHtmlLink":"small fix 5"}},{"before":"4b092b470cb7216ad012b514a500dae60e8f6fd5","after":"007ea35a71da46b69a248e81091ff60de5dd341b","ref":"refs/heads/master","pushedAt":"2024-07-16T12:55:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"small fix 3","shortMessageHtmlLink":"small fix 3"}},{"before":"c4dc3b40d29f85963660764903807a66ab805e11","after":"4b092b470cb7216ad012b514a500dae60e8f6fd5","ref":"refs/heads/master","pushedAt":"2024-07-16T12:54:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"small fix 2","shortMessageHtmlLink":"small fix 2"}},{"before":"a34743ae452db2df0111252e3abf1dfa0e9660b3","after":"c4dc3b40d29f85963660764903807a66ab805e11","ref":"refs/heads/master","pushedAt":"2024-07-16T12:53:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"small fix","shortMessageHtmlLink":"small fix"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEso2XTQA","startCursor":null,"endCursor":null}},"title":"Activity · VeriFIT/smt-bench"}