{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":147426970,"defaultBranch":"master","name":"cubix","ownerLogin":"cubix-framework","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-09-04T22:22:02.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/69230525?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1698994850.0","currentOid":""},"activityList":{"items":[{"before":"40a5312723c46062ba072fd3b9bcc88325052de3","after":"93e2b7e435e65d66b5675d98c8f4e5d0a70a51a5","ref":"refs/heads/master","pushedAt":"2024-02-01T06:59:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jkoppel","name":"Jimmy Koppel","path":"/jkoppel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1279592?s=80&v=4"},"commit":{"message":"Adding Hashable and FromJSON instances for SourcePos and SourceSpan","shortMessageHtmlLink":"Adding Hashable and FromJSON instances for SourcePos and SourceSpan"}},{"before":"075bcd68f9e0cb903f956bb0b3783b7e5e8558e2","after":"40a5312723c46062ba072fd3b9bcc88325052de3","ref":"refs/heads/master","pushedAt":"2024-01-26T07:18:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jkoppel","name":"Jimmy Koppel","path":"/jkoppel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1279592?s=80&v=4"},"commit":{"message":"Adding ToJSON instances for label, SourcePos, SourceSpan","shortMessageHtmlLink":"Adding ToJSON instances for label, SourcePos, SourceSpan"}},{"before":"21a30028b43319da5830eb8268d0ab631baf74fe","after":"075bcd68f9e0cb903f956bb0b3783b7e5e8558e2","ref":"refs/heads/master","pushedAt":"2024-01-26T07:07:15.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jkoppel","name":"Jimmy Koppel","path":"/jkoppel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1279592?s=80&v=4"},"commit":{"message":"Using the All typeclass to replace some of the inductive traversals over lists of sorts with new hasAnySort operator","shortMessageHtmlLink":"Using the All typeclass to replace some of the inductive traversals o…"}},{"before":"936384a920182ea2c66929c76de2d7c4a4496cda","after":"21a30028b43319da5830eb8268d0ab631baf74fe","ref":"refs/heads/master","pushedAt":"2024-01-26T06:59:35.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"jkoppel","name":"Jimmy Koppel","path":"/jkoppel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1279592?s=80&v=4"},"commit":{"message":"Merge pull request #25 from cubix-framework/jk-prelim-solidity-support\n\nPelim solidity support","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2101695208\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cubix-framework/cubix/issues/25\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/cubix-framework/cubix/pull/25/hovercard\" href=\"https://github.com/cubix-framework/cubix/pull/25\">#25</a> from cubix-framework/jk-prelim-solidity-support"}},{"before":"0a18a9b253654a2e0c7c046d7520b5b4930ba452","after":"d2ca73c73e1f6aae74ed7dfe4e02e9be0dd169b5","ref":"refs/heads/jk-prelim-solidity-support","pushedAt":"2023-11-14T07:45:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jkoppel","name":"Jimmy Koppel","path":"/jkoppel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1279592?s=80&v=4"},"commit":{"message":"Merge branch 'master' into jk-prelim-solidity-support","shortMessageHtmlLink":"Merge branch 'master' into jk-prelim-solidity-support"}},{"before":"b55746ee7e352a9005921ed4b49b1ebbd0ce3650","after":"936384a920182ea2c66929c76de2d7c4a4496cda","ref":"refs/heads/master","pushedAt":"2023-11-14T07:44:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jkoppel","name":"Jimmy Koppel","path":"/jkoppel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1279592?s=80&v=4"},"commit":{"message":"Forgot to actually export ParseFileTrackSources","shortMessageHtmlLink":"Forgot to actually export ParseFileTrackSources"}},{"before":"b2d8641237d6c15858b315a6c5a7d005d8f607a0","after":"0a18a9b253654a2e0c7c046d7520b5b4930ba452","ref":"refs/heads/jk-prelim-solidity-support","pushedAt":"2023-11-14T07:24:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jkoppel","name":"Jimmy Koppel","path":"/jkoppel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1279592?s=80&v=4"},"commit":{"message":"Making TextF work the new way","shortMessageHtmlLink":"Making TextF work the new way"}},{"before":"14d47578e885d8c7215096fdacadcb14d6f50304","after":"b2d8641237d6c15858b315a6c5a7d005d8f607a0","ref":"refs/heads/jk-prelim-solidity-support","pushedAt":"2023-11-14T07:20:07.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"jkoppel","name":"Jimmy Koppel","path":"/jkoppel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1279592?s=80&v=4"},"commit":{"message":"Merge branch 'master' into jk-prelim-solidity-support","shortMessageHtmlLink":"Merge branch 'master' into jk-prelim-solidity-support"}},{"before":"4393fefd1f9a493335ccf35a748b3ef73937c3c0","after":"b55746ee7e352a9005921ed4b49b1ebbd0ce3650","ref":"refs/heads/master","pushedAt":"2023-11-14T07:02:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jkoppel","name":"Jimmy Koppel","path":"/jkoppel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1279592?s=80&v=4"},"commit":{"message":"Actually exposing an API for parsing a Python file with source locations","shortMessageHtmlLink":"Actually exposing an API for parsing a Python file with source locations"}},{"before":"2ddf5ab0e0ec8eff38427cd09fc47690a04b3cf7","after":"4393fefd1f9a493335ccf35a748b3ef73937c3c0","ref":"refs/heads/master","pushedAt":"2023-11-14T06:53:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jkoppel","name":"Jimmy Koppel","path":"/jkoppel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1279592?s=80&v=4"},"commit":{"message":"GIANT COMMIT to get Python transformations to propagate source information\n\nIncludes:\n* Now have f :<: (Sum fs :&: a). The `inj` operator will fill in the default value for the annotation if it implements Default. This means that smart constructors (the kind that t use injF) will automatically A consequence of this: if have an annotated term, can either project to (Just (MyNode x)) or to (Just (MyNode x :&: a)). If the former, this means that project behaves like\n* Changed type signatures of the pattern synonyms for parametric syntax to take advantage of this. So, e.g.: ` x` can both pattern match annotated terms (dropping the annotation) and construct them (filling in the default value)\n* Fixed bug in smartConstructors derivation in cubix-compdata seemingly introduced upon upgrading to GHC 8.8. (Did this by copy+pasting from fixes already introduced for smartFConstructors. Did not work particularly hard to scrutinize these changes, but is producing typechecking code for all cases in Cubix)\n* Renamed the constructors created by smartConstructors to start with `j` instead of `i`. Now deriving these for everything in Cubix. Remember: iNode smart constructors will automatically add sort injections. jNode smart constructors can automatically add default annotations. (Future work: figure out a way to get both in one)\n* New pattern (::&::) for casing on annotated terms.)\n* Thanks to the use of the annotation-propagation machinery the dumb UnitF fields in the Python IPS have been eliminated.\n\nMisc cleanup opportunistically performed\n* Added some sub-file organization, e.g.: to Info\n* Moved some functions from Annotation to Info\n* Removed many unused imports\n\nThe removed redundant type annotations in the various cases for untransError is to avoid a compilation error, believed to be the same case as https://stackoverflow.com/questions/47171805/adding-an-unused-instance-fixes-a-type-error","shortMessageHtmlLink":"GIANT COMMIT to get Python transformations to propagate source inform…"}},{"before":"2ddf5ab0e0ec8eff38427cd09fc47690a04b3cf7","after":"14d47578e885d8c7215096fdacadcb14d6f50304","ref":"refs/heads/jk-prelim-solidity-support","pushedAt":"2023-11-03T07:02:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jkoppel","name":"Jimmy Koppel","path":"/jkoppel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1279592?s=80&v=4"},"commit":{"message":"Initial Solidity support. Added TextF. Aded some sub-file organization to ParsePretty.hs","shortMessageHtmlLink":"Initial Solidity support. Added TextF. Aded some sub-file organizatio…"}},{"before":null,"after":"2ddf5ab0e0ec8eff38427cd09fc47690a04b3cf7","ref":"refs/heads/jk-prelim-solidity-support","pushedAt":"2023-11-03T07:00:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jkoppel","name":"Jimmy Koppel","path":"/jkoppel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1279592?s=80&v=4"},"commit":{"message":"Added sub-file organization to several files in Cubix. (My god, there's a lot to do.) Also documented a few methods, and renamed a couple overly-broad function names","shortMessageHtmlLink":"Added sub-file organization to several files in Cubix. (My god, there…"}},{"before":"b4922870fae7bc6942cfba7feb54e069ec137a10","after":null,"ref":"refs/heads/jk-various-refactoring","pushedAt":"2023-11-02T19:13:43.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jkoppel","name":"Jimmy Koppel","path":"/jkoppel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1279592?s=80&v=4"}},{"before":"3369376c6b18e690f847a1558ab53e36daf003b8","after":"2ddf5ab0e0ec8eff38427cd09fc47690a04b3cf7","ref":"refs/heads/master","pushedAt":"2023-11-02T19:12:57.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"jkoppel","name":"Jimmy Koppel","path":"/jkoppel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1279592?s=80&v=4"},"commit":{"message":"Added sub-file organization to several files in Cubix. (My god, there's a lot to do.) Also documented a few methods, and renamed a couple overly-broad function names","shortMessageHtmlLink":"Added sub-file organization to several files in Cubix. (My god, there…"}},{"before":"80a668f3741aa6bbe767c6d030055a496e294ef1","after":"b4922870fae7bc6942cfba7feb54e069ec137a10","ref":"refs/heads/jk-various-refactoring","pushedAt":"2023-11-02T07:39:55.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jkoppel","name":"Jimmy Koppel","path":"/jkoppel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1279592?s=80&v=4"},"commit":{"message":"Added sub-file organization to several files in Cubix. (My god, there's a lot to do.) Also documented a few methods, and renamed a couple overly-broad function names","shortMessageHtmlLink":"Added sub-file organization to several files in Cubix. (My god, there…"}},{"before":null,"after":"80a668f3741aa6bbe767c6d030055a496e294ef1","ref":"refs/heads/jk-various-refactoring","pushedAt":"2023-10-31T06:54:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jkoppel","name":"Jimmy Koppel","path":"/jkoppel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1279592?s=80&v=4"},"commit":{"message":"Eliminating OverlappingInstances from compstrat and cubix. Resuscitating other example executables.","shortMessageHtmlLink":"Eliminating OverlappingInstances from compstrat and cubix. Resuscitat…"}},{"before":"53ba16d4ec72f05d10c1296040a7a5fd7f793edb","after":"3369376c6b18e690f847a1558ab53e36daf003b8","ref":"refs/heads/master","pushedAt":"2023-07-01T08:25:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jkoppel","name":"Jimmy Koppel","path":"/jkoppel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1279592?s=80&v=4"},"commit":{"message":"Bumping version number to 0.6","shortMessageHtmlLink":"Bumping version number to 0.6"}},{"before":"40163a92124374ba21d2ff98d8658d7a071db388","after":"53ba16d4ec72f05d10c1296040a7a5fd7f793edb","ref":"refs/heads/master","pushedAt":"2023-07-01T06:20:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jkoppel","name":"Jimmy Koppel","path":"/jkoppel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1279592?s=80&v=4"},"commit":{"message":"Upgrading to lts-resolver-21.0 (ghc-9.4.5). Primary changes required: Type variable binders in TH now have a Specificity parameter; since GHC 9.0, cannot use an instance declared after a TH block. Also adjusted paths to binaries in test scripts.","shortMessageHtmlLink":"Upgrading to lts-resolver-21.0 (ghc-9.4.5). Primary changes required:…"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD7tAGuAA","startCursor":null,"endCursor":null}},"title":"Activity · cubix-framework/cubix"}