Commits · 2b277b70574cc4e0d63c7d5ab1d38031ad509a35 · Lennard Gäher / Refinedrust Dev · GitLab

Snippets Groups Projects

May 28, 2024
- fix(shim): Remove deprecated syntax crate · 2b277b70
  Vincent Lafeychine authored 10 months ago
  
  Verified
  
  2b277b70
May 27, 2024
- clippy: Fix useless_format · 04af8f2a
  Vincent Lafeychine authored 10 months ago
  
  Verified
  
  04af8f2a
- clippy: Fix let_underscore_untyped · 04525fd6
  Vincent Lafeychine authored 10 months ago
  
  Verified
  
  04525fd6
- clippy: Fix absolute_paths · 61c1a8c5
  Vincent Lafeychine authored 10 months ago
  
  Verified
  
  61c1a8c5
- clippy: Fix str_to_string · e35b2349
  Vincent Lafeychine authored 10 months ago
  
  Verified
  
  e35b2349
May 10, 2024
- chore(radium::Coq): Use &str instead of String for Path + Module · d3b06f9e
  Vincent Lafeychine authored 10 months ago
  
  Verified
  
  d3b06f9e
May 09, 2024
- chore(radium::coq): Split Import into Module + Import/Export wrapper · d4e91b0c
  Vincent Lafeychine authored 10 months ago
  
  Verified
  
  d4e91b0c
May 08, 2024
- chore(radium::coq): Change Path to Import + add constructors · c230d1cb
  Vincent Lafeychine authored 10 months ago
  
  Verified
  
  c230d1cb
- chore(radium): Use coq prefix module instead of global use · da114686
  Vincent Lafeychine authored 10 months ago
  
  Verified
  
  da114686
Apr 29, 2024
- clippy: Fix inefficient_to_string · 2d4cac2f
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  2d4cac2f
- clippy: Fix doc_markdown · f0507cd8
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  f0507cd8
Apr 26, 2024
- clippy: Fix needless_late_init · e1a2e572
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  e1a2e572
Apr 25, 2024
- clippy: Fix explicit_iter_loop · 2567afa0
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  2567afa0
- clippy: Fix explicit_into_iter_loop · 932ca838
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  932ca838
Apr 17, 2024
- chore: Follow Rust API guidelines (C-COMMON-TRAITS) · 607cf6b2
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  607cf6b2
Apr 14, 2024
- clippy: Fix extra_unused_lifetimes · 1c340e52
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  1c340e52
Apr 12, 2024
- better support for trait export · 8d76ecaa
  Lennard Gäher authored 11 months ago
  
  Unverified
  
  8d76ecaa
Mar 22, 2024
- frontend additions · 3f3bf3a0
  Lennard Gäher authored 1 year ago
  
  Unverified
  
  3f3bf3a0
Feb 14, 2024
- format with rustfmt · fd2c2565
  Lennard Gäher authored 1 year ago
  
  fd2c2565
- Generate crate interfaces and enable to import them · 61d13a09
  Lennard Gäher authored 1 year ago
  
  61d13a09
Nov 24, 2023
- refactor some frontend components into crates · 6de011b3
  Lennard Gäher authored 1 year ago
  
  Unverified
  
  6de011b3
Jun 12, 2023
- initial public version · 6f2ae82b
  Lennard Gäher authored 1 year ago
  
  6f2ae82b