{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":670641563,"defaultBranch":"main","name":"SparkRC","ownerLogin":"jrcarter","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-07-25T13:59:30.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/16976909?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1697895761.0","currentOid":""},"activityList":{"items":[{"before":"97c27900d1ccb49a60419bb35b78f5d31048ed41","after":"9d5ea14d980eee9a6720bb886fe7cd5c3fcfc373","ref":"refs/heads/main","pushedAt":"2023-10-21T13:42:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jrcarter","name":"Jeffrey R. Carter","path":"/jrcarter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16976909?s=80&v=4"},"commit":{"message":"Attempted proof of sortedness\n\nWhen instantiated with Integer for Element, all the assumptions may be converted to assertions, except the Contains assumptions before returning from Insert and Update, and the assumption of not Contains before returning from Delete, so sortedness can be proven for Integer but not for more complex types","shortMessageHtmlLink":"Attempted proof of sortedness"}},{"before":"0e77f526836bf39c4994858a01b9bb087d38f797","after":"97c27900d1ccb49a60419bb35b78f5d31048ed41","ref":"refs/heads/main","pushedAt":"2023-10-18T15:20:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jrcarter","name":"Jeffrey R. Carter","path":"/jrcarter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16976909?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"a4134cdd7fa7dc7982807849af888accbdcdb462","after":"0e77f526836bf39c4994858a01b9bb087d38f797","ref":"refs/heads/main","pushedAt":"2023-10-18T15:05:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jrcarter","name":"Jeffrey R. Carter","path":"/jrcarter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16976909?s=80&v=4"},"commit":{"message":"Add Indefinite_Ordered_Searchable","shortMessageHtmlLink":"Add Indefinite_Ordered_Searchable"}},{"before":"016a4dcb70ca8b781ee7c4729c4328144c8c318a","after":"a4134cdd7fa7dc7982807849af888accbdcdb462","ref":"refs/heads/main","pushedAt":"2023-10-18T15:03:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jrcarter","name":"Jeffrey R. Carter","path":"/jrcarter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16976909?s=80&v=4"},"commit":{"message":"Improved functional correctness proofs","shortMessageHtmlLink":"Improved functional correctness proofs"}},{"before":"44008faf25b7b361d3c2d7881faeff27b3d36ced","after":"016a4dcb70ca8b781ee7c4729c4328144c8c318a","ref":"refs/heads/main","pushedAt":"2023-08-28T19:59:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jrcarter","name":"Jeffrey R. Carter","path":"/jrcarter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16976909?s=80&v=4"},"commit":{"message":"Added definite, unbounded queues and stacks","shortMessageHtmlLink":"Added definite, unbounded queues and stacks"}},{"before":"428d51c2745c1fb44549d84bcd53b7daf9809a73","after":"44008faf25b7b361d3c2d7881faeff27b3d36ced","ref":"refs/heads/main","pushedAt":"2023-08-11T16:03:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jrcarter","name":"Jeffrey R. Carter","path":"/jrcarter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16976909?s=80&v=4"},"commit":{"message":"More precision on what is and isn't proven","shortMessageHtmlLink":"More precision on what is and isn't proven"}},{"before":"94200e6cf2ddf73e827f9d74c89e4f141c457659","after":"428d51c2745c1fb44549d84bcd53b7daf9809a73","ref":"refs/heads/main","pushedAt":"2023-08-11T15:48:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jrcarter","name":"Jeffrey R. Carter","path":"/jrcarter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16976909?s=80&v=4"},"commit":{"message":"Improved contracts\n\nReworked Find to eliminate length restriction, which simplifies many contracts for the searchable structure, and so for unbounded maps\r\nRelaxed some preconditions and strengthened some postconditions","shortMessageHtmlLink":"Improved contracts"}},{"before":"ea0c745fb5700ae825ec2d90d3f9be213df48b3c","after":"94200e6cf2ddf73e827f9d74c89e4f141c457659","ref":"refs/heads/main","pushedAt":"2023-08-07T18:12:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jrcarter","name":"Jeffrey R. Carter","path":"/jrcarter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16976909?s=80&v=4"},"commit":{"message":"Reflect searchable structure and maps","shortMessageHtmlLink":"Reflect searchable structure and maps"}},{"before":"e357157969ed8c2acd048731eeeb32ecb9127e54","after":"ea0c745fb5700ae825ec2d90d3f9be213df48b3c","ref":"refs/heads/main","pushedAt":"2023-08-07T17:58:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jrcarter","name":"Jeffrey R. Carter","path":"/jrcarter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16976909?s=80&v=4"},"commit":{"message":"Added Indefinite_Ordered_Searchable and Unbounded_Ordered_Maps","shortMessageHtmlLink":"Added Indefinite_Ordered_Searchable and Unbounded_Ordered_Maps"}},{"before":"3dd9311526d188ab3f3f8b6ffc837b2f55e3a0c5","after":"e357157969ed8c2acd048731eeeb32ecb9127e54","ref":"refs/heads/main","pushedAt":"2023-07-30T15:29:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jrcarter","name":"Jeffrey R. Carter","path":"/jrcarter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16976909?s=80&v=4"},"commit":{"message":"Fixed a typo","shortMessageHtmlLink":"Fixed a typo"}},{"before":"f8e75ca35bf97a23382adc365017501e47303163","after":"3dd9311526d188ab3f3f8b6ffc837b2f55e3a0c5","ref":"refs/heads/main","pushedAt":"2023-07-30T15:28:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jrcarter","name":"Jeffrey R. Carter","path":"/jrcarter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16976909?s=80&v=4"},"commit":{"message":"Update README to included indefinite, unbounded forms","shortMessageHtmlLink":"Update README to included indefinite, unbounded forms"}},{"before":"330084de358328995561fac32a20e1f737c4dc10","after":"f8e75ca35bf97a23382adc365017501e47303163","ref":"refs/heads/main","pushedAt":"2023-07-30T15:16:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jrcarter","name":"Jeffrey R. Carter","path":"/jrcarter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16976909?s=80&v=4"},"commit":{"message":"Added indefinite, unbounded forms","shortMessageHtmlLink":"Added indefinite, unbounded forms"}},{"before":"b588c9fc8353a6382ccb91bb7afaabc1e7d06cb4","after":"330084de358328995561fac32a20e1f737c4dc10","ref":"refs/heads/main","pushedAt":"2023-07-25T18:20:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jrcarter","name":"Jeffrey R. Carter","path":"/jrcarter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16976909?s=80&v=4"},"commit":{"message":"Forgot the project file","shortMessageHtmlLink":"Forgot the project file"}},{"before":"cf69afc78d022461e9912da0ba9ad083ae5441a7","after":"b588c9fc8353a6382ccb91bb7afaabc1e7d06cb4","ref":"refs/heads/main","pushedAt":"2023-07-25T14:04:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jrcarter","name":"Jeffrey R. Carter","path":"/jrcarter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16976909?s=80&v=4"},"commit":{"message":"Initial files","shortMessageHtmlLink":"Initial files"}},{"before":"1a44ced35fddc6718cb7629ca43c98af6e54cb17","after":"cf69afc78d022461e9912da0ba9ad083ae5441a7","ref":"refs/heads/main","pushedAt":"2023-07-25T14:03:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jrcarter","name":"Jeffrey R. Carter","path":"/jrcarter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16976909?s=80&v=4"},"commit":{"message":"Initial version","shortMessageHtmlLink":"Initial version"}},{"before":null,"after":"1a44ced35fddc6718cb7629ca43c98af6e54cb17","ref":"refs/heads/main","pushedAt":"2023-07-25T13:59:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jrcarter","name":"Jeffrey R. Carter","path":"/jrcarter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16976909?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":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0yMVQxMzo0Mjo0Mi4wMDAwMDBazwAAAAOciwg6","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0yMVQxMzo0Mjo0Mi4wMDAwMDBazwAAAAOciwg6","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNy0yNVQxMzo1OTozMS4wMDAwMDBazwAAAANcv1O1"}},"title":"Activity · jrcarter/SparkRC"}