{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":634406585,"defaultBranch":"master","name":"esbmc-ai","ownerLogin":"esbmc","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-04-30T02:31:25.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/12586932?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726504713.0","currentOid":""},"activityList":{"items":[{"before":"090cdf7d7e2d943a26fd39d2ed1fc2695b59de19","after":"834cde8dcb2ec41abf1ae5d04dc92c3f52d0be85","ref":"refs/heads/save-code","pushedAt":"2024-09-16T16:44:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Add argument to write result of fix code to directory","shortMessageHtmlLink":"Add argument to write result of fix code to directory"}},{"before":null,"after":"090cdf7d7e2d943a26fd39d2ed1fc2695b59de19","ref":"refs/heads/save-code","pushedAt":"2024-09-16T16:38:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Merge pull request #146 from esbmc/config-decouple\n\nConfig System Overhaul","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2527226190\" data-permission-text=\"Title is private\" data-url=\"https://github.com/esbmc/esbmc-ai/issues/146\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/esbmc/esbmc-ai/pull/146/hovercard\" href=\"https://github.com/esbmc/esbmc-ai/pull/146\">#146</a> from esbmc/config-decouple"}},{"before":"5d0aa82c1e211116a3fbb9dde0a8f042d68316ce","after":null,"ref":"refs/heads/config-decouple","pushedAt":"2024-09-16T16:36:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"}},{"before":"20097a951603b74a107d38359dc61a8af101ad09","after":"090cdf7d7e2d943a26fd39d2ed1fc2695b59de19","ref":"refs/heads/master","pushedAt":"2024-09-16T16:36:11.000Z","pushType":"pr_merge","commitsCount":18,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Merge pull request #146 from esbmc/config-decouple\n\nConfig System Overhaul","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2527226190\" data-permission-text=\"Title is private\" data-url=\"https://github.com/esbmc/esbmc-ai/issues/146\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/esbmc/esbmc-ai/pull/146/hovercard\" href=\"https://github.com/esbmc/esbmc-ai/pull/146\">#146</a> from esbmc/config-decouple"}},{"before":"8d06788845d0ae8f5a63cd4b7d687cd6b1124754","after":"5d0aa82c1e211116a3fbb9dde0a8f042d68316ce","ref":"refs/heads/config-decouple","pushedAt":"2024-09-16T16:35:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Switched over fully from pipenv to hatch","shortMessageHtmlLink":"Switched over fully from pipenv to hatch"}},{"before":"cf05a6aca154d29457cb3d11f3e1e6c576a82f68","after":"8d06788845d0ae8f5a63cd4b7d687cd6b1124754","ref":"refs/heads/config-decouple","pushedAt":"2024-09-16T10:32:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Removed toml dependency, just use tomllib","shortMessageHtmlLink":"Removed toml dependency, just use tomllib"}},{"before":"79b98f13dd0def446e1ed90755b0ce12496aa00e","after":"cf05a6aca154d29457cb3d11f3e1e6c576a82f68","ref":"refs/heads/config-decouple","pushedAt":"2024-09-16T10:27:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Increment version","shortMessageHtmlLink":"Increment version"}},{"before":"0a073f068ce358db50d1594616f850fd5b11afa0","after":"79b98f13dd0def446e1ed90755b0ce12496aa00e","ref":"refs/heads/config-decouple","pushedAt":"2024-09-15T22:28:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Updated requirements.txt","shortMessageHtmlLink":"Updated requirements.txt"}},{"before":"bcc8022164a24138c672a440f79dffea88ae3e76","after":"0a073f068ce358db50d1594616f850fd5b11afa0","ref":"refs/heads/config-decouple","pushedAt":"2024-09-15T22:07:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Updated tests and fixed bugs","shortMessageHtmlLink":"Updated tests and fixed bugs"}},{"before":"9075048b4bf89190ca5930c3f90b2b8181487682","after":"bcc8022164a24138c672a440f79dffea88ae3e76","ref":"refs/heads/config-decouple","pushedAt":"2024-09-15T17:54:14.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Updated to use new Config","shortMessageHtmlLink":"Updated to use new Config"}},{"before":"20097a951603b74a107d38359dc61a8af101ad09","after":"9075048b4bf89190ca5930c3f90b2b8181487682","ref":"refs/heads/config-decouple","pushedAt":"2024-09-12T21:43:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Remove hugging face API Key","shortMessageHtmlLink":"Remove hugging face API Key"}},{"before":null,"after":"20097a951603b74a107d38359dc61a8af101ad09","ref":"refs/heads/config-decouple","pushedAt":"2024-09-12T21:42:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Merge pull request #144 from esbmc/local-llms\n\nAdd Support For Local LLMs","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2523373908\" data-permission-text=\"Title is private\" data-url=\"https://github.com/esbmc/esbmc-ai/issues/144\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/esbmc/esbmc-ai/pull/144/hovercard\" href=\"https://github.com/esbmc/esbmc-ai/pull/144\">#144</a> from esbmc/local-llms"}},{"before":"bfbe8731a58bdb60ed01ba7241c757632ec1b7f1","after":null,"ref":"refs/heads/fcm_message_notice","pushedAt":"2024-09-12T21:30:07.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"}},{"before":"cd6af05ba432691c2024cd25697c8b51fc42b550","after":null,"ref":"refs/heads/133-allow-arbitrary-openai-llms","pushedAt":"2024-09-12T21:30:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"}},{"before":"7c0195d3deaf85ebf406700fb2da2a4ef926c7c9","after":null,"ref":"refs/heads/local-llms","pushedAt":"2024-09-12T21:21:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"}},{"before":"ee754d40c958009202f76e7811f842bfd4f2648d","after":"20097a951603b74a107d38359dc61a8af101ad09","ref":"refs/heads/master","pushedAt":"2024-09-12T21:21:29.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Merge pull request #144 from esbmc/local-llms\n\nAdd Support For Local LLMs","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2523373908\" data-permission-text=\"Title is private\" data-url=\"https://github.com/esbmc/esbmc-ai/issues/144\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/esbmc/esbmc-ai/pull/144/hovercard\" href=\"https://github.com/esbmc/esbmc-ai/pull/144\">#144</a> from esbmc/local-llms"}},{"before":"00346e7aef8c6abe0b1fd61a8822ef28c1646923","after":"7c0195d3deaf85ebf406700fb2da2a4ef926c7c9","ref":"refs/heads/local-llms","pushedAt":"2024-09-12T21:21:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Update","shortMessageHtmlLink":"Update"}},{"before":"ee754d40c958009202f76e7811f842bfd4f2648d","after":"00346e7aef8c6abe0b1fd61a8822ef28c1646923","ref":"refs/heads/local-llms","pushedAt":"2024-09-12T21:12:32.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Updated tests to have Ollama support","shortMessageHtmlLink":"Updated tests to have Ollama support"}},{"before":null,"after":"ee754d40c958009202f76e7811f842bfd4f2648d","ref":"refs/heads/local-llms","pushedAt":"2024-09-05T13:03:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Merge pull request #140 from esbmc/run_on_directory\n\nAdd Directory Processing and Patch Output Generation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2425099472\" data-permission-text=\"Title is private\" data-url=\"https://github.com/esbmc/esbmc-ai/issues/140\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/esbmc/esbmc-ai/pull/140/hovercard\" href=\"https://github.com/esbmc/esbmc-ai/pull/140\">#140</a> from esbmc/run_on_directory"}},{"before":"bd02f6a42033671618baa9c33dedaad0fe0e5c9c","after":null,"ref":"refs/heads/run_on_directory","pushedAt":"2024-09-05T12:59:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"}},{"before":"154b6e84f7cd7a362ecb53866e04eef9d6c7bad3","after":"ee754d40c958009202f76e7811f842bfd4f2648d","ref":"refs/heads/master","pushedAt":"2024-09-05T12:59:03.000Z","pushType":"pr_merge","commitsCount":19,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Merge pull request #140 from esbmc/run_on_directory\n\nAdd Directory Processing and Patch Output Generation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2425099472\" data-permission-text=\"Title is private\" data-url=\"https://github.com/esbmc/esbmc-ai/issues/140\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/esbmc/esbmc-ai/pull/140/hovercard\" href=\"https://github.com/esbmc/esbmc-ai/pull/140\">#140</a> from esbmc/run_on_directory"}},{"before":"52d03b01ea3a36981d6ef6638281490af076de7e","after":"bd02f6a42033671618baa9c33dedaad0fe0e5c9c","ref":"refs/heads/run_on_directory","pushedAt":"2024-09-05T12:57:16.000Z","pushType":"push","commitsCount":14,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Updated tests","shortMessageHtmlLink":"Updated tests"}},{"before":"72d65dbba8b9d3bd1f9994d8b0e954eb74d64f50","after":"52d03b01ea3a36981d6ef6638281490af076de7e","ref":"refs/heads/run_on_directory","pushedAt":"2024-07-23T12:27:03.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Implemented SourceFile and Solution in the rest of the program","shortMessageHtmlLink":"Implemented SourceFile and Solution in the rest of the program"}},{"before":"154b6e84f7cd7a362ecb53866e04eef9d6c7bad3","after":"72d65dbba8b9d3bd1f9994d8b0e954eb74d64f50","ref":"refs/heads/run_on_directory","pushedAt":"2024-07-13T21:00:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Moved chat classes into chats directory","shortMessageHtmlLink":"Moved chat classes into chats directory"}},{"before":null,"after":"154b6e84f7cd7a362ecb53866e04eef9d6c7bad3","ref":"refs/heads/run_on_directory","pushedAt":"2024-07-13T18:20:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Merge pull request #137 from esbmc/dev\n\nChanged framework image in README.md","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2377694962\" data-permission-text=\"Title is private\" data-url=\"https://github.com/esbmc/esbmc-ai/issues/137\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/esbmc/esbmc-ai/pull/137/hovercard\" href=\"https://github.com/esbmc/esbmc-ai/pull/137\">#137</a> from esbmc/dev"}},{"before":"403f3ee475f52fc1ea4357469215b693a239768b","after":"154b6e84f7cd7a362ecb53866e04eef9d6c7bad3","ref":"refs/heads/master","pushedAt":"2024-06-27T09:52:54.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Merge pull request #137 from esbmc/dev\n\nChanged framework image in README.md","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2377694962\" data-permission-text=\"Title is private\" data-url=\"https://github.com/esbmc/esbmc-ai/issues/137\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/esbmc/esbmc-ai/pull/137/hovercard\" href=\"https://github.com/esbmc/esbmc-ai/pull/137\">#137</a> from esbmc/dev"}},{"before":"4e7154fffa0edb12c479be0050fdc1a0b5a7e958","after":"7361a4712c89fe2186bd048879bd42dd9b8a3510","ref":"refs/heads/dev","pushedAt":"2024-06-27T09:51:53.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Updated framework image in README.md","shortMessageHtmlLink":"Updated framework image in README.md"}},{"before":"74ba381b757aa469fbe970ad4be41f30a10c335d","after":"403f3ee475f52fc1ea4357469215b693a239768b","ref":"refs/heads/master","pushedAt":"2024-06-24T16:36:16.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Merge pull request #136 from Yiannis128/dev\n\nAdded Sponsorship file","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2370663130\" data-permission-text=\"Title is private\" data-url=\"https://github.com/esbmc/esbmc-ai/issues/136\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/esbmc/esbmc-ai/pull/136/hovercard\" href=\"https://github.com/esbmc/esbmc-ai/pull/136\">#136</a> from Yiannis128/dev"}},{"before":"74ba381b757aa469fbe970ad4be41f30a10c335d","after":"4e7154fffa0edb12c479be0050fdc1a0b5a7e958","ref":"refs/heads/dev","pushedAt":"2024-06-24T16:35:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Added funding info","shortMessageHtmlLink":"Added funding info"}},{"before":"d7afe0569aaa9687681a6e03de74c980f0d53b0e","after":"74ba381b757aa469fbe970ad4be41f30a10c335d","ref":"refs/heads/master","pushedAt":"2024-06-14T13:43:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Yiannis128","name":"Yiannis Charalambous","path":"/Yiannis128","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535618?s=80&v=4"},"commit":{"message":"Increase version","shortMessageHtmlLink":"Increase version"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNlQxNjo0NDoyMS4wMDAwMDBazwAAAAS3qtes","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNlQxNjo0NDoyMS4wMDAwMDBazwAAAAS3qtes","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0xNFQxMzo0Mzo0Ny4wMDAwMDBazwAAAARlg_ON"}},"title":"Activity · esbmc/esbmc-ai"}