{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":808279004,"defaultBranch":"master","name":"Specs-Analysis","ownerLogin":"salarkalan","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-05-30T18:32:16.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/145979810?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1717352022.0","currentOid":""},"activityList":{"items":[{"before":"b98fc26861bb945ec8b87fc2fdeddebd05d53065","after":"8608d50b47c60b0fa8ee90342ae1848e404c808b","ref":"refs/heads/master","pushedAt":"2024-07-03T10:54:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"salarkalan","name":"Salar Kalantari","path":"/salarkalan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/145979810?s=80&v=4"},"commit":{"message":"Added testCases","shortMessageHtmlLink":"Added testCases"}},{"before":"02fd85865da64828fa1bbadd82800cf39c296e09","after":"b98fc26861bb945ec8b87fc2fdeddebd05d53065","ref":"refs/heads/master","pushedAt":"2024-07-03T10:04:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"salarkalan","name":"Salar Kalantari","path":"/salarkalan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/145979810?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"f7c61082c2e919fca5cfe68da6305bdb4f6b214c","after":"02fd85865da64828fa1bbadd82800cf39c296e09","ref":"refs/heads/master","pushedAt":"2024-06-25T08:53:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"salarkalan","name":"Salar Kalantari","path":"/salarkalan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/145979810?s=80&v=4"},"commit":{"message":"Updated project","shortMessageHtmlLink":"Updated project"}},{"before":"a351567059ccbdc663948c373fbea87193d44eb6","after":"f7c61082c2e919fca5cfe68da6305bdb4f6b214c","ref":"refs/heads/master","pushedAt":"2024-06-25T08:46:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"salarkalan","name":"Salar Kalantari","path":"/salarkalan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/145979810?s=80&v=4"},"commit":{"message":"Updated AlloyAnalyzer","shortMessageHtmlLink":"Updated AlloyAnalyzer"}},{"before":"aeb53398bdb4e4ea54139c3c0e8ec47ab8181ad0","after":"a351567059ccbdc663948c373fbea87193d44eb6","ref":"refs/heads/master","pushedAt":"2024-06-25T08:11:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"salarkalan","name":"Salar Kalantari","path":"/salarkalan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/145979810?s=80&v=4"},"commit":{"message":"Updated README.md","shortMessageHtmlLink":"Updated README.md"}},{"before":"98216d3d81943ebda1ebe318b2893460ee14498d","after":"aeb53398bdb4e4ea54139c3c0e8ec47ab8181ad0","ref":"refs/heads/master","pushedAt":"2024-06-25T08:08:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"salarkalan","name":"Salar Kalantari","path":"/salarkalan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/145979810?s=80&v=4"},"commit":{"message":"Updated NuSMVAnalyzer","shortMessageHtmlLink":"Updated NuSMVAnalyzer"}},{"before":"b047cdb2984a12385290d7d8537d7f66d3cd1992","after":"98216d3d81943ebda1ebe318b2893460ee14498d","ref":"refs/heads/master","pushedAt":"2024-06-25T07:56:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"salarkalan","name":"Salar Kalantari","path":"/salarkalan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/145979810?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"697c1e160585c7d93ef9ead7aea1c0b13f6d16eb","after":"b047cdb2984a12385290d7d8537d7f66d3cd1992","ref":"refs/heads/master","pushedAt":"2024-06-25T07:34:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"salarkalan","name":"Salar Kalantari","path":"/salarkalan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/145979810?s=80&v=4"},"commit":{"message":"Added AlloyAnalyzer - NuSMVAnalyzer","shortMessageHtmlLink":"Added AlloyAnalyzer - NuSMVAnalyzer"}},{"before":"f88545fcfef98403d2980ebdeff6f9a4a0b27d16","after":"697c1e160585c7d93ef9ead7aea1c0b13f6d16eb","ref":"refs/heads/master","pushedAt":"2024-06-24T11:25:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"salarkalan","name":"Salar Kalantari","path":"/salarkalan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/145979810?s=80&v=4"},"commit":{"message":"Added SMTAnalyzer","shortMessageHtmlLink":"Added SMTAnalyzer"}},{"before":"f7b3d7eca4fd2c0e2940f36564af3a0acaaa9a77","after":"f88545fcfef98403d2980ebdeff6f9a4a0b27d16","ref":"refs/heads/master","pushedAt":"2024-06-23T13:13:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"salarkalan","name":"Salar Kalantari","path":"/salarkalan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/145979810?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"db650ed3aa971f4690ec56fd8e208495360a14c9","after":"f7b3d7eca4fd2c0e2940f36564af3a0acaaa9a77","ref":"refs/heads/master","pushedAt":"2024-06-22T13:04:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"salarkalan","name":"Salar Kalantari","path":"/salarkalan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/145979810?s=80&v=4"},"commit":{"message":"Update SATAnalyzer","shortMessageHtmlLink":"Update SATAnalyzer"}},{"before":"11784583c22b83799434c75b97f06a2da21b643c","after":"db650ed3aa971f4690ec56fd8e208495360a14c9","ref":"refs/heads/master","pushedAt":"2024-06-22T10:43:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"salarkalan","name":"Salar Kalantari","path":"/salarkalan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/145979810?s=80&v=4"},"commit":{"message":"Track large files using Git LFS","shortMessageHtmlLink":"Track large files using Git LFS"}},{"before":"e7a1a0a3f2c5d28327f8a53638de74cf1d182081","after":"11784583c22b83799434c75b97f06a2da21b643c","ref":"refs/heads/master","pushedAt":"2024-06-21T12:31:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"salarkalan","name":"Salar Kalantari","path":"/salarkalan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/145979810?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"b0cbb57fe829828fb0499975076337d701a4963b","after":"e7a1a0a3f2c5d28327f8a53638de74cf1d182081","ref":"refs/heads/master","pushedAt":"2024-06-21T12:30:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"salarkalan","name":"Salar Kalantari","path":"/salarkalan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/145979810?s=80&v=4"},"commit":{"message":"Create README.md","shortMessageHtmlLink":"Create README.md"}},{"before":"6119590b7cb2d15e4c5a8fd2fd54ab7f308df828","after":"b0cbb57fe829828fb0499975076337d701a4963b","ref":"refs/heads/master","pushedAt":"2024-06-09T17:07:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"salarkalan","name":"Salar Kalantari","path":"/salarkalan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/145979810?s=80&v=4"},"commit":{"message":"Added SAT LOC","shortMessageHtmlLink":"Added SAT LOC"}},{"before":"94f4e1e436eead9f2fc40a6df6c10baf475000a6","after":"6119590b7cb2d15e4c5a8fd2fd54ab7f308df828","ref":"refs/heads/master","pushedAt":"2024-06-09T16:50:30.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"salarkalan","name":"Salar Kalantari","path":"/salarkalan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/145979810?s=80&v=4"},"commit":{"message":"update SAT Analyzer","shortMessageHtmlLink":"update SAT Analyzer"}},{"before":"d69b42dd653669f730b21774f9097a04298862a0","after":"94f4e1e436eead9f2fc40a6df6c10baf475000a6","ref":"refs/heads/master","pushedAt":"2024-06-06T15:21:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"salarkalan","name":"Salar Kalantari","path":"/salarkalan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/145979810?s=80&v=4"},"commit":{"message":"update SAT Analyzer","shortMessageHtmlLink":"update SAT Analyzer"}},{"before":"e5dc85408a76e752db21619ce15a1f5490db7c62","after":null,"ref":"refs/heads/main","pushedAt":"2024-06-02T18:13:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"salarkalan","name":"Salar Kalantari","path":"/salarkalan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/145979810?s=80&v=4"}},{"before":null,"after":"d69b42dd653669f730b21774f9097a04298862a0","ref":"refs/heads/master","pushedAt":"2024-06-02T17:27:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"salarkalan","name":"Salar Kalantari","path":"/salarkalan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/145979810?s=80&v=4"},"commit":{"message":"Added project structure.","shortMessageHtmlLink":"Added project structure."}},{"before":null,"after":"e5dc85408a76e752db21619ce15a1f5490db7c62","ref":"refs/heads/main","pushedAt":"2024-05-30T18:32:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"salarkalan","name":"Salar Kalantari","path":"/salarkalan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/145979810?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEdcUwWgA","startCursor":null,"endCursor":null}},"title":"Activity · salarkalan/Specs-Analysis"}