Commits · bf9fdac58d577038d1a5e142a9566aa83ccf67af · Lennard Gäher / Refinedrust Dev

Apr 15, 2024
- feat(coq): Add flambda support · bf9fdac5
  Vincent Lafeychine authored 11 months ago
  
  bf9fdac5
- chore(nix): Add missing CLI dependencies · 7eeee10d
  Vincent Lafeychine authored 11 months ago
  
  7eeee10d
- chore(nix): Use crane instead of naersk · 32cf02ae
  Vincent Lafeychine authored 11 months ago
  
  32cf02ae
- fix(nix): Remove unused dependency · 918eb9c0
  Vincent Lafeychine authored 11 months ago
  
  918eb9c0
- fix(ci): Remove cache for artifact store · 3b9aba52
  Vincent Lafeychine authored 11 months ago
  
  3b9aba52
- chore(ci): Bump nix image to 2.21.2 · 04aa8e8a
  Vincent Lafeychine authored 11 months ago
  
  04aa8e8a
- remove coqproject by default · 09826842
  Lennard Gäher authored 11 months ago
  
  09826842
Apr 14, 2024
- clippy: Fix useless_conversion · 3d1474c8
  Vincent Lafeychine authored 11 months ago
  
  3d1474c8
- clippy: Fix unnecessary_unwrap · 12758a5f
  Vincent Lafeychine authored 11 months ago
  
  12758a5f
- clippy!: Fix only_used_in_recursion · 6f684890
  Vincent Lafeychine authored 11 months ago
  
  6f684890
- clippy: Fix redundant_locals · 68ad99cd
  Vincent Lafeychine authored 11 months ago
  
  68ad99cd
- clippy: Fix option_env_unwrap · 189a45ae
  Vincent Lafeychine authored 11 months ago
  
  189a45ae
- clippy: Fix never_loop · bc76e59c
  Vincent Lafeychine authored 11 months ago
  
  bc76e59c
- clippy: Fix needless_lifetimes · 8f2430a3
  Vincent Lafeychine authored 11 months ago
  
  8f2430a3
- clippy: Fix needless_borrowed_reference · f56a7cb7
  Vincent Lafeychine authored 11 months ago
  
  f56a7cb7
- clippy: Fix match_single_binding · 51b1529a
  Vincent Lafeychine authored 11 months ago
  
  51b1529a
- clippy: Fix manual_flatten · 3dbd870f
  Vincent Lafeychine authored 11 months ago
  
  3dbd870f
- clippy: Fix manual_find · 00efcff2
  Vincent Lafeychine authored 11 months ago
  
  00efcff2
- clippy: Fix extra_unused_lifetimes · 1c340e52
  Vincent Lafeychine authored 11 months ago
  
  1c340e52
- clippy: Fix explicit_auto_deref · 3f5aaf25
  Vincent Lafeychine authored 11 months ago
  
  3f5aaf25
- clippy: Fix clone_on_copy · d670ef1b
  Vincent Lafeychine authored 11 months ago
  
  d670ef1b
- clippy: Fix borrow_deref_ref · 1d067b88
  Vincent Lafeychine authored 11 months ago
  
  1d067b88
- clippy: Fix bind_instead_of_map · b32bf428
  Vincent Lafeychine authored 11 months ago
  
  b32bf428
Apr 12, 2024
- fix some warnings · 778373c7
  Lennard Gäher authored 11 months ago
  
  778373c7
- silence warnings in tests · 33a6d71c
  Lennard Gäher authored 11 months ago
  
  33a6d71c
- fix enum registration · 704fb4f3
  Lennard Gäher authored 11 months ago
  
  704fb4f3
- better support for trait export · 8d76ecaa
  Lennard Gäher authored 11 months ago
  
  8d76ecaa
- refactor type translator and properly normalize · eb76e5d5
  Lennard Gäher authored 11 months ago
  
  eb76e5d5
- hack around &str · 0cbcfcbf
  Lennard Gäher authored 11 months ago
  
  0cbcfcbf
- add support for #linktime specifier · 59953b32
  Lennard Gäher authored 11 months ago
  
  59953b32
- more tests · f4988d7d
  Lennard Gäher authored 11 months ago
  
  f4988d7d
- more lifetime refactoring · daed9e66
  Lennard Gäher authored 11 months ago
  
  daed9e66
- refactor lifetime annotation generation a bit · 4fdb3bce
  Lennard Gäher authored 11 months ago
  
  4fdb3bce
Apr 11, 2024
- fix(clippy): Add 2 blocking lints · 9e920504
  Vincent Lafeychine authored 11 months ago
  
  9e920504
- Merge branch 'lafeychine/clippy' into 'main' · e49cb857
  Lennard Gäher authored 11 months ago
  
  Add clippy analysis See merge request !29
  e49cb857
- feat(ci): Clippy is now required to succeed · de6f777c
  Vincent Lafeychine authored 11 months ago
  
  de6f777c
- feat(clippy): Add lints · 7fcfa7a8
  Vincent Lafeychine authored 11 months ago
  
  7fcfa7a8
Apr 05, 2024
- Merge branch 'lennard/fix-context-items' into 'main' · d691dae7
  Lennard Gäher authored 11 months ago
  
  fix handling of context items; work on stdlib See merge request !30
  d691dae7
Apr 04, 2024
- fix handling of context items; work on stdlib · 95b2dd8d
  Lennard Gäher authored 11 months ago
  
  95b2dd8d
Apr 01, 2024
- chore(clippy): Discard clippy analysis on non-contributing crates · 4d583b48
  Vincent Lafeychine authored 11 months ago
  
  4d583b48