-
Notifications
You must be signed in to change notification settings - Fork 54
Insights: anoma/juvix
Overview
-
- 7 Merged pull requests
- 0 Open pull requests
- 6 Closed issues
- 6 New issues
Could not load contribution data
Please try again later
7 Pull requests merged by 2 people
-
Fix named application bug
#3075 merged
Oct 3, 2024 -
Merge typechecker negative tests
#3076 merged
Oct 3, 2024 -
Fix termination crash due to empty permutation
#3081 merged
Oct 2, 2024 -
Reimplement positivity checker
#3057 merged
Oct 1, 2024 -
Remove unused field from
ScoperState
#3073 merged
Sep 30, 2024 -
Ignore files that start with a
.
#3072 merged
Sep 30, 2024 -
Include the juvix version in the build directory path
#3069 merged
Sep 30, 2024
6 Issues closed by 3 people
-
Crash related to missing name in name signature
#3074 closed
Oct 3, 2024 -
Juvix compiler crash: permutation should have at least one element
#3064 closed
Oct 2, 2024 -
Positivity checker false positive
#3058 closed
Oct 1, 2024 -
Typechecker gets stuck in infinite loop on recursive type definition using `Set`
#3048 closed
Oct 1, 2024 -
Juvix should ignore files that start with `.`
#3068 closed
Sep 30, 2024 -
Version the internal build directory (.juvix-build) using the Juvix compiler version
#3019 closed
Sep 30, 2024
6 Issues opened by 2 people
-
Nockma backend: Adjust closure implementation to match the Nock calling convention
#3083 opened
Oct 4, 2024 -
Write an Anoma App Juvix tutorial
#3080 opened
Oct 1, 2024 -
Unify the Juvix coding style in the standard library and anoma apps
#3079 opened
Oct 1, 2024 -
Update documentation
#3078 opened
Oct 1, 2024 -
Make WASM support optional
#3077 opened
Oct 1, 2024
9 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Add coding style guidelines
#3059 commented on
Oct 1, 2024 • 1 new comment -
Formatter removes `judoc` comment for `alias`es
#3063 commented on
Sep 30, 2024 • 0 new comments -
Juvix typecheck runs into an infinite loop
#2866 commented on
Sep 30, 2024 • 0 new comments -
Allow Judoc comments for function arguments and the return value
#2964 commented on
Sep 30, 2024 • 0 new comments -
Mutually recursive blocks are sometimes wrong
#3071 commented on
Oct 1, 2024 • 0 new comments -
Nockma compilation: arguments to some operations still get duplicated
#3013 commented on
Oct 4, 2024 • 0 new comments -
Nockma backend: translate `trace` to `%puts` hints
#3053 commented on
Sep 30, 2024 • 0 new comments -
Serialize Nockma output using nock jam
#3066 commented on
Oct 4, 2024 • 0 new comments -
Avoid duplication in Nockma code generation
#3070 commented on
Oct 4, 2024 • 0 new comments