Merge requests · Lennard Gäher / Refinedrust Dev

Specification attributes for traits

!59 · created Sep 24, 2024 by Lennard Gäher
frontend
- Merged
updated Sep 24, 2024
Refactor param handling

!58 · created Sep 13, 2024 by Lennard Gäher
frontend
- Merged
updated Sep 13, 2024
New trait encoding scheme and add support for more specific trait impls

!57 · created Sep 12, 2024 by Lennard Gäher
- Merged
updated Sep 12, 2024
Refactor type parameter handling

!56 · created Aug 21, 2024 by Lennard Gäher
- Merged
updated Sep 12, 2024
Refactor `coq` crate

!55 · created Aug 16, 2024 by Vincent Lafeychine
- 6
updated Nov 02, 2024
Initial support for traits

!54 · created Aug 08, 2024 by Lennard Gäher
frontend
- Merged
updated Aug 09, 2024
Fixes + frontend support for casts

!53 · created Jul 16, 2024 by Lennard Gäher
- Merged
updated Jul 16, 2024
Add support for calling const evaluation

!52 · created Jul 12, 2024 by Lennard Gäher
frontend
- Merged
updated Jul 12, 2024
Evenint case study

!51 · created Jun 13, 2024 by Lennard Gäher
- Merged
updated Jun 13, 2024
Fix regression with building dependencies

!50 · created Jun 13, 2024 by Lennard Gäher
bug frontend
- Merged
- 1
- Approved
updated Jun 14, 2024
Replace deprecated methods in config

!49 · created May 28, 2024 by Vincent Lafeychine
- Merged
- 1
- Approved
updated May 29, 2024
Improve libraries imports

!48 · created May 28, 2024 by Vincent Lafeychine
- Merged
- 1
updated May 28, 2024
Fix most of `clippy::restriction` and `clippy::pedantic`

!47 · created May 26, 2024 by Vincent Lafeychine
updated May 27, 2024
Some refactor in Radium crate

!46 · created May 06, 2024 by Vincent Lafeychine
- Merged
- 1
updated May 22, 2024
Fix remaining lints from `clippy::pedantic`

!45 · created May 03, 2024 by Vincent Lafeychine
- Merged
- 1
updated May 03, 2024
Fix most of `clippy::pedantic`

!44 · created May 01, 2024 by Vincent Lafeychine
- Merged
- 1
updated May 03, 2024
Fix remaining `clippy::style`

!43 · created Apr 29, 2024 by Vincent Lafeychine
- Merged
- 5
updated Apr 30, 2024
Fix most of clippy::style

!42 · created Apr 25, 2024 by Vincent Lafeychine
- Merged
- 4
- Approved
updated Apr 29, 2024
Fetch analysis crate directly from the upstream git

!41 · created Apr 24, 2024 by Vincent Lafeychine
- Merged
- 4
updated Apr 25, 2024
Fix dune-project

!40 · created Apr 18, 2024 by Lennard Gäher
- Merged
updated Apr 18, 2024