Skip to content

21st Git Release
Compare
Choose a tag to compare
@Jazzpirate Jazzpirate released this 22 Dec 10:44
· 872 commits to release since this release
21.0.0
211a223
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
  • Scala version increased to 2.13.4
  • Syntax Presenter: component in MMT reconstructing MMT surface syntax from in-memory content of MMT knowledge items
    • various fixes to now output well-indented and parsable MMT syntax
    • added SytaxPresenterServer (see the :syntax server extension for screenshots and usage)
  • Diagram Operators: operators acting on diagrams of MMT theories and views, and outputting new diagrams
    • based on accepted paper Structure-Preserving Diagram Operators by Navid Roux and Florian Rabe
    • implemented general framework
    • implemented operators:
      • universal algebra: Hom, Sub, and Cong from universal algebra, which take diagrams of SFOL-theories as input (e.g. the algebraic hierarchy consisting of Magma, Monoid, Group, ...) and output the diagram enriched with theories for homomorphisms, substructures, and congruences, respectively, for all input theories, respectively (see output diagram here)
      • an operator to perform theory intersections along (partial) views for refactoring purposes: see here.
  • FrameIT Project
    • big performance improvements of the FrameIT MMT Server
    • several minor bug fixeserf improvements
Assets 3
Loading