Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / tlaplus-community/tlauc issues and pull requests

#15 - Fixed input file overwrite bug

Pull Request - State: closed - Opened by ahelwer 6 months ago

#14 - tlauc wipes the file if there is invalid syntax

Issue - State: closed - Opened by bugarela 6 months ago - 2 comments

#13 - Feature Request: Support for Unicode subscripts

Issue - State: closed - Opened by jonesmartins 7 months ago - 2 comments

#12 - Properly translate number sets

Pull Request - State: closed - Opened by ahelwer 7 months ago

#11 - Number set translation issues

Issue - State: closed - Opened by ahelwer 8 months ago - 1 comment

#10 - Made CLI more terse

Pull Request - State: closed - Opened by ahelwer 8 months ago - 1 comment

#9 - --output needed despite --overwrite

Issue - State: closed - Opened by lemmy 12 months ago - 3 comments

#8 - Output multiple errors & change diamond operator

Pull Request - State: closed - Opened by ahelwer about 1 year ago

#7 - Output probable line of first syntax error

Pull Request - State: closed - Opened by ahelwer about 1 year ago

#6 - Output location of parse error

Issue - State: closed - Opened by ahelwer about 1 year ago

#5 - Feature request: fmt

Issue - State: closed - Opened by gterzian about 1 year ago - 1 comment

#4 - Diamond operator tiny in VSCode on macOS

Issue - State: closed - Opened by lemmy over 1 year ago - 2 comments

#3 - Fixed edge case where a jlist is terminated by an infix op

Pull Request - State: closed - Opened by ahelwer almost 2 years ago

#2 - Handle block comments prefixing jlist items

Issue - State: open - Opened by ahelwer almost 2 years ago