Skip to content

Pull requests: tlaplus/tlapm

New pull request New
8 Open 60 Closed
8 Open 60 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
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

Expose tlapm_lib for other projects.
#154 opened Sep 15, 2024 by kape1395 • Draft
@kape1395
Merge updated_enabled_cdot.
#148 opened Aug 31, 2024 by kape1395 Loading…
@kape1395
2
ENH: parse and expand bound tuples
#140 opened Jun 26, 2024 by johnyf Loading…
6
Make SimpleEventually proof a bit less simple. documentation Adding or editing any form of documentation (documentation files, code comments, website pages, etc) enhancement A new feature, an improvement, or other addition.
#135 opened Jun 6, 2024 by lemmy Loading…
11
BUG: quoting of environment variables for CI, and automatically run release.yml
#68 opened Jun 20, 2022 by johnyf Loading…
6
fixes related to bounding of declarees in quantification and function definitions
#60 opened Jan 10, 2022 by johnyf Loading…
API: represent tuply declarations in the syntax tree
#59 opened Jan 10, 2022 by johnyf Loading…
1
ENH: convert syntax tree to JSON
#49 opened Sep 28, 2021 by johnyf • Draft
ProTip! Exclude everything labeled bug with -label:bug.