Skip to content

Pull requests: ArthurSonzogni/Diagon

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

feat: Add Docker builder
#82 by praktiskt was merged Nov 22, 2024
fix build
#79 by mattn was merged Oct 16, 2024
Add Nix package run option
#73 by petertrotman was merged Mar 25, 2024 Loading…
Add dashed arrow.
#69 by ArthurSonzogni was merged Aug 27, 2023 Loading…
Math generator: add limit
#60 by ArthurSonzogni was merged Jan 24, 2023 Loading…
Download ANTLR4
#59 by ArthurSonzogni was merged Jan 22, 2023 Loading…
Add highlighter and improve style
#54 by ArthurSonzogni was merged Dec 19, 2022 Loading…
Flowchart improved
#53 by ArthurSonzogni was merged Dec 12, 2022 Loading…
Update CI
#50 by ArthurSonzogni was merged Nov 20, 2022 Loading…
Remove stdc++fs from CMakeLists.txt
#48 by celie56 was closed Nov 15, 2022 Loading…
Fix wrong math in README.md
#43 by PythonicNinja was merged Sep 16, 2022 Loading…
Build on MacOS
#42 by iwahbe was merged Aug 25, 2022 Loading…
Add support for new lines in Sequence
#40 by tg-m was merged Jun 7, 2022 Loading…
Catch parser errors.
#38 by ArthurSonzogni was merged May 8, 2022 Loading…
doc: fix instructions to install dependencies
#35 by asdf8601 was merged Mar 25, 2022 Loading…
Add mathbb
#34 by ArthurSonzogni was merged Mar 20, 2022 Loading…
refactor: human readable
#32 by wendajiang was merged Feb 15, 2022 Loading…
refactor: change sequence/graph vertex name to edge
#31 by wendajiang was merged Feb 13, 2022 Loading…
refactor(stylesheet): make everything more consistent
#23 by Gitleptune was merged Aug 13, 2021 Loading…
Fix typo in README.md
#22 by ojab was merged Jun 22, 2021 Loading…
Update kgt version.
#20 by ArthurSonzogni was merged Mar 26, 2021 Loading…
Fix github workflow
#18 by ArthurSonzogni was merged Mar 20, 2021 Loading…
Add emscripten build to the CI.
#17 by ArthurSonzogni was merged Mar 20, 2021 Loading…
Add continuous integration
#16 by ArthurSonzogni was merged Mar 19, 2021 Loading…
Improve the flowchart translator and add history API.
#15 by ArthurSonzogni was merged Mar 18, 2021 Loading…
ProTip! Updated in the last three days: updated:>2025-02-23.