- Mar 11, 2024
-
-
Lennard Gäher authored
-
- Mar 05, 2024
-
-
Lennard Gäher authored
Fix formatting on main See merge request !22
-
Lennard Gäher authored
-
Lennard Gäher authored
Use Nix for GitLab pipelines See merge request !19
-
Vincent Lafeychine authored
-
- Mar 04, 2024
-
-
Lennard Gäher authored
-
Lennard Gäher authored
-
Vincent Lafeychine authored
-
- Feb 19, 2024
-
-
Lennard Gäher authored
add support for rr::context assertions See merge request !20
-
Lennard Gäher authored
-
Lennard Gäher authored
Fix buildscripts See merge request !21
-
- Feb 18, 2024
-
-
Lennard Gäher 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
-
