{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":763780513,"defaultBranch":"main","name":"SMrTa","ownerLogin":"victoria-tuck","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-02-26T22:50:10.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/57421145?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1717604519.0","currentOid":""},"activityList":{"items":[{"before":"bbaa0780d0fe9d6c7220481f5f19bb1e5be64334","after":"fab6aff5e46aa4468cce27b1c88405d6835ff1f2","ref":"refs/heads/simulation-dev","pushedAt":"2024-06-11T20:50:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"victoria-tuck","name":null,"path":"/victoria-tuck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57421145?s=80&v=4"},"commit":{"message":"Support output of dynamic plans","shortMessageHtmlLink":"Support output of dynamic plans"}},{"before":null,"after":"219d4889ef65feca824b90c71d91c999a85072e9","ref":"refs/heads/nfm-demo","pushedAt":"2024-06-05T16:21:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"victoria-tuck","name":null,"path":"/victoria-tuck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57421145?s=80&v=4"},"commit":{"message":"Update install instructions. Add print model","shortMessageHtmlLink":"Update install instructions. Add print model"}},{"before":"2a746d6f902114965f86cad54770948f8c74cdb0","after":"bbaa0780d0fe9d6c7220481f5f19bb1e5be64334","ref":"refs/heads/simulation-dev","pushedAt":"2024-06-03T21:33:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"perry0513","name":"Pei-Wei Chen","path":"/perry0513","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31507162?s=80&v=4"},"commit":{"message":"Created folder for simulation test cases","shortMessageHtmlLink":"Created folder for simulation test cases"}},{"before":"2a746d6f902114965f86cad54770948f8c74cdb0","after":null,"ref":"refs/heads/connect-to-solver","pushedAt":"2024-06-03T21:01:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"perry0513","name":"Pei-Wei Chen","path":"/perry0513","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31507162?s=80&v=4"}},{"before":null,"after":"2a746d6f902114965f86cad54770948f8c74cdb0","ref":"refs/heads/simulation-dev","pushedAt":"2024-06-03T21:00:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"perry0513","name":"Pei-Wei Chen","path":"/perry0513","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31507162?s=80&v=4"},"commit":{"message":"Added testcase for simulator","shortMessageHtmlLink":"Added testcase for simulator"}},{"before":"2a746d6f902114965f86cad54770948f8c74cdb0","after":"5d3ca0633c55568574b90fd221f3fa31d5bef8c1","ref":"refs/heads/main","pushedAt":"2024-06-03T20:59:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"perry0513","name":"Pei-Wei Chen","path":"/perry0513","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31507162?s=80&v=4"},"commit":{"message":"Moving solver, adding bitwuzla setup","shortMessageHtmlLink":"Moving solver, adding bitwuzla setup"}},{"before":"5d3ca0633c55568574b90fd221f3fa31d5bef8c1","after":"2a746d6f902114965f86cad54770948f8c74cdb0","ref":"refs/heads/main","pushedAt":"2024-05-31T22:25:12.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"victoria-tuck","name":null,"path":"/victoria-tuck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57421145?s=80&v=4"},"commit":{"message":"Added testcase for simulator","shortMessageHtmlLink":"Added testcase for simulator"}},{"before":null,"after":"2a746d6f902114965f86cad54770948f8c74cdb0","ref":"refs/heads/connect-to-solver","pushedAt":"2024-05-31T22:25:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"victoria-tuck","name":null,"path":"/victoria-tuck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57421145?s=80&v=4"},"commit":{"message":"Added testcase for simulator","shortMessageHtmlLink":"Added testcase for simulator"}},{"before":"2c415683568f155147435b7992a048c1d8b90303","after":"5d3ca0633c55568574b90fd221f3fa31d5bef8c1","ref":"refs/heads/main","pushedAt":"2024-05-31T14:15:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"perry0513","name":"Pei-Wei Chen","path":"/perry0513","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31507162?s=80&v=4"},"commit":{"message":"Moving solver, adding bitwuzla setup","shortMessageHtmlLink":"Moving solver, adding bitwuzla setup"}},{"before":"507dd8102a5e989a630d6c4b4961eacb458cbbca","after":"2c415683568f155147435b7992a048c1d8b90303","ref":"refs/heads/main","pushedAt":"2024-05-10T21:55:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"perry0513","name":"Pei-Wei Chen","path":"/perry0513","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31507162?s=80&v=4"},"commit":{"message":"Add bitwuzla as submodule","shortMessageHtmlLink":"Add bitwuzla as submodule"}},{"before":"0737aa6d29ace44dd0a723226d7586fe08515773","after":"507dd8102a5e989a630d6c4b4961eacb458cbbca","ref":"refs/heads/main","pushedAt":"2024-03-06T01:32:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"perry0513","name":"Pei-Wei Chen","path":"/perry0513","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31507162?s=80&v=4"},"commit":{"message":"Fix due to updated bitwuzla python api","shortMessageHtmlLink":"Fix due to updated bitwuzla python api"}},{"before":"9b46da84ce432c844a01d83f755fbee0e601ca7f","after":"0737aa6d29ace44dd0a723226d7586fe08515773","ref":"refs/heads/main","pushedAt":"2024-02-27T02:32:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"perry0513","name":"Pei-Wei Chen","path":"/perry0513","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31507162?s=80&v=4"},"commit":{"message":"Initial upload for readme","shortMessageHtmlLink":"Initial upload for readme"}},{"before":null,"after":"9b46da84ce432c844a01d83f755fbee0e601ca7f","ref":"refs/heads/main","pushedAt":"2024-02-27T02:02:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"perry0513","name":"Pei-Wei Chen","path":"/perry0513","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31507162?s=80&v=4"},"commit":{"message":"Upload benchmarks","shortMessageHtmlLink":"Upload benchmarks"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0xMVQyMDo1MDoyNy4wMDAwMDBazwAAAARippfd","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0xMVQyMDo1MDoyNy4wMDAwMDBazwAAAARippfd","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0yN1QwMjowMjozNi4wMDAwMDBazwAAAAQGCbMH"}},"title":"Activity · victoria-tuck/SMrTa"}