{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":1834963,"defaultBranch":"master","name":"PVS","ownerLogin":"SRI-CSL","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2011-06-02T00:58:50.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/8029212?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1712692690.0","currentOid":""},"activityList":{"items":[{"before":"5284756f3c463e1279461fd2010ceb303943e716","after":"a2940953d4f3c3abbf43799875e28e4044ddc424","ref":"refs/heads/master","pushedAt":"2024-05-24T22:54:23.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"samowre","name":"Sam Owre","path":"/samowre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/824118?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:SRI-CSL/PVS","shortMessageHtmlLink":"Merge branch 'master' of github.com:SRI-CSL/PVS"}},{"before":"80f6ba440bff2729c6da58551ad0f89b911b6c41","after":"5284756f3c463e1279461fd2010ceb303943e716","ref":"refs/heads/master","pushedAt":"2024-05-23T21:15:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cesaramh","name":"César A. Muñoz","path":"/cesaramh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6992118?s=80&v=4"},"commit":{"message":"Fixed pp_rat","shortMessageHtmlLink":"Fixed pp_rat"}},{"before":"fb9aedbf5cdb3ff3c1c6bc7cab0e27b947bc242d","after":"80f6ba440bff2729c6da58551ad0f89b911b6c41","ref":"refs/heads/master","pushedAt":"2024-05-23T20:07:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"enshankar","name":"Natarajan Shankar","path":"/enshankar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3422729?s=80&v=4"},"commit":{"message":"commented out duplicate subst-mod-params-alist in subst-mod-params.lisp","shortMessageHtmlLink":"commented out duplicate subst-mod-params-alist in subst-mod-params.lisp"}},{"before":"ae2bd543da6dfaf32fa589b6dcc5bc1c6cb9e102","after":"fb9aedbf5cdb3ff3c1c6bc7cab0e27b947bc242d","ref":"refs/heads/master","pushedAt":"2024-05-23T18:58:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"enshankar","name":"Natarajan Shankar","path":"/enshankar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3422729?s=80&v=4"},"commit":{"message":"fixes to pvs2ir","shortMessageHtmlLink":"fixes to pvs2ir"}},{"before":"4dc0447eae2784bc9e5e2c47963313b19b438b66","after":"cc66075375bf46d38616369d57abd2e51d1011fb","ref":"refs/heads/strings","pushedAt":"2024-05-21T01:20:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"karthiknukala","name":"Karthik Nukala","path":"/karthiknukala","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25020131?s=80&v=4"},"commit":{"message":"subranges types, curried functions, initial quantifiers, record fields","shortMessageHtmlLink":"subranges types, curried functions, initial quantifiers, record fields"}},{"before":"632d797961404f4f475aba8842e941c31025670e","after":"ae2bd543da6dfaf32fa589b6dcc5bc1c6cb9e102","ref":"refs/heads/master","pushedAt":"2024-05-19T07:19:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samowre","name":"Sam Owre","path":"/samowre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/824118?s=80&v=4"},"commit":{"message":"Misc fixes\n\n1. Fixed subst-mod-params* (module) to handle dependent-known-subtypes and macro-expressions\n2. Minor fix to change-mapped-class\n3. Fixed subst-mod-params* (subtype-judgement), which was a stub","shortMessageHtmlLink":"Misc fixes"}},{"before":"3db212ce4b2ed57962664712c101eac49f6ea030","after":"632d797961404f4f475aba8842e941c31025670e","ref":"refs/heads/master","pushedAt":"2024-05-16T20:00:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"enshankar","name":"Natarajan Shankar","path":"/enshankar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3422729?s=80&v=4"},"commit":{"message":"fixes to pvs2ir (theory parameters with complex types), pvslib (json_bool, bool equality)","shortMessageHtmlLink":"fixes to pvs2ir (theory parameters with complex types), pvslib (json_…"}},{"before":"fcfc4b56118b17c3d347d51b431c770218d9c040","after":"3db212ce4b2ed57962664712c101eac49f6ea030","ref":"refs/heads/master","pushedAt":"2024-05-10T08:42:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"enshankar","name":"Natarajan Shankar","path":"/enshankar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3422729?s=80&v=4"},"commit":{"message":"reconciled pvs2ir with strings","shortMessageHtmlLink":"reconciled pvs2ir with strings"}},{"before":"5e31b47703a07f307ffc6b95281afc3d2148a12d","after":"4dc0447eae2784bc9e5e2c47963313b19b438b66","ref":"refs/heads/strings","pushedAt":"2024-05-10T08:41:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"enshankar","name":"Natarajan Shankar","path":"/enshankar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3422729?s=80&v=4"},"commit":{"message":"reconciled pvs2ir between strings and pvs8","shortMessageHtmlLink":"reconciled pvs2ir between strings and pvs8"}},{"before":"ddcd703c4b7432eabe3629efb31f2c86bf65a575","after":"fcfc4b56118b17c3d347d51b431c770218d9c040","ref":"refs/heads/master","pushedAt":"2024-05-09T23:46:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samowre","name":"Sam Owre","path":"/samowre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/824118?s=80&v=4"},"commit":{"message":"Put trivial-timer quickload under #-sbcl","shortMessageHtmlLink":"Put trivial-timer quickload under #-sbcl"}},{"before":"5ba94723488f1ec6e1461bc210bdc727b8f756b5","after":"ddcd703c4b7432eabe3629efb31f2c86bf65a575","ref":"refs/heads/master","pushedAt":"2024-04-29T23:07:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samowre","name":"Sam Owre","path":"/samowre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/824118?s=80&v=4"},"commit":{"message":"Modified numeric-suffix to return 0 if no number is found","shortMessageHtmlLink":"Modified numeric-suffix to return 0 if no number is found"}},{"before":"0c24c26f8637c0c553f07a696be11959b982ca87","after":"5ba94723488f1ec6e1461bc210bdc727b8f756b5","ref":"refs/heads/master","pushedAt":"2024-04-29T10:38:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samowre","name":"Sam Owre","path":"/samowre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/824118?s=80&v=4"},"commit":{"message":"Added fixes for handling of Lisp errors in SBCL","shortMessageHtmlLink":"Added fixes for handling of Lisp errors in SBCL"}},{"before":"8c0d9ca20a33a4687e464f8d29b865731bb9897e","after":"5e31b47703a07f307ffc6b95281afc3d2148a12d","ref":"refs/heads/strings","pushedAt":"2024-04-29T04:07:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"enshankar","name":"Natarajan Shankar","path":"/enshankar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3422729?s=80&v=4"},"commit":{"message":"edits to pvs2ir.lisp","shortMessageHtmlLink":"edits to pvs2ir.lisp"}},{"before":"dc9c6aa075441311be8a8f503070df8e27d709e6","after":"0c24c26f8637c0c553f07a696be11959b982ca87","ref":"refs/heads/master","pushedAt":"2024-04-23T05:55:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samowre","name":"Sam Owre","path":"/samowre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/824118?s=80&v=4"},"commit":{"message":"Fixed moree infinite loops when given a recursive type, e.g., expr recursively referencing list[expr]","shortMessageHtmlLink":"Fixed moree infinite loops when given a recursive type, e.g., expr re…"}},{"before":"2b89100a96f6776cda9908be98252685516f96d0","after":"dc9c6aa075441311be8a8f503070df8e27d709e6","ref":"refs/heads/master","pushedAt":"2024-04-22T10:01:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samowre","name":"Sam Owre","path":"/samowre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/824118?s=80&v=4"},"commit":{"message":"Added declaration methods for datatype-or-module and importing-entity","shortMessageHtmlLink":"Added declaration methods for datatype-or-module and importing-entity"}},{"before":"e8d6a38a7fe94c840743aea75631968ff219b56f","after":"2b89100a96f6776cda9908be98252685516f96d0","ref":"refs/heads/master","pushedAt":"2024-04-20T19:01:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samowre","name":"Sam Owre","path":"/samowre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/824118?s=80&v=4"},"commit":{"message":"Fixed contains-possibly-updateable-or-closure? to handle infinite loop when given a recursive type, e.g., expr recursively referencing list[expr]","shortMessageHtmlLink":"Fixed contains-possibly-updateable-or-closure? to handle infinite loo…"}},{"before":"5bdd29e7110b609f893b15c1fbf1f0665c7e282d","after":"e8d6a38a7fe94c840743aea75631968ff219b56f","ref":"refs/heads/master","pushedAt":"2024-04-19T06:46:45.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"samowre","name":"Sam Owre","path":"/samowre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/824118?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:SRI-CSL/PVS","shortMessageHtmlLink":"Merge branch 'master' of github.com:SRI-CSL/PVS"}},{"before":"17e8c1da0f2d66046129550b378b3289d4fb130b","after":"5bdd29e7110b609f893b15c1fbf1f0665c7e282d","ref":"refs/heads/master","pushedAt":"2024-04-15T17:36:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"cesaramh","name":"César A. Muñoz","path":"/cesaramh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6992118?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'github/master'","shortMessageHtmlLink":"Merge remote-tracking branch 'github/master'"}},{"before":"4623656b4654a3373a1a330eac97fa0ddb07d95a","after":"17e8c1da0f2d66046129550b378b3289d4fb130b","ref":"refs/heads/master","pushedAt":"2024-04-15T06:33:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samowre","name":"Sam Owre","path":"/samowre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/824118?s=80&v=4"},"commit":{"message":"Added some strict-compatible?* methods to handle dep-bindings","shortMessageHtmlLink":"Added some strict-compatible?* methods to handle dep-bindings"}},{"before":"b6f95c17fa18e1fe5eb47180aee5ac3ca6bd0ef0","after":null,"ref":"refs/heads/cam-pvsiolib","pushedAt":"2024-04-09T19:58:10.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"cesaramh","name":"César A. Muñoz","path":"/cesaramh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6992118?s=80&v=4"}},{"before":"b6f95c17fa18e1fe5eb47180aee5ac3ca6bd0ef0","after":"4623656b4654a3373a1a330eac97fa0ddb07d95a","ref":"refs/heads/master","pushedAt":"2024-04-09T07:35:06.000Z","pushType":"push","commitsCount":18,"pusher":{"login":"samowre","name":"Sam Owre","path":"/samowre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/824118?s=80&v=4"},"commit":{"message":"Modified get-file-info for SBCL to optimize for safety and debug,\n\nas it seems to lead to corruption warnings otherwise","shortMessageHtmlLink":"Modified get-file-info for SBCL to optimize for safety and debug,"}},{"before":"578e76fc4769812355212ea4bc1a99f0907267d8","after":"b6f95c17fa18e1fe5eb47180aee5ac3ca6bd0ef0","ref":"refs/heads/master","pushedAt":"2024-04-01T01:09:55.000Z","pushType":"push","commitsCount":12,"pusher":{"login":"cesaramh","name":"César A. Muñoz","path":"/cesaramh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6992118?s=80&v=4"},"commit":{"message":"Fixed pvsio-funcall","shortMessageHtmlLink":"Fixed pvsio-funcall"}},{"before":"34b80bee080c07343d9cc5355dfbff06a90eb73a","after":"b6f95c17fa18e1fe5eb47180aee5ac3ca6bd0ef0","ref":"refs/heads/cam-pvsiolib","pushedAt":"2024-03-31T01:26:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cesaramh","name":"César A. Muñoz","path":"/cesaramh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6992118?s=80&v=4"},"commit":{"message":"Fixed pvsio-funcall","shortMessageHtmlLink":"Fixed pvsio-funcall"}},{"before":"0272862a91209a724f9f4d5c373d2e0682cddf4e","after":"34b80bee080c07343d9cc5355dfbff06a90eb73a","ref":"refs/heads/cam-pvsiolib","pushedAt":"2024-03-29T18:15:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cesaramh","name":"César A. Muñoz","path":"/cesaramh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6992118?s=80&v=4"},"commit":{"message":"Added pvsio-funcall","shortMessageHtmlLink":"Added pvsio-funcall"}},{"before":"30e4bb5e057c302167102907c39d4cdc6bf6fac0","after":"0272862a91209a724f9f4d5c373d2e0682cddf4e","ref":"refs/heads/cam-pvsiolib","pushedAt":"2024-03-29T13:29:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cesaramh","name":"César A. Muñoz","path":"/cesaramh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6992118?s=80&v=4"},"commit":{"message":"Updated pvsiolib","shortMessageHtmlLink":"Updated pvsiolib"}},{"before":"1bf085845ce5863597eb94b468f7275b114f802d","after":"30e4bb5e057c302167102907c39d4cdc6bf6fac0","ref":"refs/heads/cam-pvsiolib","pushedAt":"2024-03-29T05:58:45.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"samowre","name":"Sam Owre","path":"/samowre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/824118?s=80&v=4"},"commit":{"message":"Merge branch 'cam-pvsiolib' of github.com:SRI-CSL/PVS into cam-pvsiolib","shortMessageHtmlLink":"Merge branch 'cam-pvsiolib' of github.com:SRI-CSL/PVS into cam-pvsiolib"}},{"before":"061af0f4a49c2a1b6b522d21117635c9994575ac","after":"1bf085845ce5863597eb94b468f7275b114f802d","ref":"refs/heads/cam-pvsiolib","pushedAt":"2024-03-29T02:06:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cesaramh","name":"César A. Muñoz","path":"/cesaramh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6992118?s=80&v=4"},"commit":{"message":"Patches","shortMessageHtmlLink":"Patches"}},{"before":"d6b431d5fd6abe15600c1496a58c27c9936f2590","after":"061af0f4a49c2a1b6b522d21117635c9994575ac","ref":"refs/heads/cam-pvsiolib","pushedAt":"2024-03-28T21:40:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cesaramh","name":"César A. Muñoz","path":"/cesaramh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6992118?s=80&v=4"},"commit":{"message":"pvsiolib","shortMessageHtmlLink":"pvsiolib"}},{"before":"2b162f15c84ddc23622d306fed35660bf56a9fb3","after":"d6b431d5fd6abe15600c1496a58c27c9936f2590","ref":"refs/heads/cam-pvsiolib","pushedAt":"2024-03-28T18:11:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cesaramh","name":"César A. Muñoz","path":"/cesaramh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6992118?s=80&v=4"},"commit":{"message":"pvsiolib updates","shortMessageHtmlLink":"pvsiolib updates"}},{"before":"78b89915287a500810539ea091d4cec39fb92465","after":"2b162f15c84ddc23622d306fed35660bf56a9fb3","ref":"refs/heads/cam-pvsiolib","pushedAt":"2024-03-28T15:46:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cesaramh","name":"César A. Muñoz","path":"/cesaramh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6992118?s=80&v=4"},"commit":{"message":"pvsio_prelude","shortMessageHtmlLink":"pvsio_prelude"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEU3Q0GgA","startCursor":null,"endCursor":null}},"title":"Activity · SRI-CSL/PVS"}