GitLab der Philipps-Universität Marburg

Tags

Tags give the ability to mark specific points in history as being important

2.9.0

4b0aacf4 · Merge branch 'cleanup' into 'main' · Aug 04, 2025
2.8.0

23ed006f · Merge branch 'cleanup' into 'main' · Jul 30, 2025
2.7.0

16fd0c0e · missing dependency · Jul 21, 2025
2.6.0

66924187 · escape string values for XML · Jun 03, 2025
2.5.0

94809418 · make registry update static to guarantee it's done and to avoid race conditions · May 21, 2025
2.4.0

ac6df384 · fix model load (actually necessary after all) · May 20, 2025
2.3.0

a1e91464 · fix model export · May 16, 2025
2.2.0

9df9bf04 · always generate stack frames · May 16, 2025
2.1.0

6534eb89 · move find file functionality into a shared library · Mar 27, 2025
2.0.0

02939d0e · cleanup · Mar 26, 2025

2024-11-25

e434d2b6 · fix typo, cleanup · Nov 25, 2024

Last state that corresponds to the design in the Models '24 paper before I started improving the build and overall model.

Impressum - Nutzungsbedingungen und Datenschutzerklärung - Barriere melden - Informationen zum GitLab-Dienst - Erklärung zur Barrierefreiheit