{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":51877056,"defaultBranch":"develop","name":"cbmc","ownerLogin":"diffblue","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-02-16T23:03:52.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/17216098?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1714483562.0","currentOid":""},"activityList":{"items":[{"before":"05324ace5350d15734d6e292bbc1d7270475a275","after":"a59f2e5167b9d4a6d71f41838ee940ff0e7ac042","ref":"refs/heads/gh-pages","pushedAt":"2024-05-02T10:46:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ diffblue/cbmc@2da2c76fa5b061b0be85d6035fbe55d537b60d78 π","shortMessageHtmlLink":"Deploying to gh-pages from @ 2da2c76 π"}},{"before":"905033e939fd3e8ce884ae708f3f9f311315296d","after":"2da2c76fa5b061b0be85d6035fbe55d537b60d78","ref":"refs/heads/develop","pushedAt":"2024-05-02T10:43:43.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Merge pull request #8211 from tautschnig/features/hurd\n\nAdd support for GNU Hurd","shortMessageHtmlLink":"Merge pull request #8211 from tautschnig/features/hurd"}},{"before":"fa66f1a4fdcf88caecaa0aeacb990c8a80813472","after":"05324ace5350d15734d6e292bbc1d7270475a275","ref":"refs/heads/gh-pages","pushedAt":"2024-05-01T17:11:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ diffblue/cbmc@905033e939fd3e8ce884ae708f3f9f311315296d π","shortMessageHtmlLink":"Deploying to gh-pages from @ 905033e π"}},{"before":"5ae549991857b4d024d60872fde84c02e00d7b2a","after":"905033e939fd3e8ce884ae708f3f9f311315296d","ref":"refs/heads/develop","pushedAt":"2024-05-01T17:08:25.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"kroening","name":"Daniel Kroening","path":"/kroening","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1830565?s=80&v=4"},"commit":{"message":"Merge pull request #7858 from tautschnig/features/objects-bits-set-up\n\nPermit re-setting --object-bits","shortMessageHtmlLink":"Merge pull request #7858 from tautschnig/features/objects-bits-set-up"}},{"before":"91ac353f456e7d719e9677f94cc55253204aee3d","after":"fa66f1a4fdcf88caecaa0aeacb990c8a80813472","ref":"refs/heads/gh-pages","pushedAt":"2024-04-30T14:09:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ diffblue/cbmc@5ae549991857b4d024d60872fde84c02e00d7b2a π","shortMessageHtmlLink":"Deploying to gh-pages from @ 5ae5499 π"}},{"before":"69169d1ab29a1e830f13d5061ed798fcde288266","after":"5ae549991857b4d024d60872fde84c02e00d7b2a","ref":"refs/heads/develop","pushedAt":"2024-04-30T14:06:48.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Merge pull request #8271 from tautschnig/features/open\n\nC library: add creat, open, openat","shortMessageHtmlLink":"Merge pull request #8271 from tautschnig/features/open"}},{"before":"586233433a0acb0b743863756e0a198de002b802","after":"91ac353f456e7d719e9677f94cc55253204aee3d","ref":"refs/heads/gh-pages","pushedAt":"2024-04-30T13:28:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ diffblue/cbmc@69169d1ab29a1e830f13d5061ed798fcde288266 π","shortMessageHtmlLink":"Deploying to gh-pages from @ 69169d1 π"}},{"before":"3cdd8326778cff40a62183ebc3c86a145bda9df6","after":null,"ref":"refs/heads/fatal-assertions","pushedAt":"2024-04-30T13:26:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"}},{"before":"41496b93c9e46efd979decb818c097698fcfb406","after":"69169d1ab29a1e830f13d5061ed798fcde288266","ref":"refs/heads/develop","pushedAt":"2024-04-30T13:25:56.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"kroening","name":"Daniel Kroening","path":"/kroening","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1830565?s=80&v=4"},"commit":{"message":"Merge pull request #8226 from diffblue/fatal-assertions\n\nintroduce 'fatal assertions'","shortMessageHtmlLink":"Merge pull request #8226 from diffblue/fatal-assertions"}},{"before":"7cddc13975619b700041da7f89f87aced1af0775","after":"586233433a0acb0b743863756e0a198de002b802","ref":"refs/heads/gh-pages","pushedAt":"2024-04-30T11:48:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ diffblue/cbmc@41496b93c9e46efd979decb818c097698fcfb406 π","shortMessageHtmlLink":"Deploying to gh-pages from @ 41496b9 π"}},{"before":"eb9ccc9b1be63c49eb4beb8bfd3d16cd0320a8b3","after":"3cdd8326778cff40a62183ebc3c86a145bda9df6","ref":"refs/heads/fatal-assertions","pushedAt":"2024-04-30T11:47:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"kroening","name":"Daniel Kroening","path":"/kroening","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1830565?s=80&v=4"},"commit":{"message":"introduce 'fatal assertions'\n\nThis introduces a variant of ASSERT instructions that are fatal when they\nare refuted. Execution paths through fatal assertions that are refuted are\nundefined. Assertions that (otherwise) pass and that are reachable from a\nrefuted fatal assertion are now reported as UNKNOWN.\n\nThe motivating use-case for fatal assertions is undefined behavior in\nlanguages such as C/C++ or Rust.\n\nNoi attempt is made to modify the outcome of ASSERT instructions that are\nrefuted owing to a trace through a refuted fatal assertion. The computation\nof the trace is not robust enough.","shortMessageHtmlLink":"introduce 'fatal assertions'"}},{"before":"facb34d1e7d0f0626df375a7c857ac4f1cbb30cb","after":"41496b93c9e46efd979decb818c097698fcfb406","ref":"refs/heads/develop","pushedAt":"2024-04-30T11:45:24.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"kroening","name":"Daniel Kroening","path":"/kroening","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1830565?s=80&v=4"},"commit":{"message":"Merge pull request #8270 from tautschnig/cleanup/symtab-regression-remove-error\n\nRemove unanchored \"error\" string from symtab2gb test specs","shortMessageHtmlLink":"Merge pull request #8270 from tautschnig/cleanup/symtab-regression-reβ¦"}},{"before":"423b2b6b144b1b3ae7e19b01239f4b1c4c5a460b","after":"7cddc13975619b700041da7f89f87aced1af0775","ref":"refs/heads/gh-pages","pushedAt":"2024-04-30T10:44:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ diffblue/cbmc@facb34d1e7d0f0626df375a7c857ac4f1cbb30cb π","shortMessageHtmlLink":"Deploying to gh-pages from @ facb34d π"}},{"before":"04a4a5161fcadbcc0623ba14cf32c4a580818d26","after":"facb34d1e7d0f0626df375a7c857ac4f1cbb30cb","ref":"refs/heads/develop","pushedAt":"2024-04-30T10:42:03.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Merge pull request #8269 from tautschnig/features/mmap64\n\nC library: add mmap64","shortMessageHtmlLink":"Merge pull request #8269 from tautschnig/features/mmap64"}},{"before":"bee7f13689f074c93f89a7ad2e1735fc48b17211","after":"423b2b6b144b1b3ae7e19b01239f4b1c4c5a460b","ref":"refs/heads/gh-pages","pushedAt":"2024-04-30T10:20:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ diffblue/cbmc@04a4a5161fcadbcc0623ba14cf32c4a580818d26 π","shortMessageHtmlLink":"Deploying to gh-pages from @ 04a4a51 π"}},{"before":"2324d8c831278930adc14730cd3dbd2754d728b4","after":"04a4a5161fcadbcc0623ba14cf32c4a580818d26","ref":"refs/heads/develop","pushedAt":"2024-04-30T10:17:47.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Merge pull request #8268 from tautschnig/features/time64\n\nC library: add __time64","shortMessageHtmlLink":"Merge pull request #8268 from tautschnig/features/time64"}},{"before":"6798d6d70a15b3e748488b84bfae1531165d0b2f","after":"bee7f13689f074c93f89a7ad2e1735fc48b17211","ref":"refs/heads/gh-pages","pushedAt":"2024-04-30T08:54:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ diffblue/cbmc@2324d8c831278930adc14730cd3dbd2754d728b4 π","shortMessageHtmlLink":"Deploying to gh-pages from @ 2324d8c π"}},{"before":"2a46ade47fe0dcd87b5140115273575ff87faedc","after":"2324d8c831278930adc14730cd3dbd2754d728b4","ref":"refs/heads/develop","pushedAt":"2024-04-30T08:51:26.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Merge pull request #8266 from wuruilong01/develop\n\nadd support for loongarch64","shortMessageHtmlLink":"Merge pull request #8266 from wuruilong01/develop"}},{"before":"05a483b33e40f5390c58168ea86f4a0bdd71a0ae","after":"6798d6d70a15b3e748488b84bfae1531165d0b2f","ref":"refs/heads/gh-pages","pushedAt":"2024-04-29T14:18:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ diffblue/cbmc@2a46ade47fe0dcd87b5140115273575ff87faedc π","shortMessageHtmlLink":"Deploying to gh-pages from @ 2a46ade π"}},{"before":"046e63e4643895a65e03267e558a5e5aa5bc7d9e","after":"2a46ade47fe0dcd87b5140115273575ff87faedc","ref":"refs/heads/develop","pushedAt":"2024-04-29T14:16:24.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Merge pull request #8267 from tautschnig/features/stdio64\n\nC library: provide implementations of fopen64, freopen64","shortMessageHtmlLink":"Merge pull request #8267 from tautschnig/features/stdio64"}},{"before":"51202de509de3c3d37059387e9cec1a517627e29","after":"05a483b33e40f5390c58168ea86f4a0bdd71a0ae","ref":"refs/heads/gh-pages","pushedAt":"2024-04-29T11:37:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ diffblue/cbmc@046e63e4643895a65e03267e558a5e5aa5bc7d9e π","shortMessageHtmlLink":"Deploying to gh-pages from @ 046e63e π"}},{"before":"0c1c1b32c7d99f642cb5632a5616e46f98845987","after":null,"ref":"refs/heads/complex_initialization1","pushedAt":"2024-04-29T11:34:51.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"}},{"before":"e6e665fc51da0f17d9d4badb34cf49b4172c4334","after":"046e63e4643895a65e03267e558a5e5aa5bc7d9e","ref":"refs/heads/develop","pushedAt":"2024-04-29T11:34:48.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Merge pull request #8265 from diffblue/complex_initialization1\n\ninitialisation of `_Complex` with an initializer list","shortMessageHtmlLink":"Merge pull request #8265 from diffblue/complex_initialization1"}},{"before":null,"after":"0c1c1b32c7d99f642cb5632a5616e46f98845987","ref":"refs/heads/complex_initialization1","pushedAt":"2024-04-27T01:28:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kroening","name":"Daniel Kroening","path":"/kroening","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1830565?s=80&v=4"},"commit":{"message":"initialisation of _Complex with an initializer list\n\nBoth gcc and clang allow the initialisation of C99 _Complex scalars with an\ninitializer list of length two.","shortMessageHtmlLink":"initialisation of _Complex with an initializer list"}},{"before":"aac72743e6166c9e8aa124938ba3dd41bb9a5c88","after":"51202de509de3c3d37059387e9cec1a517627e29","ref":"refs/heads/gh-pages","pushedAt":"2024-04-27T00:53:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ diffblue/cbmc@e6e665fc51da0f17d9d4badb34cf49b4172c4334 π","shortMessageHtmlLink":"Deploying to gh-pages from @ e6e665f π"}},{"before":"2d63a718b10371b5a08175f67e1b171a98a33364","after":"e6e665fc51da0f17d9d4badb34cf49b4172c4334","ref":"refs/heads/develop","pushedAt":"2024-04-27T00:50:56.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"kroening","name":"Daniel Kroening","path":"/kroening","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1830565?s=80&v=4"},"commit":{"message":"Merge pull request #8218 from tautschnig/cleanup/no-follow-ansi-c\n\nC front-end: Replace uses of namespacet::follow","shortMessageHtmlLink":"Merge pull request #8218 from tautschnig/cleanup/no-follow-ansi-c"}},{"before":"18531edfd5f5218476c3ac6740d54ee2a1872c51","after":"aac72743e6166c9e8aa124938ba3dd41bb9a5c88","ref":"refs/heads/gh-pages","pushedAt":"2024-04-26T09:57:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ diffblue/cbmc@2d63a718b10371b5a08175f67e1b171a98a33364 π","shortMessageHtmlLink":"Deploying to gh-pages from @ 2d63a71 π"}},{"before":"c08e473c8b2269a16a511bc1ff1086f2a6dc351f","after":"2d63a718b10371b5a08175f67e1b171a98a33364","ref":"refs/heads/develop","pushedAt":"2024-04-26T09:55:11.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Merge pull request #8238 from tautschnig/features/dprintf\n\nC library: implement {v,}dprintf","shortMessageHtmlLink":"Merge pull request #8238 from tautschnig/features/dprintf"}},{"before":"237678d19b4b0737fc2ff7537ef1e49e951e2709","after":"18531edfd5f5218476c3ac6740d54ee2a1872c51","ref":"refs/heads/gh-pages","pushedAt":"2024-04-25T19:34:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ diffblue/cbmc@c08e473c8b2269a16a511bc1ff1086f2a6dc351f π","shortMessageHtmlLink":"Deploying to gh-pages from @ c08e473 π"}},{"before":"a894ed20b7b35310f9bced4fb22f0d33e5987ddd","after":"237678d19b4b0737fc2ff7537ef1e49e951e2709","ref":"refs/heads/gh-pages","pushedAt":"2024-04-25T19:33:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ diffblue/cbmc@25f5d3ae6c1ddb35f4c74495eb91033ebe3b0d16 π","shortMessageHtmlLink":"Deploying to gh-pages from @ 25f5d3a π"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEP6-W8wA","startCursor":null,"endCursor":null}},"title":"Activity Β· diffblue/cbmc"}