{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":618429505,"defaultBranch":"main","name":"verifx","ownerLogin":"verifx-prover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-03-24T12:59:36.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/135317053?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716473909.0","currentOid":""},"activityList":{"items":[{"before":"e03de096b2626dbc27a9e3af56196658647a9122","after":"0e54831ac20d95d64475e98e83b9cc993c776473","ref":"refs/heads/main","pushedAt":"2024-05-23T14:16:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Support AST transformations","shortMessageHtmlLink":"Support AST transformations"}},{"before":"4fbf603dd9021eeb52d1756636b98b97b2730066","after":"e03de096b2626dbc27a9e3af56196658647a9122","ref":"refs/heads/main","pushedAt":"2023-11-03T12:12:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Don't try to infer type parameters from arguments when the function does not take arguments.","shortMessageHtmlLink":"Don't try to infer type parameters from arguments when the function d…"}},{"before":"4fbf603dd9021eeb52d1756636b98b97b2730066","after":null,"ref":"refs/tags/v1.0.2","pushedAt":"2023-10-20T12:07:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"}},{"before":"bd84a5f63572333cdf53402b8cd46269ccdefb26","after":"4fbf603dd9021eeb52d1756636b98b97b2730066","ref":"refs/heads/main","pushedAt":"2023-09-25T08:12:33.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:verifx-prover/verifx","shortMessageHtmlLink":"Merge branch 'main' of github.com:verifx-prover/verifx"}},{"before":"c374ad574d4bd1bc41a4330b85a9fa5308d711a7","after":"bd84a5f63572333cdf53402b8cd46269ccdefb26","ref":"refs/heads/main","pushedAt":"2023-07-14T11:18:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Remove pre in PNCounter2","shortMessageHtmlLink":"Remove pre in PNCounter2"}},{"before":"a6ce3445bf8e86579c3d05d06463c6912aa10c87","after":"c374ad574d4bd1bc41a4330b85a9fa5308d711a7","ref":"refs/heads/main","pushedAt":"2023-07-14T11:16:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"remove comment","shortMessageHtmlLink":"remove comment"}},{"before":"c0c1aeeb44dffe6b1572ad19b061f995716dfefc","after":"a6ce3445bf8e86579c3d05d06463c6912aa10c87","ref":"refs/heads/main","pushedAt":"2023-07-14T11:15:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Remove todo","shortMessageHtmlLink":"Remove todo"}},{"before":"caeeeb100056717685c96b0f27e259163c83d3cc","after":"c0c1aeeb44dffe6b1572ad19b061f995716dfefc","ref":"refs/heads/main","pushedAt":"2023-07-14T11:15:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Removed obsolete todo","shortMessageHtmlLink":"Removed obsolete todo"}},{"before":"50a10105f237c30985fa583f5497de5e43bba41c","after":"caeeeb100056717685c96b0f27e259163c83d3cc","ref":"refs/heads/main","pushedAt":"2023-07-14T11:14:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Remove obsolete comment","shortMessageHtmlLink":"Remove obsolete comment"}},{"before":"b27af4d75917da6b66ee0ad446eafc5f43120380","after":"50a10105f237c30985fa583f5497de5e43bba41c","ref":"refs/heads/main","pushedAt":"2023-07-14T11:14:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Remove obsolete comment","shortMessageHtmlLink":"Remove obsolete comment"}},{"before":"3c88685f6c0e2687dc8ffc99e0d920b400045bdc","after":"b27af4d75917da6b66ee0ad446eafc5f43120380","ref":"refs/heads/main","pushedAt":"2023-07-14T11:13:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Remove obsolete comments","shortMessageHtmlLink":"Remove obsolete comments"}},{"before":"9db4b75a4b2e021ab399a44a4a85f0d5dbd873c1","after":"3c88685f6c0e2687dc8ffc99e0d920b400045bdc","ref":"refs/heads/main","pushedAt":"2023-06-09T13:03:28.805Z","pushType":"push","commitsCount":2,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Upgrade sbt","shortMessageHtmlLink":"Upgrade sbt"}},{"before":"2d665a58a7885814d89bde0c4e4a3cdd854f83e9","after":"9db4b75a4b2e021ab399a44a4a85f0d5dbd873c1","ref":"refs/heads/main","pushedAt":"2023-06-02T08:15:20.717Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"fix broken link to documentation in readme.md","shortMessageHtmlLink":"fix broken link to documentation in readme.md"}},{"before":"57dac638d9652b5dbf613124bcafd7f08bb68327","after":"2d665a58a7885814d89bde0c4e4a3cdd854f83e9","ref":"refs/heads/main","pushedAt":"2023-05-05T13:53:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Fixed typo in readme.","shortMessageHtmlLink":"Fixed typo in readme."}},{"before":"ea914e2b20bdadd4273f5ef39362ee0d8194ee82","after":"57dac638d9652b5dbf613124bcafd7f08bb68327","ref":"refs/heads/main","pushedAt":"2023-05-05T13:52:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Added CRDT types to readme of examples.","shortMessageHtmlLink":"Added CRDT types to readme of examples."}},{"before":"bc7be35cda5d95a6e894e5cd9932e0b57963532a","after":"ea914e2b20bdadd4273f5ef39362ee0d8194ee82","ref":"refs/heads/main","pushedAt":"2023-05-05T13:47:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Minor change in readme.","shortMessageHtmlLink":"Minor change in readme."}},{"before":"07423ee21c74898bf838c9f5c639d1e5c8595a8f","after":"bc7be35cda5d95a6e894e5cd9932e0b57963532a","ref":"refs/heads/main","pushedAt":"2023-04-28T06:31:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Readme for examples","shortMessageHtmlLink":"Readme for examples"}},{"before":"43899207f86948df02832768f56415d9a8dac6f2","after":"07423ee21c74898bf838c9f5c639d1e5c8595a8f","ref":"refs/heads/main","pushedAt":"2023-04-21T14:09:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Updated VeriFx to version 1.0.1 to publish as Scala library to maven.","shortMessageHtmlLink":"Updated VeriFx to version 1.0.1 to publish as Scala library to maven."}},{"before":"b3567402b0529a3883c8b036bab2fae7f47dfd80","after":"43899207f86948df02832768f56415d9a8dac6f2","ref":"refs/heads/main","pushedAt":"2023-04-14T14:48:10.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:kevin-dp/verifx","shortMessageHtmlLink":"Merge branch 'main' of github.com:kevin-dp/verifx"}},{"before":"16d5f8e3dd0cc3c1117eec5c9a8a3d634d09a085","after":"b3567402b0529a3883c8b036bab2fae7f47dfd80","ref":"refs/heads/main","pushedAt":"2023-04-14T14:23:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Add license","shortMessageHtmlLink":"Add license"}},{"before":"3de3d96218c9c289eae5cc51020882eb82d88cd3","after":"16d5f8e3dd0cc3c1117eec5c9a8a3d634d09a085","ref":"refs/heads/main","pushedAt":"2023-04-14T14:10:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Updated version information in readme","shortMessageHtmlLink":"Updated version information in readme"}},{"before":"f10b0fb4fe3092004e6b4eb4117702507ba3f563","after":"3de3d96218c9c289eae5cc51020882eb82d88cd3","ref":"refs/heads/main","pushedAt":"2023-04-14T14:05:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Updated docs","shortMessageHtmlLink":"Updated docs"}},{"before":"48678ca91e1b9312a6e84beb0221cedd89d5893d","after":"f10b0fb4fe3092004e6b4eb4117702507ba3f563","ref":"refs/heads/main","pushedAt":"2023-04-14T14:00:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Use new package name in readme","shortMessageHtmlLink":"Use new package name in readme"}},{"before":"a6bd58bb9ce2d23ba23460f8a714d1e37976ade7","after":"48678ca91e1b9312a6e84beb0221cedd89d5893d","ref":"refs/heads/main","pushedAt":"2023-04-14T13:58:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Updated documentation to use new package name","shortMessageHtmlLink":"Updated documentation to use new package name"}},{"before":"65e669744568a2050529a116a874fd9cbdb9a2a1","after":"a6bd58bb9ce2d23ba23460f8a714d1e37976ade7","ref":"refs/heads/main","pushedAt":"2023-04-14T13:56:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Use new package name","shortMessageHtmlLink":"Use new package name"}},{"before":"d06cb72132f559deca26942d9dc7f86d0f8e12a9","after":"65e669744568a2050529a116a874fd9cbdb9a2a1","ref":"refs/heads/main","pushedAt":"2023-04-14T13:53:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Use new package name","shortMessageHtmlLink":"Use new package name"}},{"before":"79ee076da829ae7ca6551302401e1d37ac5226f3","after":"d06cb72132f559deca26942d9dc7f86d0f8e12a9","ref":"refs/heads/main","pushedAt":"2023-04-14T13:46:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Use new package name in OT proofs","shortMessageHtmlLink":"Use new package name in OT proofs"}},{"before":"31eccc70cbe01e89de18b8e58d07cca74e679413","after":"79ee076da829ae7ca6551302401e1d37ac5226f3","ref":"refs/heads/main","pushedAt":"2023-04-14T13:40:19.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Upgrade Z3 to a later version that supports what we need for reconstructing models.","shortMessageHtmlLink":"Upgrade Z3 to a later version that supports what we need for reconstr…"}},{"before":"15b061df19363b288c86f7091fc0157c0b374e79","after":"31eccc70cbe01e89de18b8e58d07cca74e679413","ref":"refs/heads/main","pushedAt":"2023-04-14T13:12:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Rename organization","shortMessageHtmlLink":"Rename organization"}},{"before":"3916e44f3ac4118b59ae73c5cbd8a48ee2901c91","after":"15b061df19363b288c86f7091fc0157c0b374e79","ref":"refs/heads/main","pushedAt":"2023-04-14T13:12:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevin-dp","name":"Kevin","path":"/kevin-dp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17384006?s=80&v=4"},"commit":{"message":"Upgrade Z3 because counterexample reconstruction requires a feature only present in Z3 v4.12.1 and higher","shortMessageHtmlLink":"Upgrade Z3 because counterexample reconstruction requires a feature o…"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEUhqpVQA","startCursor":null,"endCursor":null}},"title":"Activity · verifx-prover/verifx"}