issues
search
johnyob
/
grace
A fancy diagnostics library that allows your compilers to exit with grace
MIT License
71
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Grace dependencies
#39
francoisthire
opened
5 months ago
1
Try to fix EOF handling
#38
francoisthire
opened
5 months ago
0
Assertion failure in `snippet.ml`
#37
francoisthire
opened
5 months ago
2
Supporting notes wil labels
#36
francoisthire
opened
5 months ago
1
Detecting if the output is a tty.
#35
francoisthire
opened
5 months ago
0
Detecting whether `stdout` supports colors automatically
#34
francoisthire
closed
5 months ago
1
Design for handling error codes
#33
francoisthire
opened
5 months ago
3
ci: only run CI on pushes to `main`
#32
johnyob
closed
5 months ago
0
fix(renderer): remove unnecessary underlines when printing a unique 'multi-line `Top` marker
#31
johnyob
closed
5 months ago
0
feat(renderer): add support for error codes
#30
johnyob
closed
5 months ago
0
refactor(renderer)!: move `grace.rendering` library to `grace.ansi_renderer`
#29
johnyob
closed
5 months ago
0
feat(renderer): re-introduce support for compact diagnostic rendering
#28
johnyob
closed
5 months ago
0
fix(renderer): replace unicode chars with ascii in `Config.ascii`
#27
johnyob
closed
5 months ago
0
chore: move `Source_reader` into separate library
#26
johnyob
closed
5 months ago
0
feat(renderer): add support for UTF8 encoding
#25
johnyob
closed
5 months ago
0
chore(deps/actions): bump wagoid/commitlint-github-action from 5 to 6
#24
dependabot[bot]
opened
7 months ago
0
chore(deps/npm): bump @commitlint/cli from 18.4.3 to 19.2.1
#23
dependabot[bot]
opened
7 months ago
0
chore(deps/npm): bump @commitlint/cli from 18.4.3 to 19.2.0
#22
dependabot[bot]
closed
7 months ago
1
chore(deps/npm): bump @commitlint/config-conventional from 18.4.3 to 19.1.0
#21
dependabot[bot]
opened
8 months ago
0
chore(deps/npm): bump @commitlint/cli from 18.4.3 to 19.0.3
#20
dependabot[bot]
closed
8 months ago
1
chore(deps/npm): bump @commitlint/config-conventional from 18.4.3 to 19.0.3
#19
dependabot[bot]
closed
8 months ago
1
chore(deps/npm): bump @commitlint/cli from 18.4.3 to 18.6.1
#18
dependabot[bot]
closed
8 months ago
1
chore(deps/npm): bump @commitlint/config-conventional from 18.4.3 to 18.6.2
#17
dependabot[bot]
closed
8 months ago
1
chore(deps/npm): bump @commitlint/cli from 18.4.3 to 18.6.0
#16
dependabot[bot]
closed
8 months ago
1
chore(deps/npm): bump @commitlint/config-conventional from 18.4.3 to 18.6.0
#15
dependabot[bot]
closed
8 months ago
1
chore(deps/npm): bump @commitlint/cli from 18.4.3 to 18.5.0
#14
dependabot[bot]
closed
9 months ago
1
chore(deps/npm): bump @commitlint/config-conventional from 18.4.3 to 18.5.0
#13
dependabot[bot]
closed
9 months ago
1
🚀 Feature: Windows support for `Grace_rendering`
#12
johnyob
opened
10 months ago
1
chore(deps/npm): bump @commitlint/cli from 18.4.3 to 18.4.4
#11
dependabot[bot]
closed
9 months ago
1
chore(deps/npm): bump @commitlint/config-conventional from 18.4.3 to 18.4.4
#10
dependabot[bot]
closed
9 months ago
1
refactor(renderer): add `locus` to snippet IR
#9
johnyob
closed
10 months ago
0
feat(renderer): add `NO_COLOR` and `TERM` support to `Config`
#8
johnyob
closed
10 months ago
0
🚀 Feature: Support UTF-8 sources in `Grace_rendering`
#7
johnyob
closed
5 months ago
0
🔮 Refactor: Add locus support in `Snippet`
#6
johnyob
closed
10 months ago
0
🔮 Refactor: Compute line margin in `Snippet`
#5
johnyob
closed
5 months ago
0
🚀 Feature: `Grace_rendering.Ansi` compact render
#4
johnyob
closed
5 months ago
0
🚀 Feature: `NO_COLOR` support
#3
johnyob
closed
10 months ago
1
🐛 Bug: Inline multi-line `Top` marker contains underlines
#2
johnyob
closed
5 months ago
0
🐛 Bug: Empty ranges
#1
johnyob
opened
10 months ago
0