{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":274126572,"defaultBranch":"master","name":"cbmc-starter-kit","ownerLogin":"model-checking","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-06-22T12:08:12.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/78765001?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1683141410.0","currentOid":""},"activityList":{"items":[{"before":"f873ab462dbb0f810b58c072dc607f48f5cb895c","after":"9db3f077848986393410a9cb7d7d9c6205022c7f","ref":"refs/heads/master","pushedAt":"2024-02-14T15:59:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Make EXPENSIVE/pools work even without run-cbmc-proofs.py (#204)\n\nDirect invocation of proofs via `make` would previously not permit the\r\nuse of EXPENSIVE, despite the claims in Makefile.common: there was no\r\nway to correctly invoke litani init.","shortMessageHtmlLink":"Make EXPENSIVE/pools work even without run-cbmc-proofs.py (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2131997901\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/cbmc-starter-kit/issues/204\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/cbmc-starter-kit/pull/204/hovercard\" href=\"https://github.com/model-checking/cbmc-starter-kit/pull/204\">#204</a>)"}},{"before":"2678e6a54b3968b3a3f0d856096b0853de541763","after":"f873ab462dbb0f810b58c072dc607f48f5cb895c","ref":"refs/heads/master","pushedAt":"2024-02-01T17:02:23.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"feliperodri","name":"Felipe R. Monteiro","path":"/feliperodri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294522?s=80&v=4"},"commit":{"message":"Add -Werror flag in the build process (#203)\n\n* Add -Werror flag in the build process\r\n* Add -Werror to link flags\r\n\r\n---------\r\n\r\nSigned-off-by: Felipe R. Monteiro <felisous@amazon.com>","shortMessageHtmlLink":"Add -Werror flag in the build process (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2111280071\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/cbmc-starter-kit/issues/203\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/cbmc-starter-kit/pull/203/hovercard\" href=\"https://github.com/model-checking/cbmc-starter-kit/pull/203\">#203</a>)"}},{"before":"ba019b2ca57b2a3b4ba9d1c3affdf3fb56deecd7","after":"2678e6a54b3968b3a3f0d856096b0853de541763","ref":"refs/heads/master","pushedAt":"2023-12-11T22:34:16.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Fix \"result\" target (#201)\n\nWe were missing a rule to produce result.txt, rendering the \"result\"\r\ninfeasible.","shortMessageHtmlLink":"Fix \"result\" target (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2035240182\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/cbmc-starter-kit/issues/201\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/cbmc-starter-kit/pull/201/hovercard\" href=\"https://github.com/model-checking/cbmc-starter-kit/pull/201\">#201</a>)"}},{"before":"b66babcb4b0e75cf722da6e68bd3e931bf68ac4b","after":"ba019b2ca57b2a3b4ba9d1c3affdf3fb56deecd7","ref":"refs/heads/master","pushedAt":"2023-05-03T18:51:56.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"feliperodri","name":"Felipe R. Monteiro","path":"/feliperodri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294522?s=80&v=4"},"commit":{"message":"Bump to version 2.10 (#197)\n\nSigned-off-by: Felipe R. Monteiro <felisous@amazon.com>","shortMessageHtmlLink":"Bump to version 2.10 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1694597123\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/cbmc-starter-kit/issues/197\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/cbmc-starter-kit/pull/197/hovercard\" href=\"https://github.com/model-checking/cbmc-starter-kit/pull/197\">#197</a>)"}},{"before":"dac7b1c132a6eaae620a4873b8356150b27c2e54","after":"b66babcb4b0e75cf722da6e68bd3e931bf68ac4b","ref":"refs/heads/master","pushedAt":"2023-04-14T14:20:35.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"feliperodri","name":"Felipe R. Monteiro","path":"/feliperodri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294522?s=80&v=4"},"commit":{"message":"Only unwind loops without contracts in DFCC mode (#195)\n\n* Only unwind loops without contracts in DFCC mode\r\n* We must not use default unwind with DFCC mode\r\n* Update src/cbmc_starter_kit/template-for-repository/proofs/Makefile.common\r\n* Update src/cbmc_starter_kit/template-for-repository/proofs/Makefile.common\r\n\r\n---------\r\n\r\nSigned-off-by: Felipe R. Monteiro <felisous@amazon.com>\r\nCo-authored-by: Rémi Delmas <remi.delmas.3000@gmail.com>","shortMessageHtmlLink":"Only unwind loops without contracts in DFCC mode (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1622435258\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/cbmc-starter-kit/issues/195\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/cbmc-starter-kit/pull/195/hovercard\" href=\"https://github.com/model-checking/cbmc-starter-kit/pull/195\">#195</a>)"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD-rgdBQA","startCursor":null,"endCursor":null}},"title":"Activity · model-checking/cbmc-starter-kit"}