{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":268159323,"defaultBranch":"main","name":"zelus","ownerLogin":"INRIA","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-05-30T21:02:52.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2951919?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1647874251.0945501","currentOid":""},"activityList":{"items":[{"before":"d3f7a2a6483f00e8e18d81a2f738eb2f4ba23ff5","after":"305cee90f957b9b188566ce17e1a4fda8ded5732","ref":"refs/heads/v2","pushedAt":"2024-04-21T19:41:31.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"tbrk","name":"Timothy Bourke","path":"/tbrk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5730960?s=80&v=4"},"commit":{"message":"Bug fix for the Pendulum example: the function pass to\npass for a periodic execution must be of type int -> 'a,\nnot unit -> 'a.","shortMessageHtmlLink":"Bug fix for the Pendulum example: the function pass to"}},{"before":"f62b53dc193fe19c64af5ef552b20b45a8c39b22","after":"2c03b40d315d4d772bf45ea5113da9e9a934756b","ref":"refs/heads/main","pushedAt":"2023-11-14T14:15:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcpouzet","name":"marcsynchrone","path":"/marcpouzet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46612180?s=80&v=4"},"commit":{"message":"New example.","shortMessageHtmlLink":"New example."}},{"before":"165d1ebb1f40f1bcdcb0484218dcc46fccc6e0fc","after":"f62b53dc193fe19c64af5ef552b20b45a8c39b22","ref":"refs/heads/main","pushedAt":"2023-11-14T14:12:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcpouzet","name":"marcsynchrone","path":"/marcpouzet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46612180?s=80&v=4"},"commit":{"message":"Update of the README.","shortMessageHtmlLink":"Update of the README."}},{"before":"99e70b7fc37598cf81d4aa558be7d1561862ff35","after":"8f8fd893da5cfdb4e2f8e88f9a35d5350fbc52aa","ref":"refs/heads/v1","pushedAt":"2023-11-14T10:27:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tbrk","name":"Timothy Bourke","path":"/tbrk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5730960?s=80&v=4"},"commit":{"message":"Add lastlast example","shortMessageHtmlLink":"Add lastlast example"}},{"before":"be27d42af12df848c5cd1932e7174d765c72c47c","after":"99e70b7fc37598cf81d4aa558be7d1561862ff35","ref":"refs/heads/v1","pushedAt":"2023-11-14T08:45:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tbrk","name":"Timothy Bourke","path":"/tbrk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5730960?s=80&v=4"},"commit":{"message":"fix graphics in examples","shortMessageHtmlLink":"fix graphics in examples"}},{"before":"0b6071ef6b4c11258be988aeee4ef782f041e4d8","after":"be27d42af12df848c5cd1932e7174d765c72c47c","ref":"refs/heads/v1","pushedAt":"2023-11-14T08:19:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tbrk","name":"Timothy Bourke","path":"/tbrk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5730960?s=80&v=4"},"commit":{"message":"fix for updated sundials interface","shortMessageHtmlLink":"fix for updated sundials interface"}},{"before":"1bab14fe43881efaa525319fab2a2b4c64236582","after":"165d1ebb1f40f1bcdcb0484218dcc46fccc6e0fc","ref":"refs/heads/main","pushedAt":"2023-06-16T14:14:04.399Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"marcpouzet","name":"marcsynchrone","path":"/marcpouzet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46612180?s=80&v=4"},"commit":{"message":"Better integration with Dune (#20)\n\n* Merge examples in the same dune project\r\n\r\n* Fix ABRO dune\r\n\r\n* Add Makefiles\r\n\r\n* Update Makefile\r\n\r\n* Update README\r\n\r\n* Update Docker\r\n\r\n* Add a short comment on the use of Opam pin.\r\n\r\n* Update Makefile\r\n\r\n---------\r\n\r\nCo-authored-by: Marc Pouzet <you@example.com>","shortMessageHtmlLink":"Better integration with Dune (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1674447520\" data-permission-text=\"Title is private\" data-url=\"https://github.com/INRIA/zelus/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/INRIA/zelus/pull/20/hovercard\" href=\"https://github.com/INRIA/zelus/pull/20\">#20</a>)"}},{"before":"e6d51c3ce6e446875b7df34857268d91c0a99f77","after":"ea1aa812ed584ff9e3fd9adcc42644deb899cd05","ref":"refs/heads/work","pushedAt":"2023-06-11T16:35:11.502Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcpouzet","name":"marcsynchrone","path":"/marcpouzet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46612180?s=80&v=4"},"commit":{"message":"First version of the size inference.","shortMessageHtmlLink":"First version of the size inference."}},{"before":"e434f7e374421d144f381779d4870a9acb15c707","after":"e6d51c3ce6e446875b7df34857268d91c0a99f77","ref":"refs/heads/work","pushedAt":"2023-06-11T15:23:24.249Z","pushType":"push","commitsCount":5,"pusher":{"login":"marcpouzet","name":"marcsynchrone","path":"/marcpouzet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46612180?s=80&v=4"},"commit":{"message":"Merge branch 'work' of github.com:INRIA/zelus into work","shortMessageHtmlLink":"Merge branch 'work' of github.com:INRIA/zelus into work"}},{"before":"b199b9cffee2f4b224ebd6a2a4332bf05fc40f69","after":"e434f7e374421d144f381779d4870a9acb15c707","ref":"refs/heads/work","pushedAt":"2023-06-11T07:44:09.572Z","pushType":"push","commitsCount":9,"pusher":{"login":"marcpouzet","name":"marcsynchrone","path":"/marcpouzet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46612180?s=80&v=4"},"commit":{"message":"Add a new Makefile.","shortMessageHtmlLink":"Add a new Makefile."}},{"before":"607e92d32f91194cc57b7ba05cb0c186a2c9d532","after":"b199b9cffee2f4b224ebd6a2a4332bf05fc40f69","ref":"refs/heads/work","pushedAt":"2023-06-04T08:11:46.914Z","pushType":"push","commitsCount":2,"pusher":{"login":"marcpouzet","name":"marcsynchrone","path":"/marcpouzet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46612180?s=80&v=4"},"commit":{"message":"Add examples from the main branch.","shortMessageHtmlLink":"Add examples from the main branch."}},{"before":"60acf57d17db7a78a1049c4ed301189c9a4afd49","after":"607e92d32f91194cc57b7ba05cb0c186a2c9d532","ref":"refs/heads/work","pushedAt":"2023-06-04T08:06:28.308Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcpouzet","name":"marcsynchrone","path":"/marcpouzet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46612180?s=80&v=4"},"commit":{"message":"--","shortMessageHtmlLink":"--"}},{"before":"31169e584ee30fc63a2b0b9084c4fc1b2f614a21","after":"60acf57d17db7a78a1049c4ed301189c9a4afd49","ref":"refs/heads/work","pushedAt":"2023-04-21T12:55:55.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"marcpouzet","name":"marcsynchrone","path":"/marcpouzet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46612180?s=80&v=4"},"commit":{"message":"Add implicit arrays -\n- An explicit (flat) array;\n- An implicit array : i:[n] -> 'a.","shortMessageHtmlLink":"Add implicit arrays -"}},{"before":"8c4ea10ef66661730c39cd1c54106a19ac97d979","after":"c5ab059588b06c78f18428a2f0824edeb120f889","ref":"refs/heads/dune","pushedAt":"2023-04-19T08:38:08.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"gbdrt","name":"Guillaume Baudart","path":"/gbdrt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19844192?s=80&v=4"},"commit":{"message":"Merge branch 'main' into dune","shortMessageHtmlLink":"Merge branch 'main' into dune"}},{"before":"fe55ed6f3e3048d8d1715cab1dcb2d46cf030527","after":"8c4ea10ef66661730c39cd1c54106a19ac97d979","ref":"refs/heads/dune","pushedAt":"2023-04-19T08:29:41.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"gbdrt","name":"Guillaume Baudart","path":"/gbdrt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19844192?s=80&v=4"},"commit":{"message":"Update Makefile","shortMessageHtmlLink":"Update Makefile"}},{"before":"06982c5690d3ef1f1f312b3d91d4575aa9e3cbd1","after":"31169e584ee30fc63a2b0b9084c4fc1b2f614a21","ref":"refs/heads/work","pushedAt":"2023-04-05T15:41:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcpouzet","name":"marcsynchrone","path":"/marcpouzet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46612180?s=80&v=4"},"commit":{"message":"Add the semantics for an equation [emit x] or [emit x = e]","shortMessageHtmlLink":"Add the semantics for an equation [emit x] or [emit x = e]"}},{"before":"39af7fcb31816345321c082e187927ceaa4aa85a","after":"06982c5690d3ef1f1f312b3d91d4575aa9e3cbd1","ref":"refs/heads/work","pushedAt":"2023-04-05T11:11:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcpouzet","name":"marcsynchrone","path":"/marcpouzet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46612180?s=80&v=4"},"commit":{"message":"New files.","shortMessageHtmlLink":"New files."}},{"before":"5a8df58ffe83f74380f22d259284aa132c14d6cd","after":"39af7fcb31816345321c082e187927ceaa4aa85a","ref":"refs/heads/work","pushedAt":"2023-04-05T11:09:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcpouzet","name":"marcsynchrone","path":"/marcpouzet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46612180?s=80&v=4"},"commit":{"message":"Add code from the main branch.","shortMessageHtmlLink":"Add code from the main branch."}},{"before":"07dc488ddad3c48824c0c13d432ef2f02c337cb8","after":"5a8df58ffe83f74380f22d259284aa132c14d6cd","ref":"refs/heads/work","pushedAt":"2023-04-05T10:28:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcpouzet","name":"marcsynchrone","path":"/marcpouzet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46612180?s=80&v=4"},"commit":{"message":"Update.","shortMessageHtmlLink":"Update."}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAENmnqnwA","startCursor":null,"endCursor":null}},"title":"Activity · INRIA/zelus"}