{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":666461223,"defaultBranch":"main","name":"kani","ownerLogin":"zhudotexe","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-07-14T15:18:23.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/8866981?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1715700392.0","currentOid":""},"activityList":{"items":[{"before":"2a0302ea224744bda1a98b5655274d5e264b3643","after":"be3f7432f401f9b6e00da8a0e63c317bd7079966","ref":"refs/heads/main","pushedAt":"2024-05-14T15:25:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"feat: support for gpt-4o","shortMessageHtmlLink":"feat: support for gpt-4o"}},{"before":"1731840d6c687cffa2d43c35bdf4d7af73789884","after":"2a0302ea224744bda1a98b5655274d5e264b3643","ref":"refs/heads/main","pushedAt":"2024-05-09T21:21:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"docs: remove rc1 install encouragement","shortMessageHtmlLink":"docs: remove rc1 install encouragement"}},{"before":"eb0a11791db1bd4081508ad65ba40e1a9d66d039","after":"1731840d6c687cffa2d43c35bdf4d7af73789884","ref":"refs/heads/main","pushedAt":"2024-05-09T21:19:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"chore: bump version","shortMessageHtmlLink":"chore: bump version"}},{"before":"05da040cbcbfd162c84f904796a28d57249ddefc","after":"eb0a11791db1bd4081508ad65ba40e1a9d66d039","ref":"refs/heads/main","pushedAt":"2024-05-09T17:58:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"nit: typo in anthropic env var","shortMessageHtmlLink":"nit: typo in anthropic env var"}},{"before":"01c62ada0558ac049fa2d92c2fdf43cb6d4cabba","after":"05da040cbcbfd162c84f904796a28d57249ddefc","ref":"refs/heads/main","pushedAt":"2024-05-08T16:24:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"fix(anthropic): multi-function calling format","shortMessageHtmlLink":"fix(anthropic): multi-function calling format"}},{"before":"ae50c6a072a31f9cfaabf077b601fc0243ca6d89","after":"01c62ada0558ac049fa2d92c2fdf43cb6d4cabba","ref":"refs/heads/main","pushedAt":"2024-05-07T19:35:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"chore: token cache openai","shortMessageHtmlLink":"chore: token cache openai"}},{"before":"ea338dfd58004822d3a60cc7767769ffc21c433f","after":"ae50c6a072a31f9cfaabf077b601fc0243ca6d89","ref":"refs/heads/main","pushedAt":"2024-05-02T16:20:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"docs: encourage installation of v1rc1","shortMessageHtmlLink":"docs: encourage installation of v1rc1"}},{"before":"34fc170b2339b89c0d98f05c325894e9c9f39863","after":"ea338dfd58004822d3a60cc7767769ffc21c433f","ref":"refs/heads/main","pushedAt":"2024-05-01T19:03:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"feat: mixtral tool calling\n\nnot yet tested - waiting for fix to https://huggingface.co/mistralai/Mixtral-8x22B-Instruct-v0.1/discussions/27","shortMessageHtmlLink":"feat: mixtral tool calling"}},{"before":"36440d09c54d18bef7f4e7d280f752c090bb1140","after":"34fc170b2339b89c0d98f05c325894e9c9f39863","ref":"refs/heads/main","pushedAt":"2024-05-01T15:09:16.000Z","pushType":"pr_merge","commitsCount":10,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"Merge pull request #40 from zhudotexe/v1-dev\n\nv1 dev","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2273665312\" data-permission-text=\"Title is private\" data-url=\"https://github.com/zhudotexe/kani/issues/40\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/zhudotexe/kani/pull/40/hovercard\" href=\"https://github.com/zhudotexe/kani/pull/40\">#40</a> from zhudotexe/v1-dev"}},{"before":"c9d2b7fc4201c76b1daeef08079b141fd68127fe","after":"2576ff81988f791b66c8e23bf94a79bcc8f745c7","ref":"refs/heads/v1-dev","pushedAt":"2024-05-01T15:05:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"fix: signature of `PromptPipeline.macro_apply`","shortMessageHtmlLink":"fix: signature of <code>PromptPipeline.macro_apply</code>"}},{"before":"1cafbf165f6184da51038e848239cbb9f1fc02b8","after":"c9d2b7fc4201c76b1daeef08079b141fd68127fe","ref":"refs/heads/v1-dev","pushedAt":"2024-05-01T15:00:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"chore: llama.ccp mistral-7b in zoo","shortMessageHtmlLink":"chore: llama.ccp mistral-7b in zoo"}},{"before":"9fb04f99433c45ea2a023f865d534fb6173f32f4","after":"1cafbf165f6184da51038e848239cbb9f1fc02b8","ref":"refs/heads/v1-dev","pushedAt":"2024-05-01T14:59:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"chore: update mixtral-22b in zoo","shortMessageHtmlLink":"chore: update mixtral-22b in zoo"}},{"before":"f18b149da9ce3b8215d8e42980cfaf6687b7ffa0","after":"9fb04f99433c45ea2a023f865d534fb6173f32f4","ref":"refs/heads/v1-dev","pushedAt":"2024-04-30T19:48:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"feat: mistral-8x22b","shortMessageHtmlLink":"feat: mistral-8x22b"}},{"before":"cbb53ebafbc26677273632b5abed59c4e9932b07","after":"f18b149da9ce3b8215d8e42980cfaf6687b7ffa0","ref":"refs/heads/v1-dev","pushedAt":"2024-04-24T21:22:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"feat(huggingface): infer function token reserve","shortMessageHtmlLink":"feat(huggingface): infer function token reserve"}},{"before":"b40dbe47d9825ec3b285334ad02480bf63054b70","after":"cbb53ebafbc26677273632b5abed59c4e9932b07","ref":"refs/heads/v1-dev","pushedAt":"2024-04-24T20:54:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"chore: docs, fix broken test","shortMessageHtmlLink":"chore: docs, fix broken test"}},{"before":"0a3f6d921d8cd4c12226d3b1a171965023c427cd","after":"b40dbe47d9825ec3b285334ad02480bf63054b70","ref":"refs/heads/v1-dev","pushedAt":"2024-04-24T20:44:57.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"refactor!(pipeline): Apply 2nd arg is ApplyContext","shortMessageHtmlLink":"refactor!(pipeline): Apply 2nd arg is ApplyContext"}},{"before":"4b058308f979abba9ee209d061a6779035df96d2","after":"36440d09c54d18bef7f4e7d280f752c090bb1140","ref":"refs/heads/main","pushedAt":"2024-04-22T15:58:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"chore: bump version","shortMessageHtmlLink":"chore: bump version"}},{"before":"82f554802973c12b17d68ca8af1c91cb8e5a9983","after":"4b058308f979abba9ee209d061a6779035df96d2","ref":"refs/heads/main","pushedAt":"2024-04-22T15:58:08.000Z","pushType":"pr_merge","commitsCount":10,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"Merge pull request #39 from zhudotexe/v1-dev\n\nv1: llama3, wrapperengine","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2256889537\" data-permission-text=\"Title is private\" data-url=\"https://github.com/zhudotexe/kani/issues/39\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/zhudotexe/kani/pull/39/hovercard\" href=\"https://github.com/zhudotexe/kani/pull/39\">#39</a> from zhudotexe/v1-dev"}},{"before":"b10114ee9a95799410f574ed119ace8a7490d5da","after":"0a3f6d921d8cd4c12226d3b1a171965023c427cd","ref":"refs/heads/v1-dev","pushedAt":"2024-04-19T18:21:08.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"chore: isort","shortMessageHtmlLink":"chore: isort"}},{"before":"05fe1acbd66c8c3473611687b64265ed06f807bb","after":"b10114ee9a95799410f574ed119ace8a7490d5da","ref":"refs/heads/v1-dev","pushedAt":"2024-04-19T16:18:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"refactor: cohere command-r mixin","shortMessageHtmlLink":"refactor: cohere command-r mixin"}},{"before":"be24343996b3683888b8ae4c11d6c5e2c9b3d8ca","after":"05fe1acbd66c8c3473611687b64265ed06f807bb","ref":"refs/heads/v1-dev","pushedAt":"2024-04-19T02:55:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"refactor(cohere): simplify command-r prompt build","shortMessageHtmlLink":"refactor(cohere): simplify command-r prompt build"}},{"before":"6dc4d1997baf3383126b3e72defa76529f7d2d30","after":"be24343996b3683888b8ae4c11d6c5e2c9b3d8ca","ref":"refs/heads/v1-dev","pushedAt":"2024-04-18T19:14:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"docs: misc ref fix","shortMessageHtmlLink":"docs: misc ref fix"}},{"before":"f563677b548868cfe9db04282534a91955d78ea7","after":"6dc4d1997baf3383126b3e72defa76529f7d2d30","ref":"refs/heads/v1-dev","pushedAt":"2024-04-18T19:05:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"docs: llama 3 engine table","shortMessageHtmlLink":"docs: llama 3 engine table"}},{"before":"3b6e67010d6ee4016c56e3a9d5a1f0f80c6bc4b2","after":"f563677b548868cfe9db04282534a91955d78ea7","ref":"refs/heads/v1-dev","pushedAt":"2024-04-18T17:41:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"feat: add llama 3","shortMessageHtmlLink":"feat: add llama 3"}},{"before":"6b07a1b35987344ea9a686da286644936bbcc65d","after":"3b6e67010d6ee4016c56e3a9d5a1f0f80c6bc4b2","ref":"refs/heads/v1-dev","pushedAt":"2024-04-18T17:09:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"docs: add kani-ratelimits extension","shortMessageHtmlLink":"docs: add kani-ratelimits extension"}},{"before":"b1533b40afddf5073de1cd254344322582c3dd00","after":"82f554802973c12b17d68ca8af1c91cb8e5a9983","ref":"refs/heads/main","pushedAt":"2024-04-13T16:16:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"chore: update claude, gemma docs","shortMessageHtmlLink":"chore: update claude, gemma docs"}},{"before":"e48d42203d4ba5ba92f1322dff255e6b9b723ba0","after":"b1533b40afddf5073de1cd254344322582c3dd00","ref":"refs/heads/main","pushedAt":"2024-04-12T17:18:04.000Z","pushType":"pr_merge","commitsCount":92,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"Merge pull request #38 from zhudotexe/v1-dev\n\nkani v1","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2238532281\" data-permission-text=\"Title is private\" data-url=\"https://github.com/zhudotexe/kani/issues/38\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/zhudotexe/kani/pull/38/hovercard\" href=\"https://github.com/zhudotexe/kani/pull/38\">#38</a> from zhudotexe/v1-dev"}},{"before":"119ca1ba8ae373de92a41300c9db438086cf934b","after":"6b07a1b35987344ea9a686da286644936bbcc65d","ref":"refs/heads/v1-dev","pushedAt":"2024-04-12T17:17:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"chore: bump version","shortMessageHtmlLink":"chore: bump version"}},{"before":"8f9e0753f5b749edf3d80725e5011a2324554327","after":"119ca1ba8ae373de92a41300c9db438086cf934b","ref":"refs/heads/v1-dev","pushedAt":"2024-04-12T16:22:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"fix(cli): weird line splitting when stream has newlines","shortMessageHtmlLink":"fix(cli): weird line splitting when stream has newlines"}},{"before":"695fd853fda703acf9217576816ebbcc31ed9089","after":"8f9e0753f5b749edf3d80725e5011a2324554327","ref":"refs/heads/v1-dev","pushedAt":"2024-04-11T21:02:19.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"zhudotexe","name":"Andrew Zhu","path":"/zhudotexe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8866981?s=80&v=4"},"commit":{"message":"chore: more merge fixes","shortMessageHtmlLink":"chore: more merge fixes"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAESaI9jAA","startCursor":null,"endCursor":null}},"title":"Activity · zhudotexe/kani"}