- Mar 04, 2024
-
-
Vincent Lafeychine authored
-
- Feb 17, 2024
-
-
Vincent Lafeychine authored
-
- Feb 16, 2024
-
-
Vincent Lafeychine authored
-
Vincent Lafeychine authored
-
Vincent Lafeychine authored
-
Lennard Gäher authored
Add nix support See merge request !15
-
-
- Feb 15, 2024
-
-
Lennard Gäher authored
Add rustfmt config and format frontend code See merge request !18
-
- Feb 14, 2024
-
-
Lennard Gäher authored
-
-
Lennard Gäher authored
Generate crate interfaces and enable to import them See merge request !17
-
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
-
