{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":312596869,"defaultBranch":"pcp","name":"ProbCompCert","ownerLogin":"jtassarotti","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2020-11-13T14:24:34.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/371854?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1678037321.0","currentOid":""},"activityList":{"items":[{"before":"fbb77e7a00a7cb10292b5faf41b84ded842c8e29","after":"822954df6c20d6c3d07d3fe0ea31cc42b217738c","ref":"refs/heads/pcp","pushedAt":"2023-04-10T21:13:55.000Z","pushType":"push","commitsCount":34,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Add install directions","shortMessageHtmlLink":"Add install directions"}},{"before":"e02da3ed28426a93b00fb16cdd1abacd39077cad","after":"822954df6c20d6c3d07d3fe0ea31cc42b217738c","ref":"refs/heads/artifact2023","pushedAt":"2023-04-09T15:40:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Add install directions","shortMessageHtmlLink":"Add install directions"}},{"before":"ac8d5725cf5b77af0bf8717899b6cf9ab299aadd","after":"e02da3ed28426a93b00fb16cdd1abacd39077cad","ref":"refs/heads/artifact2023","pushedAt":"2023-04-09T14:21:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Add a comment to Scompiler.v","shortMessageHtmlLink":"Add a comment to Scompiler.v"}},{"before":"ec191f51b81de3adfb9a856b21ffd2f89ae01007","after":"ac8d5725cf5b77af0bf8717899b6cf9ab299aadd","ref":"refs/heads/artifact2023","pushedAt":"2023-04-09T00:46:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Fix broken readme links","shortMessageHtmlLink":"Fix broken readme links"}},{"before":"158ecfa9f7f623f81f50da985ca8733d768eb58c","after":"ec191f51b81de3adfb9a856b21ffd2f89ae01007","ref":"refs/heads/artifact2023","pushedAt":"2023-04-09T00:45:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"More details about readme","shortMessageHtmlLink":"More details about readme"}},{"before":"765fbb8cd88e576223b62e9f5925159a49220299","after":"158ecfa9f7f623f81f50da985ca8733d768eb58c","ref":"refs/heads/artifact2023","pushedAt":"2023-04-09T00:36:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"more readme pointers","shortMessageHtmlLink":"more readme pointers"}},{"before":"c0d26d6181c107837e4d35c028746362d5e3b004","after":"765fbb8cd88e576223b62e9f5925159a49220299","ref":"refs/heads/artifact2023","pushedAt":"2023-04-09T00:30:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"typo","shortMessageHtmlLink":"typo"}},{"before":"408e2ca1411abe940c92229cc524890be58e5da0","after":"c0d26d6181c107837e4d35c028746362d5e3b004","ref":"refs/heads/artifact2023","pushedAt":"2023-04-09T00:30:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Clarify a few points of top-level repo readme","shortMessageHtmlLink":"Clarify a few points of top-level repo readme"}},{"before":"076e4df8e105772930400df43dcf87996db95402","after":"408e2ca1411abe940c92229cc524890be58e5da0","ref":"refs/heads/artifact2023","pushedAt":"2023-04-09T00:09:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Add instructions for how to add new distributions/math functions to the library","shortMessageHtmlLink":"Add instructions for how to add new distributions/math functions to t…"}},{"before":"a2585bf5d028123212fd0b54c98f59032ca32379","after":"076e4df8e105772930400df43dcf87996db95402","ref":"refs/heads/artifact2023","pushedAt":"2023-04-08T22:04:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Start instructions for developers","shortMessageHtmlLink":"Start instructions for developers"}},{"before":"30ee62acc24061cfe51a805bb879a815cdd136a6","after":"a2585bf5d028123212fd0b54c98f59032ca32379","ref":"refs/heads/artifact2023","pushedAt":"2023-04-08T20:51:42.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"more readme","shortMessageHtmlLink":"more readme"}},{"before":"f351b8021b809284894e5e9db47ca2b40cd094c1","after":"30ee62acc24061cfe51a805bb879a815cdd136a6","ref":"refs/heads/artifact2023","pushedAt":"2023-04-08T00:19:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Start writing more documentation on usage","shortMessageHtmlLink":"Start writing more documentation on usage"}},{"before":"c1a210ba5c6fb819cbc039723e98f36d7d077a15","after":"f351b8021b809284894e5e9db47ca2b40cd094c1","ref":"refs/heads/artifact2023","pushedAt":"2023-04-08T00:19:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"typo","shortMessageHtmlLink":"typo"}},{"before":"be3fc2d2735c360fdbe9bda5c8014f10252dedfb","after":"c1a210ba5c6fb819cbc039723e98f36d7d077a15","ref":"refs/heads/artifact2023","pushedAt":"2023-04-06T21:16:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Comments about StanEnv","shortMessageHtmlLink":"Comments about StanEnv"}},{"before":"6fe942822cbecf5b7bd74c1bf4725a32890ce375","after":"be3fc2d2735c360fdbe9bda5c8014f10252dedfb","ref":"refs/heads/artifact2023","pushedAt":"2023-04-06T17:00:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Documentation for several passes","shortMessageHtmlLink":"Documentation for several passes"}},{"before":"91cba21de2bbce472e8f99a6f526e570d35e4bcf","after":"6fe942822cbecf5b7bd74c1bf4725a32890ce375","ref":"refs/heads/artifact2023","pushedAt":"2023-04-06T13:43:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Comments for AdditiveConst","shortMessageHtmlLink":"Comments for AdditiveConst"}},{"before":"f574c01765170b2265a2beef25ba7ddf3663953c","after":"91cba21de2bbce472e8f99a6f526e570d35e4bcf","ref":"refs/heads/artifact2023","pushedAt":"2023-04-06T12:42:16.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Comments on integration libraries","shortMessageHtmlLink":"Comments on integration libraries"}},{"before":"75e683c98a4eb1c6600e5faf1741c1305902f7d9","after":"f574c01765170b2265a2beef25ba7ddf3663953c","ref":"refs/heads/artifact2023","pushedAt":"2023-04-06T11:40:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"More comments","shortMessageHtmlLink":"More comments"}},{"before":"c5c77380f4672d5ee2236c7c639b1d07145dd172","after":"75e683c98a4eb1c6600e5faf1741c1305902f7d9","ref":"refs/heads/artifact2023","pushedAt":"2023-04-06T02:15:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Comments for DenotationalSimulationChange","shortMessageHtmlLink":"Comments for DenotationalSimulationChange"}},{"before":"c6f28609d88b0e0fc878e735b852b0bee56791ff","after":"c5c77380f4672d5ee2236c7c639b1d07145dd172","ref":"refs/heads/artifact2023","pushedAt":"2023-04-06T01:32:03.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Comment explaining DenotationalSimulationAdditive.v","shortMessageHtmlLink":"Comment explaining DenotationalSimulationAdditive.v"}},{"before":"76ffd7e56b3f4d37fc583c3f87baf58368ca734b","after":"c6f28609d88b0e0fc878e735b852b0bee56791ff","ref":"refs/heads/artifact2023","pushedAt":"2023-04-05T18:35:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Documentation for Ssemantics.v","shortMessageHtmlLink":"Documentation for Ssemantics.v"}},{"before":"db8236932d6bcb1c5d362cbf49d48574a1129a51","after":"76ffd7e56b3f4d37fc583c3f87baf58368ca734b","ref":"refs/heads/artifact2023","pushedAt":"2023-04-04T15:28:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Add comments to Stanlight.v","shortMessageHtmlLink":"Add comments to Stanlight.v"}},{"before":"d27441e2a0b7e6944458270aba1f08f81010190c","after":"db8236932d6bcb1c5d362cbf49d48574a1129a51","ref":"refs/heads/artifact2023","pushedAt":"2023-04-02T23:37:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Remove print","shortMessageHtmlLink":"Remove print"}},{"before":"4f8b585a868e1a5dcefba1fff96cae2e6203c1db","after":"d27441e2a0b7e6944458270aba1f08f81010190c","ref":"refs/heads/artifact2023","pushedAt":"2023-04-02T23:31:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Make ccomp binary copy, build, and link runtime for stan","shortMessageHtmlLink":"Make ccomp binary copy, build, and link runtime for stan"}},{"before":"6878ee16ec1755251ac7231494cd442925ecf5eb","after":"4f8b585a868e1a5dcefba1fff96cae2e6203c1db","ref":"refs/heads/artifact2023","pushedAt":"2023-03-07T15:24:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Make it easier to override number of samples","shortMessageHtmlLink":"Make it easier to override number of samples"}},{"before":"501be64315115336d46e314841d4ec863ec0e322","after":"6878ee16ec1755251ac7231494cd442925ecf5eb","ref":"refs/heads/artifact2023","pushedAt":"2023-03-07T15:03:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Better output from bench scripts","shortMessageHtmlLink":"Better output from bench scripts"}},{"before":"c41087be13223739e2dad3fff7b128e5549629ec","after":"501be64315115336d46e314841d4ec863ec0e322","ref":"refs/heads/artifact2023","pushedAt":"2023-03-07T14:24:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Better ignore file for bench directory","shortMessageHtmlLink":"Better ignore file for bench directory"}},{"before":"40107ab77517d2f10bc3c1712fa80c1882d49a5f","after":"c41087be13223739e2dad3fff7b128e5549629ec","ref":"refs/heads/artifact2023","pushedAt":"2023-03-07T14:24:35.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jtassarotti","name":"Joseph Tassarotti","path":"/jtassarotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/371854?s=80&v=4"},"commit":{"message":"Missing files for IRT example","shortMessageHtmlLink":"Missing files for IRT example"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADFcp6aQA","startCursor":null,"endCursor":null}},"title":"Activity · jtassarotti/ProbCompCert"}