Commits · 1e0e497f663a45ae191136a4b40c567d8e5b5e45 · Lennard Gäher / Refinedrust Dev · GitLab

Snippets Groups Projects

May 09, 2024
- feat(radium::coq): Add Display logic in radium instead of translation · 1e0e497f
  Vincent Lafeychine authored 10 months ago
  
  1e0e497f
- chore(radium::coq): Split Import into Module + Import/Export wrapper · d4e91b0c
  Vincent Lafeychine authored 10 months ago
  
  d4e91b0c
May 08, 2024
- chore(radium::coq): Change Path to Import + add constructors · c230d1cb
  Vincent Lafeychine authored 10 months ago
  
  c230d1cb
- chore(radium): Use coq prefix module instead of global use · da114686
  Vincent Lafeychine authored 10 months ago
  
  da114686
- chore(radium): Remove EnumStructRef allows to use OnceCell instead of RefCell + Option · 6327f0c3
  Vincent Lafeychine authored 10 months ago
  
  6327f0c3
May 06, 2024
- chore(radium): Merge CoqParam and (CoqName, CoqType) · dedae055
  Vincent Lafeychine authored 10 months ago
  
  dedae055
- chore(radium/coq): Use derive_more instead of manual impl Display · 99de87cb
  Vincent Lafeychine authored 10 months ago
  
  99de87cb
May 05, 2024
- chore(radium): Improve generation for FunctionCode · 4139ab0c
  Vincent Lafeychine authored 10 months ago
  
  4139ab0c
May 04, 2024
- chore(radium): Create Variable type for (String, SynType) · 23a32571
  Vincent Lafeychine authored 10 months ago
  
  23a32571
- chore(radium): Remove AbstractStructRef allows to use OnceCell instead of RefCell + Option · a231dfff
  Vincent Lafeychine authored 10 months ago
  
  a231dfff
- chore(radium): Remove dependency to rrconfig · d372d42f
  Vincent Lafeychine authored 10 months ago
  
  d372d42f
- feat(radium): Use derive_more instead of manual impl Display · 4780b10d
  Vincent Lafeychine authored 10 months ago
  
  4780b10d
May 02, 2024
- clippy: Fix unused_self · 9c5d2761
  Vincent Lafeychine authored 10 months ago
  
  9c5d2761
- clippy: Fix unnecessary_wraps · c3fb5bbc
  Vincent Lafeychine authored 10 months ago
  
  c3fb5bbc
- clippy: Fix redundant_closure_for_method_calls · 9039b1c6
  Vincent Lafeychine authored 10 months ago
  
  9039b1c6
- clippy: Fix semicolon_if_nothing_returned · e592263e
  Vincent Lafeychine authored 10 months ago
  
  e592263e
- clippy: Fix ref_binding_to_reference · d552b8b9
  Vincent Lafeychine authored 10 months ago
  
  d552b8b9
- clippy: Fix return-self-not-must-use · 40f93359
  Vincent Lafeychine authored 10 months ago
  
  40f93359
- clippy: Fix redundant_closure_for_method_calls · e7e43a90
  Vincent Lafeychine authored 10 months ago
  
  e7e43a90
- clippy: Fix needless_pass_by_value · 1b72c58e
  Vincent Lafeychine authored 10 months ago
  
  1b72c58e
- clippy: Fix needless_continue for free · ec0017d0
  Vincent Lafeychine authored 10 months ago
  
  ec0017d0
- clippy: Fix must_use_candidate · 64c12875
  Vincent Lafeychine authored 10 months ago
  
  64c12875
May 01, 2024
- clippy: Fix match_same_arms · 49a917ba
  Vincent Lafeychine authored 10 months ago
  
  49a917ba
Apr 30, 2024
- clippy: Fix map_unwrap_or · 1f78f4e3
  Vincent Lafeychine authored 10 months ago
  
  1f78f4e3
- clippy: Fix manual_string_new · 87b8e434
  Vincent Lafeychine authored 10 months ago
  
  87b8e434
- clippy: Fix manual_let_else · 09d02c93
  Vincent Lafeychine authored 10 months ago
  
  09d02c93
Apr 29, 2024
- clippy: Fix items_after_statements · df66db26
  Vincent Lafeychine authored 10 months ago
  
  df66db26
- clippy: Fix inefficient_to_string · 2d4cac2f
  Vincent Lafeychine authored 10 months ago
  
  2d4cac2f
- clippy: Fix if_not_else · 494ffd0a
  Vincent Lafeychine authored 10 months ago
  
  494ffd0a
- clippy: Fix from_iter_instead_of_collect for free · 3875b8d6
  Vincent Lafeychine authored 10 months ago
  
  3875b8d6
- clippy: Fix flat_map_option · 526afb98
  Vincent Lafeychine authored 10 months ago
  
  526afb98
- clippy: Fix expl-impl-clone-on-copy · c5ec8420
  Vincent Lafeychine authored 10 months ago
  
  c5ec8420
- clippy: Fix doc_markdown · f0507cd8
  Vincent Lafeychine authored 10 months ago
  
  f0507cd8
- clippy: Fix default_trait_access for free · 60179dbf
  Vincent Lafeychine authored 10 months ago
  
  60179dbf
- clippy: Fix cloned_instead_of_copied · 5105f9d7
  Vincent Lafeychine authored 10 months ago
  
  5105f9d7
- clippy: Fix cast_lossless · c13062ca
  Vincent Lafeychine authored 10 months ago
  
  c13062ca
- clippy: Fix bool_to_int_with_if · fd79e184
  Vincent Lafeychine authored 10 months ago
  
  fd79e184
Apr 27, 2024
- clippy: Fix unwrap_or_default · e9b840e4
  Vincent Lafeychine authored 10 months ago
  
  e9b840e4
- clippy: Fix unused_unit · 36646b4e
  Vincent Lafeychine authored 10 months ago
  
  36646b4e
- clippy: Fix toplevel_ref_arg · 112f22cc
  Vincent Lafeychine authored 10 months ago
  
  112f22cc