Skip to content

Issues: UniFormal/MMT

Document notations more thoroughly
#516 opened Feb 7, 2020 by ComFreek
Open 3
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

154 Open 315 Closed
154 Open 315 Closed
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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Sanity Check has high performance impact.
#587 opened Jan 19, 2024 by MaZiFAU
Rest-API Performance Features enhancement FrameIT Evereything with the FrameIT project
#586 opened Jan 17, 2024 by MaZiFAU
Push-out facts are not simplified bug devel Pertains to issues on the devel branch help wanted
#585 opened Jan 17, 2024 by MaZiFAU
1
sTeX-MMT-Discrepancies
#577 opened Nov 29, 2022 by Jazzpirate
Migrate to Scala 3
#571 opened Aug 22, 2022 by tkw1536
Persist results of diagram operators to OMDoc build system needs-design systems-meeting To be discussed in the KWARC system meeting soon.
#566 opened Oct 27, 2021 by ComFreek
@florian-rabe
frameit-mmt: Verbalization of scroll-description has problems with recursion bug
#564 opened Jul 8, 2021 by SESch93
@ComFreek @SESch93
MMT scala shell broken
#560 opened Jan 30, 2021 by makarius
View missing assignment in combination with structures causes type checker crash, throws exception. bug
#559 opened Jan 14, 2021 by rappatoni
1
Modularity features for structures necessary for nice diagrams & diagram operators needs-design
#556 opened Dec 11, 2020 by ComFreek
2 tasks
@florian-rabe
Typechecking errors in view when assigning to a constant with "role Simplify" annotation bug type checker Bugs related to the typechecker (incl. false positives and false negatives)
#554 opened Nov 29, 2020 by ComFreek
@florian-rabe
2
"Known subclasses" doesn't list any in API documentation documentation
#552 opened Oct 21, 2020 by ComFreek
7
eventually deprecate sms generation and dependencies build system
#551 opened Oct 20, 2020 by kohlhase
@lambdaTotoro
Make use of the MATHHUB Variable to find archives to load enhancement needs-design
#550 opened Oct 19, 2020 by tkw1536
1
Relative URIs sometimes not relative enough documentation enhancement parser-lexer Parser, lexer or notation related issues
#545 opened Oct 14, 2020 by ComFreek
@florian-rabe @Jazzpirate
3
Flat sequences in LFS broken bug LFS type checker Bugs related to the typechecker (incl. false positives and false negatives)
#544 opened Oct 12, 2020 by rappatoni
@florian-rabe
Name clashes between bound variables and symbols: prefer resolving to bound variables bug needs-design parser-lexer Parser, lexer or notation related issues
#543 opened Oct 7, 2020 by ComFreek
@florian-rabe @Jazzpirate
Judgment Role Notation Generator Breaks Original Syntax needs-design
#538 opened Oct 2, 2020 by rappatoni
@florian-rabe @Jazzpirate
8
Comment scope inconsistent in the presence of subtheories needs-design question
#537 opened Sep 24, 2020 by rappatoni
18
Pushout operator does not elaborate constants into generated named theory's body bug devel Pertains to issues on the devel branch
#533 opened Sep 7, 2020 by rappatoni
@florian-rabe
1
Document main classes in nice table for {parsing, checking, simplifying, presenting} documentation
#531 opened Aug 2, 2020 by ComFreek
Typechecker confuses constants included from parametric theory and fails bug help wanted type checker Bugs related to the typechecker (incl. false positives and false negatives)
#530 opened Aug 1, 2020 by ComFreek
@florian-rabe
1
Deployed scaladoc doesn't show subclasses any more (not even for Term) build system documentation
#527 opened Jul 24, 2020 by ComFreek
2
Allow ticks in bound variable names bug parser-lexer Parser, lexer or notation related issues
#526 opened Jul 22, 2020 by ComFreek
Document how to visualize theory graphs documentation
#525 opened Jul 21, 2020 by ComFreek
ProTip! Adding no:label will show everything without a label.