Data

Tools

Indexes

Applications

Experiments

Issues

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

GitHub / redprl/asai issues and pull requests

#197 - build(deps): bump actions/checkout from 4 to 5

Pull Request - State: open - Opened by dependabot[bot] 22 days ago
Labels: dependencies, github_actions

#196 - Configurable unicode

Issue - State: open - Opened by mikeshulman 27 days ago

#195 - Allow extra_remarks that are colored by severity

Issue - State: open - Opened by mikeshulman 3 months ago

#194 - docs(quickstart): add a tip about sedlex

Pull Request - State: closed - Opened by favonia 7 months ago - 1 comment

#193 - support `Sedlexing.lexbuf`

Issue - State: closed - Opened by dannypsnl 7 months ago - 3 comments
Labels: documentation

#192 - What would it take to support UTF16 encoding?

Issue - State: open - Opened by kentookura 8 months ago

#191 - docs(quickstart): fix links

Pull Request - State: closed - Opened by favonia 8 months ago

#189 - Changing the message of a structured diagnostic

Issue - State: open - Opened by mikeshulman 9 months ago

#188 - ❌ Explicator crashes when encountering a standalone backslash?

Issue - State: closed - Opened by kentookura 10 months ago - 9 comments

#187 - Naming in range.ml

Issue - State: open - Opened by mikeshulman 10 months ago

#185 - ⏳ Buffering handler for accumulating diagnostics

Issue - State: open - Opened by favonia 10 months ago

#184 - feat(Diagnostic): support generalize locations

Pull Request - State: open - Opened by favonia 10 months ago

#184 - feat(Diagnostic): support generalize locations

Pull Request - State: open - Opened by favonia 10 months ago

#183 - docs(Tty): improve documentation

Pull Request - State: closed - Opened by favonia 10 months ago

#182 - docs: create module aliases for backward compatibility

Pull Request - State: closed - Opened by favonia 10 months ago

#182 - docs: create module aliases for backward compatibility

Pull Request - State: closed - Opened by favonia 10 months ago

#181 - docs(Tty): update documentation on Unicode line breaking

Pull Request - State: closed - Opened by favonia 10 months ago

#181 - docs(Tty): update documentation on Unicode line breaking

Pull Request - State: closed - Opened by favonia 10 months ago

#180 - docs: fix various mistakes in documentation

Pull Request - State: closed - Opened by favonia 10 months ago

#180 - docs: fix various mistakes in documentation

Pull Request - State: closed - Opened by favonia 10 months ago

#179 - 🅱️ Fallback when file reading fails

Issue - State: open - Opened by favonia 10 months ago

#178 - refactor!: use Camal_snake

Pull Request - State: closed - Opened by favonia 10 months ago

#178 - refactor!: use Camal_snake

Pull Request - State: closed - Opened by favonia 10 months ago

#177 - Replace `CamelCase` with `Camel_snake_case`

Issue - State: closed - Opened by favonia 10 months ago - 3 comments

#176 - 📐 More comprehensive support for computing with ranges

Issue - State: closed - Opened by kentookura 10 months ago - 3 comments

#175 - feat(Tty): custom markers

Pull Request - State: closed - Opened by favonia 10 months ago - 13 comments

#175 - feat(Tty): custom markers

Pull Request - State: closed - Opened by favonia 10 months ago - 16 comments

#174 - refactor(Utils): clean up unused code

Pull Request - State: closed - Opened by favonia 10 months ago

#174 - refactor(Utils): clean up unused code

Pull Request - State: closed - Opened by favonia 10 months ago

#173 - refactor: re-organize code

Pull Request - State: closed - Opened by favonia 10 months ago

#173 - refactor: re-organize code

Pull Request - State: closed - Opened by favonia 10 months ago

#172 - docs: bump the next version to 0.4.0

Pull Request - State: closed - Opened by favonia 10 months ago

#172 - docs: bump the next version to 0.4.0

Pull Request - State: closed - Opened by favonia 10 months ago

#171 - feat(SourceMarker): display EOL and EOF points as "EOL" and "EOF"

Pull Request - State: closed - Opened by favonia 10 months ago

#170 - refactor: rename internal modules

Pull Request - State: closed - Opened by favonia 10 months ago

#170 - refactor: rename internal modules

Pull Request - State: closed - Opened by favonia 10 months ago

#169 - 🌎 Generalized "positions"?

Issue - State: open - Opened by mikeshulman 11 months ago - 10 comments

#168 - feat(Range): first stage of supporting single-position ranges

Pull Request - State: closed - Opened by favonia 11 months ago

#168 - feat(Range): first stage of supporting single-position ranges

Pull Request - State: closed - Opened by favonia 11 months ago

#167 - docs: really change the license

Pull Request - State: closed - Opened by favonia 11 months ago

#166 - fix(Tty): err when use_color=true but use_ansi=false

Pull Request - State: closed - Opened by favonia 11 months ago

#166 - fix(Tty): err when use_color=true but use_ansi=false

Pull Request - State: open - Opened by favonia 11 months ago

#165 - 🔡 Update links to Unicode standard

Issue - State: closed - Opened by favonia 11 months ago

#164 - refacotr(Explicator): remove unused code

Pull Request - State: closed - Opened by favonia 11 months ago

#164 - refacotr(Explicator): remove unused code

Pull Request - State: closed - Opened by favonia 11 months ago

#163 - 📄 Licensing of LSP server derived from Asai LSP

Issue - State: closed - Opened by kentookura 11 months ago - 2 comments

#162 - 🔍 Looking up ranges in structured data

Issue - State: open - Opened by kentookura 11 months ago

#161 - 📍 Generalize `Range.eof` to arbitrary positions

Issue - State: closed - Opened by favonia 11 months ago - 5 comments

#160 - Filtering/ordering the reported diagnostcs

Issue - State: open - Opened by kentookura 11 months ago

#158 - fix(Range): rename `locate` to `located`

Pull Request - State: closed - Opened by favonia 11 months ago - 4 comments

#158 - fix(Range): rename `locate` to `located`

Pull Request - State: open - Opened by favonia 11 months ago

#157 - fix(lsp): breaking changes from lsp 1.19.0

Pull Request - State: closed - Opened by favonia 11 months ago

#157 - fix(lsp): breaking changes from lsp 1.19.0

Pull Request - State: closed - Opened by favonia 11 months ago

#156 - docs: add the LLVM exceptions to our Apache 2.0 licensing

Pull Request - State: closed - Opened by favonia 11 months ago - 1 comment

#156 - docs: add the LLVM exceptions to our Apache 2.0 licensing

Pull Request - State: closed - Opened by favonia 11 months ago - 1 comment

#155 - 🖥️ Investigate and document DEC mode 2027

Issue - State: open - Opened by favonia 11 months ago

#154 - 🔤 Use OCaml 5.3 effect syntax

Issue - State: open - Opened by favonia 11 months ago

#153 - test(Diagnostic): add a test

Pull Request - State: closed - Opened by favonia 11 months ago

#153 - test(Diagnostic): add a test

Pull Request - State: closed - Opened by favonia 11 months ago

#152 - 🇱 Check the message tree to explore errors in Lean 4

Issue - State: open - Opened by favonia about 1 year ago

#150 - 🖨️ A more flexible API to specify output target

Issue - State: open - Opened by kentookura about 1 year ago - 7 comments

#149 - fix(Diagnostic): use Format.pp_infinity in string_of_text for OCaml 5.2

Pull Request - State: closed - Opened by kit-ty-kate over 1 year ago - 4 comments

#149 - fix(Diagnostic): use Format.pp_infinity in string_of_text for OCaml 5.2

Pull Request - State: closed - Opened by kit-ty-kate over 1 year ago - 4 comments

#148 - ✅ Add tests for the new functions in `String_utils`

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

#147 - feat: comprehensive checking for ranges

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

#145 - fix(Tty): dim the carets

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

#144 - 🧑‍‍⚕️ Comprehensive position/range checking

Issue - State: closed - Opened by favonia almost 2 years ago

#143 - ⛓️‍💥 Change the name of the argument `line_breaks`?

Issue - State: closed - Opened by favonia almost 2 years ago - 2 comments
Labels: help wanted, question, low priority, tty

#142 - fix: correct and enhance the debug mode

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

#141 - 🌘 Dim the carets...?

Issue - State: closed - Opened by favonia almost 2 years ago
Labels: good first issue, question, tty

#140 - 🔍 Find and fix all the bugs for forester

Issue - State: closed - Opened by favonia almost 2 years ago - 1 comment

#139 - feat(Explicator): introduce debug mode

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

#138 - feat(Debugger): debugging interface

Pull Request - State: open - Opened by favonia almost 2 years ago

#136 - 😵‍💫 Better messages for errors from explicator

Issue - State: closed - Opened by favonia almost 2 years ago - 1 comment

#135 - fix: drop notty and use the "faint" style

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

#134 - style: tweaks

Pull Request - State: closed - Opened by favonia almost 2 years ago - 1 comment

#132 - fix: use algaeff 2.0.0

Pull Request - State: closed - Opened by favonia almost 2 years ago - 3 comments

#131 - 🎨 Option to highligh text without ANSI control sequences

Issue - State: closed - Opened by favonia almost 2 years ago - 12 comments
Labels: good first issue

#130 - 🏃‍♂️ Faster implementation of `string_of_text`

Issue - State: closed - Opened by favonia almost 2 years ago - 1 comment

#129 - 🎨 Dropping `notty`

Issue - State: closed - Opened by favonia almost 2 years ago - 1 comment

#128 - fix: backtrace frames should not inherit locations

Pull Request - State: closed - Opened by favonia almost 2 years ago - 1 comment

#127 - 📝 Document the choice to retain location information

Issue - State: closed - Opened by favonia almost 2 years ago - 1 comment

#126 - feat(LibSigs): help library authors hide internal reporters

Pull Request - State: closed - Opened by favonia almost 2 years ago - 1 comment

#125 - feat: special EOF ranges

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

#124 - 🎨 Detect `NO_COLOR`

Issue - State: closed - Opened by favonia almost 2 years ago - 1 comment

#123 - 📝 Document fully structured v.s. free-form reporting in the design document

Issue - State: closed - Opened by favonia almost 2 years ago - 1 comment
Labels: documentation

#122 - docs: release 0.2.0

Pull Request - State: closed - Opened by favonia almost 2 years ago - 1 comment

#121 - feat(Range): add `to_lex_position` and `to_lex_range`

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

#120 - ↔️ Add `Range.to_lex_position`

Issue - State: closed - Opened by favonia almost 2 years ago

#119 - 🍱 Composable TTY components

Issue - State: closed - Opened by favonia almost 2 years ago - 2 comments
Labels: enhancement, tty

#118 - docs: lowercase almost everything

Pull Request - State: closed - Opened by favonia almost 2 years ago - 4 comments

#115 - 🔡 error message lettercase convention

Issue - State: closed - Opened by favonia almost 2 years ago

#114 - fix(Tty): concise and beautiful Tty output

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

#113 - style!: rename Span to Range

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

#112 - ↩️ Displaying newlines and EOFs?

Issue - State: closed - Opened by favonia almost 2 years ago - 6 comments
Labels: question, tty