{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":344873759,"defaultBranch":"nancy","name":"org.alloytools.alloy","ownerLogin":"WatForm","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2021-03-05T16:46:52.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/63666717?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726602277.0","currentOid":""},"activityList":{"items":[{"before":"da3daf021edcd34e9b3a3b5ecc8c68504bfd228b","after":"fbedb34e7d18076bbe71f396b6062d6cf6496222","ref":"refs/heads/portus","pushedAt":"2024-09-20T06:38:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Fix CLI bug with -scope\n\nThis bug would prevent us from setting a -scope on a command with no\noverall scope in some circumstances. It does not affect correctness.","shortMessageHtmlLink":"Fix CLI bug with -scope"}},{"before":"361db731b30b36cd86dccb72c7d9afd54bf9e885","after":"c649cdd9ee2d6f0b46e4c9635cc0ef9f32371414","ref":"refs/heads/serializable","pushedAt":"2024-09-17T19:57:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdityaShankarNarayanan","name":"Aditya Shankar Narayanan","path":"/AdityaShankarNarayanan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16450124?s=80&v=4"},"commit":{"message":"Made DashModule and all the classes in its field implement the Serializable interface","shortMessageHtmlLink":"Made DashModule and all the classes in its field implement the Serial…"}},{"before":null,"after":"361db731b30b36cd86dccb72c7d9afd54bf9e885","ref":"refs/heads/serializable","pushedAt":"2024-09-17T19:44:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"AdityaShankarNarayanan","name":"Aditya Shankar Narayanan","path":"/AdityaShankarNarayanan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16450124?s=80&v=4"},"commit":{"message":"fixed problem in ExprHelper with optimizations turned on causes infinite loop of createEquals calling createTrue, which called createEquals","shortMessageHtmlLink":"fixed problem in ExprHelper with optimizations turned on causes infin…"}},{"before":"678a572a65fc428027d87807dd56e53cff6a18b7","after":"7c471d79cbda961d09a85e1d7f7dbebceed1c6bb","ref":"refs/heads/predicate-abstraction","pushedAt":"2024-09-16T15:50:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdityaShankarNarayanan","name":"Aditya Shankar Narayanan","path":"/AdityaShankarNarayanan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16450124?s=80&v=4"},"commit":{"message":"Added CLI for predicate abstraction and methods in MainFunctions and PredicateAbstraction for deep copy","shortMessageHtmlLink":"Added CLI for predicate abstraction and methods in MainFunctions and …"}},{"before":"254162729a57a8bee81a5a1b8a32d05af68e7ff8","after":"da3daf021edcd34e9b3a3b5ecc8c68504bfd228b","ref":"refs/heads/portus","pushedAt":"2024-09-10T15:50:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Bugfix: bind names properly for comprehensions in SortPolicy\n\nWhen computing the sort resolvant for a comprehension in SortPolicy, we\nwere evaluating all the decls' bounding expressions at once rather than\nconsecutively, causing name binding issues. Now we do it properly.\n\nThis bug was found by fuzz testing!","shortMessageHtmlLink":"Bugfix: bind names properly for comprehensions in SortPolicy"}},{"before":"2f08eafff1bf51e6c8b17eb7f570e7cf6bde128a","after":"5de5047a8e26289c558e6c9d4c4763608072e43b","ref":"refs/heads/portus-fuzz","pushedAt":"2024-09-10T15:50:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Bugfix: bind names properly for comprehensions in SortPolicy\n\nWhen computing the sort resolvant for a comprehension in SortPolicy, we\nwere evaluating all the decls' bounding expressions at once rather than\nconsecutively, causing name binding issues. Now we do it properly.\n\nThis bug was found by fuzz testing!","shortMessageHtmlLink":"Bugfix: bind names properly for comprehensions in SortPolicy"}},{"before":"6f2701faeff4397e195349ef2245b2248d813290","after":"2f08eafff1bf51e6c8b17eb7f570e7cf6bde128a","ref":"refs/heads/portus-fuzz","pushedAt":"2024-09-10T08:30:19.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Merge branch 'portus' into portus-fuzz","shortMessageHtmlLink":"Merge branch 'portus' into portus-fuzz"}},{"before":"79879e6b26c8991bfaafbbe730f45f56fd6402b8","after":"254162729a57a8bee81a5a1b8a32d05af68e7ff8","ref":"refs/heads/portus","pushedAt":"2024-09-10T08:29:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Update Fortress to paper-final version","shortMessageHtmlLink":"Update Fortress to paper-final version"}},{"before":"d4cbcd79bd7b6e46f333a0e81a6945825a0b715a","after":"79879e6b26c8991bfaafbbe730f45f56fd6402b8","ref":"refs/heads/portus","pushedAt":"2024-09-05T00:54:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Add -rk-ms to run Kodkod/MiniSat","shortMessageHtmlLink":"Add -rk-ms to run Kodkod/MiniSat"}},{"before":"2aca78a380ca1652ee9809250ac9c2df82d3eb37","after":"d4cbcd79bd7b6e46f333a0e81a6945825a0b715a","ref":"refs/heads/portus","pushedAt":"2024-09-01T12:34:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Remove extra print","shortMessageHtmlLink":"Remove extra print"}},{"before":"7653636a8ae490d02ef363753e20ec82d5426245","after":"2aca78a380ca1652ee9809250ac9c2df82d3eb37","ref":"refs/heads/portus","pushedAt":"2024-08-31T23:40:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Bugfix: support NOOP on RHS of declaration formula\n\nThis would sometimes result in a ClassCastException.\n\nThis bug was found by fuzz testing!","shortMessageHtmlLink":"Bugfix: support NOOP on RHS of declaration formula"}},{"before":"a64ab9805fbbc01d00243e565b282b6f8152ad7d","after":"6f2701faeff4397e195349ef2245b2248d813290","ref":"refs/heads/portus-fuzz","pushedAt":"2024-08-31T23:40:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Bugfix: support NOOP on RHS of declaration formula\n\nThis would sometimes result in a ClassCastException.\n\nThis bug was found by fuzz testing!","shortMessageHtmlLink":"Bugfix: support NOOP on RHS of declaration formula"}},{"before":"e15803fa77cbebd0fe5db3f30586acb022566472","after":"7653636a8ae490d02ef363753e20ec82d5426245","ref":"refs/heads/portus","pushedAt":"2024-08-31T14:37:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Ignore constants when computing free variables\n\nThis bug was found by fuzz testing!","shortMessageHtmlLink":"Ignore constants when computing free variables"}},{"before":"192ebe3206cb47735aa2155c5100ce087842acab","after":"a64ab9805fbbc01d00243e565b282b6f8152ad7d","ref":"refs/heads/portus-fuzz","pushedAt":"2024-08-31T14:37:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Ignore constants when computing free variables\n\nThis bug was found by fuzz testing!","shortMessageHtmlLink":"Ignore constants when computing free variables"}},{"before":"7670047d2132a6326e3f0a1ddd246ebee64fc85d","after":"192ebe3206cb47735aa2155c5100ce087842acab","ref":"refs/heads/portus-fuzz","pushedAt":"2024-08-31T12:48:54.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Merge branch 'portus' into portus-fuzz","shortMessageHtmlLink":"Merge branch 'portus' into portus-fuzz"}},{"before":"a11091dea2f4db881e16e1810f28e09855380c59","after":"e15803fa77cbebd0fe5db3f30586acb022566472","ref":"refs/heads/portus","pushedAt":"2024-08-31T12:41:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Update Fortress to working version","shortMessageHtmlLink":"Update Fortress to working version"}},{"before":"99d3eaa5c98f762d910641acc8e6c1bdfe312381","after":"a11091dea2f4db881e16e1810f28e09855380c59","ref":"refs/heads/portus","pushedAt":"2024-08-31T12:40:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Fix documentation for ExprCache","shortMessageHtmlLink":"Fix documentation for ExprCache"}},{"before":"b0a9641a4d8a6ea923a837f2a5a06d7a08e288fc","after":"99d3eaa5c98f762d910641acc8e6c1bdfe312381","ref":"refs/heads/portus","pushedAt":"2024-08-31T01:55:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Bugfix: expand lets in quantifier decls\n\nThis bug was found by fuzz testing!","shortMessageHtmlLink":"Bugfix: expand lets in quantifier decls"}},{"before":"bd93d1e4d33aadbc4e57116988e8c62eec15459c","after":"7670047d2132a6326e3f0a1ddd246ebee64fc85d","ref":"refs/heads/portus-fuzz","pushedAt":"2024-08-31T01:55:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Bugfix: expand lets in quantifier decls\n\nThis bug was found by fuzz testing!","shortMessageHtmlLink":"Bugfix: expand lets in quantifier decls"}},{"before":"0c7b8bb71d381863e21b94e3251b0d94675e182f","after":"bd93d1e4d33aadbc4e57116988e8c62eec15459c","ref":"refs/heads/portus-fuzz","pushedAt":"2024-08-31T01:36:59.000Z","pushType":"push","commitsCount":15,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Merge branch 'portus' into portus-fuzz","shortMessageHtmlLink":"Merge branch 'portus' into portus-fuzz"}},{"before":"b499a1a4de85c35ba2aefcfa83a8a4b334a45c74","after":"b0a9641a4d8a6ea923a837f2a5a06d7a08e288fc","ref":"refs/heads/portus","pushedAt":"2024-08-31T01:24:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Bugfix: compare functions by equality\n\nTurns out fun/pred labels might not be unique. So we just compare the\nfun objects directly.","shortMessageHtmlLink":"Bugfix: compare functions by equality"}},{"before":"d381a92a7d17be5377d9652ebb9b581d8208dfa6","after":"b499a1a4de85c35ba2aefcfa83a8a4b334a45c74","ref":"refs/heads/portus","pushedAt":"2024-08-30T19:21:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Don't print interpretation in RunCommandProcess unless -v\n\nThis is better for performance testing since we aren't printing a\nmassive interpretation.","shortMessageHtmlLink":"Don't print interpretation in RunCommandProcess unless -v"}},{"before":"576057662fd0dab1169cba69d9e739b0fa158a45","after":"d381a92a7d17be5377d9652ebb9b581d8208dfa6","ref":"refs/heads/portus","pushedAt":"2024-08-30T18:52:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Bugfix: don't include let mappings in cache's frozen context","shortMessageHtmlLink":"Bugfix: don't include let mappings in cache's frozen context"}},{"before":"50867307a5837d0a6dadda9bf87c2b6202e3c79d","after":"576057662fd0dab1169cba69d9e739b0fa158a45","ref":"refs/heads/portus","pushedAt":"2024-08-30T16:09:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Fix bug related to Fortress var maps with decl lists\n\nWe now add Fortress vars for previous decls before translating the exprs\nfor the next decls, which came up in the expert models after the expr\ndefn opt change.","shortMessageHtmlLink":"Fix bug related to Fortress var maps with decl lists"}},{"before":"e6041f521ada2154426ad23df6764a4191ef755f","after":"50867307a5837d0a6dadda9bf87c2b6202e3c79d","ref":"refs/heads/portus","pushedAt":"2024-08-30T15:51:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Compute alpha-equivalence properly","shortMessageHtmlLink":"Compute alpha-equivalence properly"}},{"before":"107726e16e38361de9314dbbeff825564a26aea8","after":"e6041f521ada2154426ad23df6764a4191ef755f","ref":"refs/heads/portus","pushedAt":"2024-08-30T12:42:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Make computeFreeVariables return order deterministic","shortMessageHtmlLink":"Make computeFreeVariables return order deterministic"}},{"before":"727b7c222a329e17097cc7214e0d2235b6b62ce6","after":"107726e16e38361de9314dbbeff825564a26aea8","ref":"refs/heads/portus","pushedAt":"2024-08-30T00:16:25.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Remove extra prints","shortMessageHtmlLink":"Remove extra prints"}},{"before":"3cdc1eb3e4f6261833845bcb931b4bdafc67b391","after":"727b7c222a329e17097cc7214e0d2235b6b62ce6","ref":"refs/heads/portus","pushedAt":"2024-08-30T00:14:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Remove extra prints","shortMessageHtmlLink":"Remove extra prints"}},{"before":"2d9f93208db11ceb8975642ff167f1f18268d16e","after":"3cdc1eb3e4f6261833845bcb931b4bdafc67b391","ref":"refs/heads/portus","pushedAt":"2024-08-30T00:08:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Add a pseudo alpha-equivalence tester\n\n\"Pseudo\" meaning that if test(e1,e2) is true, then e1 and e2 are\nalpha-equivalent, but the converse is not necessarily true.\n\nThis improves ExprDefnOptTranslator by e.g. foo[x] and foo[y] to both be\noptimized with the same definition.","shortMessageHtmlLink":"Add a pseudo alpha-equivalence tester"}},{"before":"991e22925549e7d4b518660a780cd18ea0d613ae","after":"2d9f93208db11ceb8975642ff167f1f18268d16e","ref":"refs/heads/portus","pushedAt":"2024-08-29T20:13:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ryandancy","name":"Ryan Dancy","path":"/ryandancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/41841896?s=80&v=4"},"commit":{"message":"Clean up ExprDefnOptTranslator with isSame","shortMessageHtmlLink":"Clean up ExprDefnOptTranslator with isSame"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQwNjozODozNy4wMDAwMDBazwAAAAS7oKX4","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQwNjozODozNy4wMDAwMDBazwAAAAS7oKX4","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yOVQyMDoxMzo0OS4wMDAwMDBazwAAAASoBIko"}},"title":"Activity · WatForm/org.alloytools.alloy"}