{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":30188727,"defaultBranch":"master","name":"tools","ownerLogin":"tip-org","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-02-02T13:40:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/10811325?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1611762070.0","currentOid":""},"activityList":{"items":[{"before":"fe29b8f9a01f1e8c23ed1d2fa7ce22debf7c7b48","after":"39b739cbdfd634f7dfa8f646a3f69f65423bbea4","ref":"refs/heads/master","pushedAt":"2024-01-25T12:39:08.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"solrun","name":null,"path":"/solrun","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3726548?s=80&v=4"},"commit":{"message":"Merge branch 'assert-claim-lemmas'","shortMessageHtmlLink":"Merge branch 'assert-claim-lemmas'"}},{"before":"6778f43c10a7d81a307cffde7fe639fee6d911c6","after":"fe29b8f9a01f1e8c23ed1d2fa7ce22debf7c7b48","ref":"refs/heads/master","pushedAt":"2024-01-25T10:56:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"nick8325","name":"Nick Smallbone","path":"/nick8325","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104447?s=80&v=4"},"commit":{"message":"Added an --only-recursive-functions flag to tip-spec.","shortMessageHtmlLink":"Added an --only-recursive-functions flag to tip-spec."}},{"before":"a7138226d42b674326f209ac8781299da850e5d0","after":"6778f43c10a7d81a307cffde7fe639fee6d911c6","ref":"refs/heads/master","pushedAt":"2024-01-12T10:00:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nick8325","name":"Nick Smallbone","path":"/nick8325","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104447?s=80&v=4"},"commit":{"message":"Added --int-is-nat flag to tip-spec.","shortMessageHtmlLink":"Added --int-is-nat flag to tip-spec."}},{"before":"3550773311f18044093dfaaf8ee64dd4c1c03def","after":"a7138226d42b674326f209ac8781299da850e5d0","ref":"refs/heads/master","pushedAt":"2023-12-14T15:36:42.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"solrun","name":null,"path":"/solrun","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3726548?s=80&v=4"},"commit":{"message":"simplify greater than to less than","shortMessageHtmlLink":"simplify greater than to less than"}},{"before":"17dadf7a9e7258a632cad675524f220993bbdc83","after":"3550773311f18044093dfaaf8ee64dd4c1c03def","ref":"refs/heads/master","pushedAt":"2023-12-14T15:04:36.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"solrun","name":null,"path":"/solrun","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3726548?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:tip-org/tools","shortMessageHtmlLink":"Merge branch 'master' of github.com:tip-org/tools"}},{"before":"54fff74d1b198ea30d13efbb53a53dea519fe0cb","after":"17dadf7a9e7258a632cad675524f220993bbdc83","ref":"refs/heads/master","pushedAt":"2023-12-14T09:58:19.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"nick8325","name":"Nick Smallbone","path":"/nick8325","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104447?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:tip-org/tools","shortMessageHtmlLink":"Merge branch 'master' of github.com:tip-org/tools"}},{"before":"e3b73e65a8f97c6cab275bea117ab02277df6a12","after":"54fff74d1b198ea30d13efbb53a53dea519fe0cb","ref":"refs/heads/master","pushedAt":"2023-11-29T12:26:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"solrun","name":null,"path":"/solrun","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3726548?s=80&v=4"},"commit":{"message":"updated quickspec dep","shortMessageHtmlLink":"updated quickspec dep"}},{"before":"8ecd4198586b33dcefd96a19bde2fbe283636d0e","after":"e3b73e65a8f97c6cab275bea117ab02277df6a12","ref":"refs/heads/master","pushedAt":"2023-11-12T12:42:10.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"solrun","name":null,"path":"/solrun","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3726548?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:tip-org/tools","shortMessageHtmlLink":"Merge branch 'master' of github.com:tip-org/tools"}},{"before":"3a725fef6f65060499f43d5b1516577b8fa160d5","after":"8ecd4198586b33dcefd96a19bde2fbe283636d0e","ref":"refs/heads/master","pushedAt":"2023-11-09T17:06:12.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"nick8325","name":"Nick Smallbone","path":"/nick8325","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104447?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:tip-org/tools","shortMessageHtmlLink":"Merge branch 'master' of github.com:tip-org/tools"}},{"before":"88b8b882fdf4f5d286ce89c753cd86cc42aeabac","after":"3a725fef6f65060499f43d5b1516577b8fa160d5","ref":"refs/heads/master","pushedAt":"2023-11-09T13:58:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"solrun","name":null,"path":"/solrun","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3726548?s=80&v=4"},"commit":{"message":"updating type constraints when using observers","shortMessageHtmlLink":"updating type constraints when using observers"}},{"before":"6c91c763385a66eba625ebd6ee852a388ff865eb","after":"88b8b882fdf4f5d286ce89c753cd86cc42aeabac","ref":"refs/heads/master","pushedAt":"2023-11-09T12:48:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nick8325","name":"Nick Smallbone","path":"/nick8325","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104447?s=80&v=4"},"commit":{"message":"Fix mixup with QuickSpec.Internal","shortMessageHtmlLink":"Fix mixup with QuickSpec.Internal"}},{"before":"ef6a1c4fa176a8d69c24004f16612f2fd9678463","after":"6c91c763385a66eba625ebd6ee852a388ff865eb","ref":"refs/heads/master","pushedAt":"2023-11-09T10:41:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nick8325","name":"Nick Smallbone","path":"/nick8325","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104447?s=80&v=4"},"commit":{"message":"Adjust genericArbitrary to not use Typeable","shortMessageHtmlLink":"Adjust genericArbitrary to not use Typeable"}},{"before":"8e8d6ef14f1019c4c8d10326e674baa6b8de1c65","after":"ef6a1c4fa176a8d69c24004f16612f2fd9678463","ref":"refs/heads/master","pushedAt":"2023-11-09T09:54:35.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"nick8325","name":"Nick Smallbone","path":"/nick8325","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104447?s=80&v=4"},"commit":{"message":"Use -S for --test-size.","shortMessageHtmlLink":"Use -S for --test-size."}},{"before":"9f418df8bbd319b12bf61dee9b39f51d3242c6e1","after":"8e8d6ef14f1019c4c8d10326e674baa6b8de1c65","ref":"refs/heads/master","pushedAt":"2023-11-08T23:46:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nick8325","name":"Nick Smallbone","path":"/nick8325","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104447?s=80&v=4"},"commit":{"message":"Add dummy set-logic and check-sat commands.","shortMessageHtmlLink":"Add dummy set-logic and check-sat commands."}},{"before":"e775808256a148cb43cfd77fb5708410cb8188ce","after":"9f418df8bbd319b12bf61dee9b39f51d3242c6e1","ref":"refs/heads/master","pushedAt":"2023-11-08T23:41:11.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"nick8325","name":"Nick Smallbone","path":"/nick8325","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104447?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:tip-org/tools","shortMessageHtmlLink":"Merge branch 'master' of github.com:tip-org/tools"}},{"before":"5805c650b51c165b3e6a869bbfaded859c01bbcd","after":"e775808256a148cb43cfd77fb5708410cb8188ce","ref":"refs/heads/master","pushedAt":"2023-10-31T13:08:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"moajohansson","name":null,"path":"/moajohansson","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1147797?s=80&v=4"},"commit":{"message":"Added vampspec script that takes a TIP file, and tries to prove it using Vampire, with or without induction, and if need be also with theory exploration","shortMessageHtmlLink":"Added vampspec script that takes a TIP file, and tries to prove it us…"}},{"before":"11b45e55078d2fda6d42708bd70c29ffbb997d4d","after":"5805c650b51c165b3e6a869bbfaded859c01bbcd","ref":"refs/heads/master","pushedAt":"2023-09-28T12:42:39.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"nick8325","name":"Nick Smallbone","path":"/nick8325","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104447?s=80&v=4"},"commit":{"message":"Add option to SMT pretty-printing to control whether attributes get dropped.","shortMessageHtmlLink":"Add option to SMT pretty-printing to control whether attributes get d…"}},{"before":"c05cdf3fe9c6a4d8a8e558c96e1cd11a17e77479","after":"11b45e55078d2fda6d42708bd70c29ffbb997d4d","ref":"refs/heads/master","pushedAt":"2023-09-28T09:30:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"moajohansson","name":null,"path":"/moajohansson","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1147797?s=80&v=4"},"commit":{"message":"adding assert-claim for Vampire lemmas","shortMessageHtmlLink":"adding assert-claim for Vampire lemmas"}},{"before":"3a0475b80689420b177b7890976829daad5aa5c1","after":"c05cdf3fe9c6a4d8a8e558c96e1cd11a17e77479","ref":"refs/heads/master","pushedAt":"2023-09-28T08:57:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"moajohansson","name":null,"path":"/moajohansson","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1147797?s=80&v=4"},"commit":{"message":"script to run tip-spec with Vampire","shortMessageHtmlLink":"script to run tip-spec with Vampire"}},{"before":"4c516f5692ab18507518320ba037d366bd5aa298","after":"3a0475b80689420b177b7890976829daad5aa5c1","ref":"refs/heads/master","pushedAt":"2023-07-05T19:00:37.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"nick8325","name":"Nick Smallbone","path":"/nick8325","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104447?s=80&v=4"},"commit":{"message":"Merge pull request #25 from gernst/master\n\nFix definition of minus","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1771183389\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tip-org/tools/issues/25\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tip-org/tools/pull/25/hovercard\" href=\"https://github.com/tip-org/tools/pull/25\">#25</a> from gernst/master"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD6Ol1qwA","startCursor":null,"endCursor":null}},"title":"Activity · tip-org/tools"}