{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":156547745,"defaultBranch":"landing","name":"VoxLogicA","ownerLogin":"vincenzoml","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-11-07T13:07:27.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2283125?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1710224983.0","currentOid":""},"activityList":{"items":[{"before":"914766027cb440b3b885c122c2329c106cfcd531","after":"49125f24223f2c2274acc51d5bda2cfc45a0bb24","ref":"refs/heads/Posets","pushedAt":"2024-04-09T09:33:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"laurab1","name":null,"path":"/laurab1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43544431?s=80&v=4"},"commit":{"message":"fix minor bug","shortMessageHtmlLink":"fix minor bug"}},{"before":"d4e014f4d7ef6f95fc13f669359da49d3fa679dd","after":"914766027cb440b3b885c122c2329c106cfcd531","ref":"refs/heads/Posets","pushedAt":"2024-04-08T15:56:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"laurab1","name":null,"path":"/laurab1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43544431?s=80&v=4"},"commit":{"message":"add imgql file","shortMessageHtmlLink":"add imgql file"}},{"before":"3414f30035e6882fa9cb5d21771894f9dbd0ac41","after":"d4e014f4d7ef6f95fc13f669359da49d3fa679dd","ref":"refs/heads/Posets","pushedAt":"2024-04-08T15:19:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"laurab1","name":null,"path":"/laurab1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43544431?s=80&v=4"},"commit":{"message":"add result","shortMessageHtmlLink":"add result"}},{"before":"d1cc27a50c06570cc407083c7f032a48c180a27e","after":"3414f30035e6882fa9cb5d21771894f9dbd0ac41","ref":"refs/heads/Posets","pushedAt":"2024-04-08T15:18:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"laurab1","name":null,"path":"/laurab1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43544431?s=80&v=4"},"commit":{"message":"add maze3x5x3","shortMessageHtmlLink":"add maze3x5x3"}},{"before":"b8481d58c4891c92503ebfb3f32ccd4c5d277ccc","after":"d1cc27a50c06570cc407083c7f032a48c180a27e","ref":"refs/heads/Posets","pushedAt":"2024-04-08T15:01:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"laurab1","name":null,"path":"/laurab1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43544431?s=80&v=4"},"commit":{"message":"minor fixes","shortMessageHtmlLink":"minor fixes"}},{"before":"6a5af16f37ad5332d4f719afa41adb72f683af39","after":"b8481d58c4891c92503ebfb3f32ccd4c5d277ccc","ref":"refs/heads/Posets","pushedAt":"2024-04-03T15:32:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"laurab1","name":null,"path":"/laurab1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43544431?s=80&v=4"},"commit":{"message":"fixmodel loading","shortMessageHtmlLink":"fixmodel loading"}},{"before":"36319c9a202a5cc45b126fe00f6a729a4961e53d","after":"f85b664b9de59f173a5fc3430a77255ba13908fe","ref":"refs/heads/polyhedra","pushedAt":"2024-03-27T14:30:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vincenzoml","name":"Vincenzo Ciancia","path":"/vincenzoml","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2283125?s=80&v=4"},"commit":{"message":"fixed concurrency bug","shortMessageHtmlLink":"fixed concurrency bug"}},{"before":"06b78ba50305d558b7846fe954ccf76e4f7830fb","after":"6a5af16f37ad5332d4f719afa41adb72f683af39","ref":"refs/heads/Posets","pushedAt":"2024-03-26T15:37:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"laurab1","name":null,"path":"/laurab1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43544431?s=80&v=4"},"commit":{"message":"update fsproj","shortMessageHtmlLink":"update fsproj"}},{"before":"deb227c25b6c688cda67965baf29e1b93501fd94","after":"06b78ba50305d558b7846fe954ccf76e4f7830fb","ref":"refs/heads/Posets","pushedAt":"2024-03-26T12:22:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"laurab1","name":null,"path":"/laurab1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43544431?s=80&v=4"},"commit":{"message":"try to rewrite through","shortMessageHtmlLink":"try to rewrite through"}},{"before":"dd911138b111e1927b7e80715b532535330c5600","after":"deb227c25b6c688cda67965baf29e1b93501fd94","ref":"refs/heads/Posets","pushedAt":"2024-03-21T16:01:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"laurab1","name":null,"path":"/laurab1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43544431?s=80&v=4"},"commit":{"message":"add gamma and eta","shortMessageHtmlLink":"add gamma and eta"}},{"before":"08c98286c61680d24a41a6ca248bfb23bb14706f","after":"dd911138b111e1927b7e80715b532535330c5600","ref":"refs/heads/Posets","pushedAt":"2024-03-19T09:07:13.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"laurab1","name":null,"path":"/laurab1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43544431?s=80&v=4"},"commit":{"message":"add connetted components","shortMessageHtmlLink":"add connetted components"}},{"before":"f76f9da560009d9ad27ac3752cd2a6dda00e12f5","after":"08c98286c61680d24a41a6ca248bfb23bb14706f","ref":"refs/heads/Posets","pushedAt":"2024-03-18T10:35:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"laurab1","name":null,"path":"/laurab1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43544431?s=80&v=4"},"commit":{"message":"fix bug on downs and boths","shortMessageHtmlLink":"fix bug on downs and boths"}},{"before":"fdec54fcf4a34b60bb989513a389a712f806e4dc","after":"f76f9da560009d9ad27ac3752cd2a6dda00e12f5","ref":"refs/heads/Posets","pushedAt":"2024-03-14T13:10:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"laurab1","name":null,"path":"/laurab1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43544431?s=80&v=4"},"commit":{"message":"add near and interior operators","shortMessageHtmlLink":"add near and interior operators"}},{"before":"25ba92b5fbe727881f271370952ba172fe7f5350","after":"fdec54fcf4a34b60bb989513a389a712f806e4dc","ref":"refs/heads/Posets","pushedAt":"2024-03-12T17:20:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vincenzoml","name":"Vincenzo Ciancia","path":"/vincenzoml","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2283125?s=80&v=4"},"commit":{"message":"working aps in model checker for reflexive kripke structures","shortMessageHtmlLink":"working aps in model checker for reflexive kripke structures"}},{"before":"aff8bbf91e7056a52ba6a59dd053279998de54b3","after":"25ba92b5fbe727881f271370952ba172fe7f5350","ref":"refs/heads/Posets","pushedAt":"2024-03-12T16:38:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vincenzoml","name":"Vincenzo Ciancia","path":"/vincenzoml","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2283125?s=80&v=4"},"commit":{"message":"Work in progress for posets MC","shortMessageHtmlLink":"Work in progress for posets MC"}},{"before":null,"after":"aff8bbf91e7056a52ba6a59dd053279998de54b3","ref":"refs/heads/Posets","pushedAt":"2024-03-12T06:29:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vincenzoml","name":"Vincenzo Ciancia","path":"/vincenzoml","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2283125?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"2343624e56a7e8bff3f45f47c4c4770516c38617","after":"36319c9a202a5cc45b126fe00f6a729a4961e53d","ref":"refs/heads/polyhedra","pushedAt":"2024-02-21T16:28:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vincenzoml","name":"Vincenzo Ciancia","path":"/vincenzoml","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2283125?s=80&v=4"},"commit":{"message":"Testing fixed near","shortMessageHtmlLink":"Testing fixed near"}},{"before":"10df710d3a7c8125a5ef98fa75fe6c4fe73782cd","after":"0991b31930ab24ec3612afb869604ba5323d80ef","ref":"refs/heads/experimental","pushedAt":"2023-09-06T15:44:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vincenzoml","name":"Vincenzo Ciancia","path":"/vincenzoml","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2283125?s=80&v=4"},"commit":{"message":"Fixed bug in Near due to new handling of tuples in recent sitk, expect more bugs. Updated SITK to latest development release as it's still a RC nevertheless. Bumped version.","shortMessageHtmlLink":"Fixed bug in Near due to new handling of tuples in recent sitk, expec…"}},{"before":"5c0398024f922d924a3d672265ce9fd6269bb837","after":"10df710d3a7c8125a5ef98fa75fe6c4fe73782cd","ref":"refs/heads/experimental","pushedAt":"2023-08-16T14:40:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vincenzoml","name":"Vincenzo Ciancia","path":"/vincenzoml","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2283125?s=80&v=4"},"commit":{"message":"Bumped SimpleITK version and VoxLogicA version","shortMessageHtmlLink":"Bumped SimpleITK version and VoxLogicA version"}},{"before":"eb060727ade71b8a7eac08d6345c93f3b3bd1cf2","after":"ff118a9f60d58c91afce01d76b34f60facbfaf72","ref":"refs/heads/voxlogica2","pushedAt":"2023-07-03T14:32:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"laurab1","name":null,"path":"/laurab1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43544431?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"8ec718b8d4ba71932ed1726e8bb302b2c99f3a1f","after":"eb060727ade71b8a7eac08d6345c93f3b3bd1cf2","ref":"refs/heads/voxlogica2","pushedAt":"2023-06-29T20:10:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"laurab1","name":null,"path":"/laurab1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43544431?s=80&v=4"},"commit":{"message":"first attempt of stream communication","shortMessageHtmlLink":"first attempt of stream communication"}},{"before":"10fc5cbc5ea59eed466eec2d79c475e82036639c","after":"8ec718b8d4ba71932ed1726e8bb302b2c99f3a1f","ref":"refs/heads/voxlogica2","pushedAt":"2023-06-27T13:36:36.184Z","pushType":"push","commitsCount":1,"pusher":{"login":"laurab1","name":null,"path":"/laurab1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43544431?s=80&v=4"},"commit":{"message":"add file for cache","shortMessageHtmlLink":"add file for cache"}},{"before":"2f65937d23d999ba00aa7155f62ce5c1bba73fcb","after":"10fc5cbc5ea59eed466eec2d79c475e82036639c","ref":"refs/heads/voxlogica2","pushedAt":"2023-06-27T13:35:37.813Z","pushType":"push","commitsCount":1,"pusher":{"login":"laurab1","name":null,"path":"/laurab1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43544431?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"af6c37bb169b47f879d8062e3aa59922ed3de7bb","after":"2343624e56a7e8bff3f45f47c4c4770516c38617","ref":"refs/heads/polyhedra","pushedAt":"2023-06-07T15:11:30.445Z","pushType":"push","commitsCount":1,"pusher":{"login":"vincenzoml","name":"Vincenzo Ciancia","path":"/vincenzoml","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2283125?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"992c1076cdf1a4d16ea80a9951362c914c522ea2","after":"2f65937d23d999ba00aa7155f62ce5c1bba73fcb","ref":"refs/heads/voxlogica2","pushedAt":"2023-05-14T14:44:44.621Z","pushType":"push","commitsCount":1,"pusher":{"login":"laurab1","name":null,"path":"/laurab1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43544431?s=80&v=4"},"commit":{"message":"add utilities","shortMessageHtmlLink":"add utilities"}},{"before":"37bdb11c60e9b7c1ab9f21c8498e8a7f71abc10e","after":"992c1076cdf1a4d16ea80a9951362c914c522ea2","ref":"refs/heads/voxlogica2","pushedAt":"2023-05-12T16:04:39.532Z","pushType":"push","commitsCount":1,"pusher":{"login":"laurab1","name":null,"path":"/laurab1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43544431?s=80&v=4"},"commit":{"message":"naive memory management","shortMessageHtmlLink":"naive memory management"}},{"before":"976dea7fcf94799bebb5eb3a7f08462afa3c1ac9","after":"37bdb11c60e9b7c1ab9f21c8498e8a7f71abc10e","ref":"refs/heads/voxlogica2","pushedAt":"2023-04-17T10:31:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vincenzoml","name":"Vincenzo Ciancia","path":"/vincenzoml","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2283125?s=80&v=4"},"commit":{"message":"New version","shortMessageHtmlLink":"New version"}},{"before":"1474858e17339f15d9c3495a122d6d2c6dcae6e0","after":"af6c37bb169b47f879d8062e3aa59922ed3de7bb","ref":"refs/heads/polyhedra","pushedAt":"2023-04-04T11:18:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vincenzoml","name":"Vincenzo Ciancia","path":"/vincenzoml","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2283125?s=80&v=4"},"commit":{"message":"fixed mistake in previous change","shortMessageHtmlLink":"fixed mistake in previous change"}},{"before":"edb8735ddaa5ef0f854af98e9b61ab597096ac2c","after":"1474858e17339f15d9c3495a122d6d2c6dcae6e0","ref":"refs/heads/polyhedra","pushedAt":"2023-04-04T08:55:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vincenzoml","name":"Vincenzo Ciancia","path":"/vincenzoml","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2283125?s=80&v=4"},"commit":{"message":"Towards fixing the converter","shortMessageHtmlLink":"Towards fixing the converter"}},{"before":"984413ede7bcd490c3706ba2eefdd077d3be8a88","after":"edb8735ddaa5ef0f854af98e9b61ab597096ac2c","ref":"refs/heads/polyhedra","pushedAt":"2023-04-04T07:54:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vincenzoml","name":"Vincenzo Ciancia","path":"/vincenzoml","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2283125?s=80&v=4"},"commit":{"message":"Added Kirill's example","shortMessageHtmlLink":"Added Kirill's example"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEK8-kWQA","startCursor":null,"endCursor":null}},"title":"Activity · vincenzoml/VoxLogicA"}