- Feb 14, 2024
-
-
Lennard Gäher authored
-
Lennard Gäher authored
Resolve duplicate dependencies Closes #11 See merge request !16
-
-
- Jan 30, 2024
-
-
Lennard Gäher authored
improve error messages, rollback ADT registry when encountering a translation error See merge request !11
-
Lennard Gäher authored
-
Lennard Gäher authored
Add missing rules for nested shared references See merge request !13
-
- Jan 29, 2024
-
-
Lennard Gäher authored
-
Lennard Gäher authored
Add shortcut for observations See merge request !12
-
- Jan 26, 2024
-
-
Lennard Gäher authored
-
- Jan 11, 2024
-
-
Lennard Gäher authored
Various bug fixes See merge request !10
-
Lennard Gäher authored
-
- Jan 09, 2024
-
-
Lennard Gäher authored
-
Lennard Gäher authored
-
Lennard Gäher authored
-
Lennard Gäher authored
-
Lennard Gäher authored
-
Lennard Gäher authored
-
Lennard Gäher authored
More tactics for manual proofs See merge request !9
-
Lennard Gäher authored
-
- Jan 05, 2024
-
-
Lennard Gäher authored
Restructure generated files See merge request !8
-
Lennard Gäher authored
-
Lennard Gäher authored
-
Lennard Gäher authored
-
Lennard Gäher authored
-
- Jan 04, 2024
-
-
Lennard Gäher authored
-
Lennard Gäher authored
-
Lennard Gäher authored
-
Lennard Gäher authored
-
- Dec 22, 2023
-
-
Lennard Gäher authored
-
- Dec 21, 2023
-
-
-
Lennard Gäher authored
-
Lennard Gäher authored
-
Lennard Gäher authored
-
Lennard Gäher authored
-
- Dec 20, 2023
-
-
Lennard Gäher authored
-
Lennard Gäher authored
-
Lennard Gäher authored
-
Lennard Gäher authored
-
Lennard Gäher authored
-
- Dec 19, 2023
-
-
Lennard Gäher authored
-
