{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":773378365,"defaultBranch":"main","name":"timed-automata-analysis","ownerLogin":"luth1um","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-03-17T14:02:59.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/52032867?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1725359673.0","currentOid":""},"activityList":{"items":[{"before":"ccd53c695cfae6d3ec481f48b5f180a7ef0505b7","after":"6a544e26c2f0ef45b54f02fac642e18973dec46a","ref":"refs/heads/gh-pages","pushedAt":"2024-09-03T10:42:41.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 @ luth1um/timed-automata-analysis@25ec4e665abd474cc6b57f86946be2f829795283 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/luth1um/timed-automata-analysis/commit/25ec4e665abd474cc6b57f86946be2f829795283/hovercard\" href=\"https://github.com/luth1um/timed-automata-analysis/commit/25ec4e665abd474cc6b57f86946be2f829795283\"><tt>25ec4e6</tt></a> 🚀"}},{"before":"b0628af11bb6e2c95ec8c8adce70be7775939430","after":"25ec4e665abd474cc6b57f86946be2f829795283","ref":"refs/heads/release","pushedAt":"2024-09-03T10:34:33.000Z","pushType":"push","commitsCount":12,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"v2.0.0","shortMessageHtmlLink":"v2.0.0"}},{"before":"13e3fcb4122e4ed720d3c01e2f2d1ecc17349593","after":"25ec4e665abd474cc6b57f86946be2f829795283","ref":"refs/heads/main","pushedAt":"2024-09-03T10:34:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"v2.0.0","shortMessageHtmlLink":"v2.0.0"}},{"before":"a083f75c250ac543659d26a899e453fafeb13150","after":"13e3fcb4122e4ed720d3c01e2f2d1ecc17349593","ref":"refs/heads/main","pushedAt":"2024-09-03T10:29:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"added reset button","shortMessageHtmlLink":"added reset button"}},{"before":"d93f7a6b889c36135fd42d193cee645ceb35cd14","after":"a083f75c250ac543659d26a899e453fafeb13150","ref":"refs/heads/main","pushedAt":"2024-09-02T14:44:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"updated dependencies","shortMessageHtmlLink":"updated dependencies"}},{"before":"e60b6f3d62695c62363d82fa5a153efac076f55b","after":"ccd53c695cfae6d3ec481f48b5f180a7ef0505b7","ref":"refs/heads/gh-pages","pushedAt":"2024-08-30T14:42:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"Updates","shortMessageHtmlLink":"Updates"}},{"before":"ba1f393d4a85848fc4ce84dabf0fcab64b2f26b6","after":"d93f7a6b889c36135fd42d193cee645ceb35cd14","ref":"refs/heads/main","pushedAt":"2024-08-30T14:42:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"updated dependencies","shortMessageHtmlLink":"updated dependencies"}},{"before":"d810ec6140ec9dd7e6e82041b96a856d0fc3ba65","after":"ba1f393d4a85848fc4ce84dabf0fcab64b2f26b6","ref":"refs/heads/main","pushedAt":"2024-08-30T11:06:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"added note to analysis","shortMessageHtmlLink":"added note to analysis"}},{"before":"06e5a0c6c802ad4dc556d7a93c162ad2a2eb78b4","after":"d810ec6140ec9dd7e6e82041b96a856d0fc3ba65","ref":"refs/heads/main","pushedAt":"2024-08-30T10:19:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"updated dependencies","shortMessageHtmlLink":"updated dependencies"}},{"before":"138a43a860490058d3e23a22255cdf3d7e8140a6","after":null,"ref":"refs/heads/integrate-wasm-analyzer","pushedAt":"2024-08-30T10:13:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"}},{"before":"47b8cc5e4345c27a4ea237348278f50e24d9a43c","after":"06e5a0c6c802ad4dc556d7a93c162ad2a2eb78b4","ref":"refs/heads/main","pushedAt":"2024-08-30T10:13:14.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"Integrate WebAssembly analyzer (#3)","shortMessageHtmlLink":"Integrate WebAssembly analyzer (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2496797612\" data-permission-text=\"Title is private\" data-url=\"https://github.com/luth1um/timed-automata-analysis/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/luth1um/timed-automata-analysis/pull/3/hovercard\" href=\"https://github.com/luth1um/timed-automata-analysis/pull/3\">#3</a>)"}},{"before":"8fd4b2e535c4a3c91421ecc193c97b4bc2293f2e","after":"138a43a860490058d3e23a22255cdf3d7e8140a6","ref":"refs/heads/integrate-wasm-analyzer","pushedAt":"2024-08-30T09:58:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"added E2E tests for reachability analysis","shortMessageHtmlLink":"added E2E tests for reachability analysis"}},{"before":"7d256b00d0233e949d1bb47c626b73d099610f6a","after":"8fd4b2e535c4a3c91421ecc193c97b4bc2293f2e","ref":"refs/heads/integrate-wasm-analyzer","pushedAt":"2024-08-29T17:00:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"typos","shortMessageHtmlLink":"typos"}},{"before":"7c9f0fdfa72269baea67682eaa28c5e6171a6780","after":"e60b6f3d62695c62363d82fa5a153efac076f55b","ref":"refs/heads/gh-pages","pushedAt":"2024-08-29T16:53:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"Updates","shortMessageHtmlLink":"Updates"}},{"before":"fe6dfb1b446385c2352c9fce34416f55212fcd97","after":"7d256b00d0233e949d1bb47c626b73d099610f6a","ref":"refs/heads/integrate-wasm-analyzer","pushedAt":"2024-08-29T16:52:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"restricted invariants to always be downward closed","shortMessageHtmlLink":"restricted invariants to always be downward closed"}},{"before":"106a58c38cce5222d99db6da345254ecdfb91d6f","after":"fe6dfb1b446385c2352c9fce34416f55212fcd97","ref":"refs/heads/integrate-wasm-analyzer","pushedAt":"2024-08-29T16:38:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"added reachability check to UI","shortMessageHtmlLink":"added reachability check to UI"}},{"before":null,"after":"106a58c38cce5222d99db6da345254ecdfb91d6f","ref":"refs/heads/integrate-wasm-analyzer","pushedAt":"2024-08-28T13:38:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"added configurations and mapper for integration WebAssembly analyzer","shortMessageHtmlLink":"added configurations and mapper for integration WebAssembly analyzer"}},{"before":"e46d95fde33981d650eccd5f9bd95655cda974fa","after":"47b8cc5e4345c27a4ea237348278f50e24d9a43c","ref":"refs/heads/main","pushedAt":"2024-08-19T16:20:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"updated outdated lock file","shortMessageHtmlLink":"updated outdated lock file"}},{"before":"7306387593c999bf4b8d3bd1057c3ff9a090613e","after":"e46d95fde33981d650eccd5f9bd95655cda974fa","ref":"refs/heads/main","pushedAt":"2024-08-15T07:34:35.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"updated dependencies","shortMessageHtmlLink":"updated dependencies"}},{"before":"6cb1e9444dbc710a4351eed9dca09bfc74fad1fe","after":"7306387593c999bf4b8d3bd1057c3ff9a090613e","ref":"refs/heads/main","pushedAt":"2024-08-14T17:00:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"removed deprecated lines","shortMessageHtmlLink":"removed deprecated lines"}},{"before":"70a8bc29cbd0c04fcfdf14158be13cf7f8e5012e","after":"6cb1e9444dbc710a4351eed9dca09bfc74fad1fe","ref":"refs/heads/main","pushedAt":"2024-08-10T16:53:20.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"updated job dependencies","shortMessageHtmlLink":"updated job dependencies"}},{"before":"0f8c5d9dd2a6920638bb959ebc15cd41529d6f8e","after":"b0628af11bb6e2c95ec8c8adce70be7775939430","ref":"refs/heads/release","pushedAt":"2024-08-10T16:43:37.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"v1.0.0","shortMessageHtmlLink":"v1.0.0"}},{"before":"0f8c5d9dd2a6920638bb959ebc15cd41529d6f8e","after":"70a8bc29cbd0c04fcfdf14158be13cf7f8e5012e","ref":"refs/heads/main","pushedAt":"2024-08-10T16:42:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"updated job dependencies","shortMessageHtmlLink":"updated job dependencies"}},{"before":"a2841cdca77e286dc119c5e35f79672d4050e8f8","after":"7c9f0fdfa72269baea67682eaa28c5e6171a6780","ref":"refs/heads/gh-pages","pushedAt":"2024-08-10T16:39:01.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 @ luth1um/timed-automata-analysis@0f8c5d9dd2a6920638bb959ebc15cd41529d6f8e 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/luth1um/timed-automata-analysis/commit/0f8c5d9dd2a6920638bb959ebc15cd41529d6f8e/hovercard\" href=\"https://github.com/luth1um/timed-automata-analysis/commit/0f8c5d9dd2a6920638bb959ebc15cd41529d6f8e\"><tt>0f8c5d9</tt></a> 🚀"}},{"before":"219adc269c7660e338044f216b4fc115fc25c998","after":"0f8c5d9dd2a6920638bb959ebc15cd41529d6f8e","ref":"refs/heads/release","pushedAt":"2024-08-10T16:37:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"add write permissions for deployment","shortMessageHtmlLink":"add write permissions for deployment"}},{"before":"219adc269c7660e338044f216b4fc115fc25c998","after":"0f8c5d9dd2a6920638bb959ebc15cd41529d6f8e","ref":"refs/heads/main","pushedAt":"2024-08-10T16:37:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"add write permissions for deployment","shortMessageHtmlLink":"add write permissions for deployment"}},{"before":"6fce033a38b7466958a198a843ea7eb459169ac4","after":"219adc269c7660e338044f216b4fc115fc25c998","ref":"refs/heads/release","pushedAt":"2024-08-10T16:30:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"deployment job","shortMessageHtmlLink":"deployment job"}},{"before":"6fce033a38b7466958a198a843ea7eb459169ac4","after":"219adc269c7660e338044f216b4fc115fc25c998","ref":"refs/heads/main","pushedAt":"2024-08-10T16:30:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"deployment job","shortMessageHtmlLink":"deployment job"}},{"before":null,"after":"6fce033a38b7466958a198a843ea7eb459169ac4","ref":"refs/heads/release","pushedAt":"2024-08-10T16:18:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"added deployment job","shortMessageHtmlLink":"added deployment job"}},{"before":"567a65c61912e735e530e36d09b89c0c3d6f8cbb","after":"6fce033a38b7466958a198a843ea7eb459169ac4","ref":"refs/heads/main","pushedAt":"2024-08-10T16:17:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"luth1um","name":"Luthium","path":"/luth1um","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52032867?s=80&v=4"},"commit":{"message":"added deployment job","shortMessageHtmlLink":"added deployment job"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEq3JwhgA","startCursor":null,"endCursor":null}},"title":"Activity · luth1um/timed-automata-analysis"}