-
Notifications
You must be signed in to change notification settings - Fork 8
Pull requests: rzk-lang/rzk
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Improve order of information in error messages for LSP
#104
by fizruk
was merged Sep 26, 2023
Loading…
updated Sep 26, 2023
Improve tope solver (less eager LEM usage for directed interval)
#102
by fizruk
was merged Sep 25, 2023
Loading…
updated Sep 25, 2023
Fix LEM instances and eta for product cubes
#88
by fizruk
was merged Sep 21, 2023
Loading…
updated Sep 21, 2023
2 tasks done
Build binaries for Ubuntu 20.04, add runner image name
#73
by fizruk
was closed Sep 21, 2023
Loading…
updated Sep 21, 2023
Install and use the glob package
#83
by aabounegm
was merged Sep 19, 2023
Loading…
updated Sep 19, 2023
Install and use the "with-utf8" package
#82
by aabounegm
was merged Sep 18, 2023
Loading…
updated Sep 19, 2023
Try decomposing applications first when unifying
#76
by fizruk
was merged Aug 18, 2023
Loading…
updated Aug 18, 2023
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.