{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":569649348,"defaultBranch":"main","name":"itf-rs","ownerLogin":"informalsystems","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-11-23T10:02:27.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/59101308?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715843801.0","currentOid":""},"activityList":{"items":[{"before":"29210ac0943605cef50c200b7d2872d992adb631","after":null,"ref":"refs/heads/release/v0.2.4","pushedAt":"2024-05-16T07:15:40.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"}},{"before":"e9c5fcea440b53f8d216e38e1bb23a8b92a8bb73","after":"2cb9a14774e0511fa77da1309acd26135d3d1ae6","ref":"refs/heads/main","pushedAt":"2024-05-16T07:15:39.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Release v0.2.4 (#18)","shortMessageHtmlLink":"Release v0.2.4 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2299548159\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/itf-rs/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/itf-rs/pull/18/hovercard\" href=\"https://github.com/informalsystems/itf-rs/pull/18\">#18</a>)"}},{"before":null,"after":"29210ac0943605cef50c200b7d2872d992adb631","ref":"refs/heads/release/v0.2.4","pushedAt":"2024-05-16T07:14:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Update changelog","shortMessageHtmlLink":"Update changelog"}},{"before":"72f6a3d33097cc311f1b08a6f59e5999d45128f0","after":null,"ref":"refs/heads/romac/option-result","pushedAt":"2024-05-16T07:11:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"}},{"before":"40cbf6ac3e30011ea0ba6a0d83a2cadc1dc6f265","after":"e9c5fcea440b53f8d216e38e1bb23a8b92a8bb73","ref":"refs/heads/main","pushedAt":"2024-05-16T07:11:30.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Add helpers to deserialize into `Option` or `Result` (#17)\n\ncc @bugarela\r\n\r\n## `Option`\r\n\r\n```rust\r\nuse serde::Deserialize;\r\nuse serde_json::json;\r\n\r\nuse itf::de::{self, As};\r\n\r\n#[derive(Debug, PartialEq, Deserialize)]\r\nstruct FooOption {\r\n    #[serde(with = \"As::<de::Option::<_>>\")]\r\n    foo: Option<u64>,\r\n}\r\n\r\nlet some_itf = json!({\r\n    \"foo\": {\r\n        \"tag\": \"Some\",\r\n        \"value\": 42,\r\n    }\r\n});\r\n\r\nlet some_foo = itf::from_value::<FooOption>(some_itf).unwrap();\r\nassert_eq!(some_foo, FooOption { foo: Some(42) });\r\n\r\nlet none_itf = json!({\r\n    \"foo\": {\r\n        \"tag\": \"None\",\r\n        \"value\": {},\r\n    }\r\n});\r\n\r\nlet none_foo = itf::from_value::<FooOption>(none_itf).unwrap();\r\nassert_eq!(none_foo, FooOption { foo: None });\r\n```\r\n\r\n## `Result`\r\n\r\n```rust\r\nuse serde::Deserialize;\r\nuse serde_json::json;\r\n\r\nuse itf::de::{self, As};\r\n\r\n#[derive(Debug, PartialEq, Deserialize)]\r\nstruct FooResult {\r\n    #[serde(with = \"As::<de::Result::<_, _>>\")]\r\n    foo: Result<u64, u64>,\r\n}\r\n\r\nlet ok_itf = json!({\r\n    \"foo\": {\r\n        \"tag\": \"Ok\",\r\n        \"value\": 42,\r\n    }\r\n});\r\n\r\nlet ok = itf::from_value::<FooResult>(ok_itf).unwrap();\r\nassert_eq!(ok.foo, Ok(42));\r\n\r\nlet err_itf = json!({\r\n    \"foo\": {\r\n        \"tag\": \"Err\",\r\n        \"value\": 42,\r\n    }\r\n});\r\n\r\nlet err = itf::from_value::<FooResult>(err_itf).unwrap();\r\nassert_eq!(err.foo, Err(42));\r\n```","shortMessageHtmlLink":"Add helpers to deserialize into <code>Option</code> or <code>Result</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2298738263\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/itf-rs/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/itf-rs/pull/17/hovercard\" href=\"https://github.com/informalsystems/itf-rs/pull/17\">#17</a>)"}},{"before":"da538c0aaf214c6b56769d6847038ccb5eb1459e","after":"72f6a3d33097cc311f1b08a6f59e5999d45128f0","ref":"refs/heads/romac/option-result","pushedAt":"2024-05-16T07:08:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Add changelog entry","shortMessageHtmlLink":"Add changelog entry"}},{"before":"7293402f6ac8644955f22423bad8bce2bdc166db","after":"da538c0aaf214c6b56769d6847038ccb5eb1459e","ref":"refs/heads/romac/option-result","pushedAt":"2024-05-16T07:07:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Add missing doc comments","shortMessageHtmlLink":"Add missing doc comments"}},{"before":null,"after":"7293402f6ac8644955f22423bad8bce2bdc166db","ref":"refs/heads/romac/option-result","pushedAt":"2024-05-15T19:58:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Add helper to deserialize into `Option` or `Result`","shortMessageHtmlLink":"Add helper to deserialize into <code>Option</code> or <code>Result</code>"}},{"before":"3866c66c7210c22e6e6a65ec1122150607de6333","after":null,"ref":"refs/heads/release/v0.2.3","pushedAt":"2024-03-26T15:07:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"}},{"before":"f849c4ec034bc4c7d3c464e1d1f4baad109ff146","after":"40cbf6ac3e30011ea0ba6a0d83a2cadc1dc6f265","ref":"refs/heads/main","pushedAt":"2024-03-26T15:07:43.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Release v0.2.3 (#16)","shortMessageHtmlLink":"Release v0.2.3 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2208524073\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/itf-rs/issues/16\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/itf-rs/pull/16/hovercard\" href=\"https://github.com/informalsystems/itf-rs/pull/16\">#16</a>)"}},{"before":null,"after":"3866c66c7210c22e6e6a65ec1122150607de6333","ref":"refs/heads/release/v0.2.3","pushedAt":"2024-03-26T15:06:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Release v0.2.3","shortMessageHtmlLink":"Release v0.2.3"}},{"before":"eb0df35bf3ada319658f7f9312a8885209d533cf","after":null,"ref":"refs/heads/romac/quint-0.19","pushedAt":"2024-03-26T15:04:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"}},{"before":"a141cede9022746c1b77279e09e0a0aaf37a4289","after":"f849c4ec034bc4c7d3c464e1d1f4baad109ff146","ref":"refs/heads/main","pushedAt":"2024-03-26T15:04:56.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Deserialize empty tuple as unit (#15)\n\nSince Quint v0.19, the unit type is encoded as an empty tuple.","shortMessageHtmlLink":"Deserialize empty tuple as unit (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2208497246\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/itf-rs/issues/15\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/itf-rs/pull/15/hovercard\" href=\"https://github.com/informalsystems/itf-rs/pull/15\">#15</a>)"}},{"before":"704e5cb8a7a0a3f12a27b8103bda9d4faa6ce8c5","after":"eb0df35bf3ada319658f7f9312a8885209d533cf","ref":"refs/heads/romac/quint-0.19","pushedAt":"2024-03-26T15:04:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Cleanup","shortMessageHtmlLink":"Cleanup"}},{"before":"babbdfecd9657b762c5a418dcc608800aef7662c","after":"704e5cb8a7a0a3f12a27b8103bda9d4faa6ce8c5","ref":"refs/heads/romac/quint-0.19","pushedAt":"2024-03-26T14:57:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Add changelog entry","shortMessageHtmlLink":"Add changelog entry"}},{"before":"e26b63e59b88a9504826f98cdc8f8777dab6b801","after":"babbdfecd9657b762c5a418dcc608800aef7662c","ref":"refs/heads/romac/quint-0.19","pushedAt":"2024-03-26T14:55:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Deserialize empty tuple as unit","shortMessageHtmlLink":"Deserialize empty tuple as unit"}},{"before":null,"after":"e26b63e59b88a9504826f98cdc8f8777dab6b801","ref":"refs/heads/romac/quint-0.19","pushedAt":"2024-03-26T14:52:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Deserialize empty tuple as unit","shortMessageHtmlLink":"Deserialize empty tuple as unit"}},{"before":null,"after":"5c75ccf8a6f05e024f0e4356fe624909a2ad4db5","ref":"refs/heads/romac/native-bigint-deser","pushedAt":"2024-02-07T17:38:20.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Add native deserialization of ITF BigInts to primitive types","shortMessageHtmlLink":"Add native deserialization of ITF BigInts to primitive types"}},{"before":null,"after":"0090cb1f33ef1a142399fd21342b5369424d5691","ref":"refs/heads/ivan/recordEnums","pushedAt":"2023-12-20T10:24:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ivan-gavran","name":"Ivan Gavran","path":"/ivan-gavran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8115169?s=80&v=4"},"commit":{"message":"added an option with records to the quint model and the parse test","shortMessageHtmlLink":"added an option with records to the quint model and the parse test"}},{"before":"202badc12b4da31966e2543a2105c320bd3165f1","after":"a141cede9022746c1b77279e09e0a0aaf37a4289","ref":"refs/heads/main","pushedAt":"2023-12-07T16:05:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Add more tests for sum types","shortMessageHtmlLink":"Add more tests for sum types"}},{"before":"47dd6a693f25919d1c8ffda7958eac4252e9d809","after":null,"ref":"refs/heads/release/v0.2.2","pushedAt":"2023-12-07T11:18:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"}},{"before":"e8ebf09b4d6cbcd35a0b7479a107d461901fa34d","after":"202badc12b4da31966e2543a2105c320bd3165f1","ref":"refs/heads/main","pushedAt":"2023-12-07T11:18:14.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Release v0.2.2 (#13)","shortMessageHtmlLink":"Release v0.2.2 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2030534196\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/itf-rs/issues/13\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/itf-rs/pull/13/hovercard\" href=\"https://github.com/informalsystems/itf-rs/pull/13\">#13</a>)"}},{"before":null,"after":"47dd6a693f25919d1c8ffda7958eac4252e9d809","ref":"refs/heads/release/v0.2.2","pushedAt":"2023-12-07T11:17:20.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Bump version to v0.2.2","shortMessageHtmlLink":"Bump version to v0.2.2"}},{"before":"ce52e32b9382e8fff2720542fc4d7eae37f7b5b5","after":null,"ref":"refs/heads/romac/sum-types","pushedAt":"2023-12-07T11:16:40.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"}},{"before":"54da3946b0c1c3253d07bc9f773acfa94483fff7","after":"e8ebf09b4d6cbcd35a0b7479a107d461901fa34d","ref":"refs/heads/main","pushedAt":"2023-12-07T11:16:39.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Add support for sum types (#12)\n\nThis currently requires treating the empty record as unit, which may\r\nbreak code that relies on empty records being deserialized to an empty\r\nstruct, but that should be very uncommon.","shortMessageHtmlLink":"Add support for sum types (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2030528990\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/itf-rs/issues/12\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/itf-rs/pull/12/hovercard\" href=\"https://github.com/informalsystems/itf-rs/pull/12\">#12</a>)"}},{"before":"6f809c87cd23e60bdab7b8c257a26a72a57a5632","after":"ce52e32b9382e8fff2720542fc4d7eae37f7b5b5","ref":"refs/heads/romac/sum-types","pushedAt":"2023-12-07T11:16:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Add changelog entry","shortMessageHtmlLink":"Add changelog entry"}},{"before":null,"after":"6f809c87cd23e60bdab7b8c257a26a72a57a5632","ref":"refs/heads/romac/sum-types","pushedAt":"2023-12-07T11:14:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Add support for sum types\n\nThis currently requires treating the empty record as unit,\nwhich may break code that relies on empty records being deserialized\nto an empty struct, but that should be very uncommon.","shortMessageHtmlLink":"Add support for sum types"}},{"before":"ccd6ac2f7e5bee2c126a6d64c5a204dea4ebff71","after":null,"ref":"refs/heads/release/v0.2.1","pushedAt":"2023-11-28T09:54:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"}},{"before":"4f443dc2ee30ea598e8179f069939e7a09f44d12","after":"54da3946b0c1c3253d07bc9f773acfa94483fff7","ref":"refs/heads/main","pushedAt":"2023-11-28T09:54:02.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Release v0.2.1 (#10)","shortMessageHtmlLink":"Release v0.2.1 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2014052400\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/itf-rs/issues/10\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/itf-rs/pull/10/hovercard\" href=\"https://github.com/informalsystems/itf-rs/pull/10\">#10</a>)"}},{"before":null,"after":"ccd6ac2f7e5bee2c126a6d64c5a204dea4ebff71","ref":"refs/heads/release/v0.2.1","pushedAt":"2023-11-28T09:51:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"romac","name":"Romain Ruetschi","path":"/romac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106849?s=80&v=4"},"commit":{"message":"Release v0.2.1","shortMessageHtmlLink":"Release v0.2.1"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0xNlQwNzoxNTo0MC4wMDAwMDBazwAAAARLThhf","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0yOFQwOTo1MTo0Ni4wMDAwMDBazwAAAAO5o6vl"}},"title":"Activity · informalsystems/itf-rs"}