Skip to content

Pull requests: rzk-lang/rzk

New pull request New
Clear current search query, filters, and sorts
5 Open 100 Closed
5 Open 100 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix LEM instances and eta for product cubes
#88 by fizruk was merged Sep 21, 2023 Loading…
2 tasks done
1
update action source
#74 by deemp was merged Jul 18, 2023 Loading…
Try decomposing applications first when unifying
#76 by fizruk was merged Aug 18, 2023 Loading…
Release v0.5.4
#77 by fizruk was merged Aug 18, 2023 Loading…
Basic LSP implementation
#78 by aabounegm was closed Sep 22, 2023 • Draft
1
Configure mkdocs-plugin-rzk
#79 by fizruk was merged Sep 7, 2023 Loading…
Build tools alex happy
#80 by fizruk was merged Sep 7, 2023 Loading…
1
Install and use the "with-utf8" package
#82 by aabounegm was merged Sep 18, 2023 Loading…
4
Install and use the glob package
#83 by aabounegm was merged Sep 19, 2023 Loading…
5
Update flake and playground
#84 by deemp was merged Oct 1, 2023 Loading…
1
3
Fix subshape definitions
#85 by fizruk was merged Sep 19, 2023 Loading…
Release v0.5.5
#86 by fizruk was merged Sep 19, 2023 Loading…
Fix rzk typecheck (CLI version)
#106 by fizruk was merged Sep 27, 2023 Loading…
Change AST representation to use "free scoped monads" and generalised de Bruijn indices
#2 by fizruk was merged Feb 26, 2021 Loading…
1
Release v0.5.7
#89 by fizruk was merged Sep 21, 2023 Loading…
Better section parsing
#91 by fizruk was merged Sep 22, 2023 Loading…
1
LSP integration
#95 by aabounegm was merged Sep 23, 2023 Loading…
4
Release v0.6.0
#98 by fizruk was merged Sep 23, 2023 Loading…
Catch exceptions in the parser
#99 by fizruk was merged Sep 23, 2023 Loading…
Release v0.6.1
#100 by fizruk was merged Sep 23, 2023 Loading…
Improve tope solver (less eager LEM usage for directed interval)
#102 by fizruk was merged Sep 25, 2023 Loading…
1
Text completions
#103 by aabounegm was merged Sep 26, 2023 Loading…
1
Improve order of information in error messages for LSP
#104 by fizruk was merged Sep 26, 2023 Loading…
Experiments with AST representations
#1 by fizruk was closed Feb 26, 2021 Loading…
Release v0.5.6
#87 by fizruk was merged Sep 19, 2023 Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.