Commits · c715a36c49365676a6b0d11e1cb98feadd824fda · Lennard Gäher / Refinedrust Dev · GitLab

Snippets Groups Projects

Apr 25, 2024
- Fetch analysis crate directly from the upstream git · c715a36c
  Vincent Lafeychine authored 10 months ago and Lennard Gäher committed 10 months ago
  
  c715a36c
Apr 18, 2024
- move paper-examples folder · 3cec02c3
  Lennard Gäher authored 11 months ago
  
  Unverified
  
  3cec02c3
- fix dune-project generation · eb3e96de
  Lennard Gäher authored 11 months ago
  
  Unverified
  
  eb3e96de
Apr 17, 2024
- chore(analysis): Allow to use RUST_SRC_PATH for tests · be34e3ad
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  be34e3ad
- feat(ci): Add 'cargo test' job · 22a70bbf
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  22a70bbf
- fix(cargo): Add rustc_driver as extern for test compilation · a228af60
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  a228af60
- feat(cargo): Move analysis test binaries out of workspace · 437aa411
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  437aa411
- chore(analysis): Update test_cases from upstream · d2463086
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  d2463086
- chore(analysis): Get rid of derive_more · 75ba1933
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  75ba1933
- chore(cargo): Remove unused fs_extra dependency · 0af38f09
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  0af38f09
- chore(clippy): Transform clippy warnings into errors · 638e3315
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  638e3315
- clippy: Fix to_string_in_format_args · 47a1d3e1
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  47a1d3e1
- clippy: Fix single_char_pattern · 47c8d5f1
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  47c8d5f1
- clippy: Fix map_entry · dc0ac6d7
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  dc0ac6d7
- clippy: Fix manual_retain · ea7cfe20
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  ea7cfe20
- clippy: Fix useless_let_if_seq · d6da9ecb
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  d6da9ecb
- clippy: Fix use_self · a392493d
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  a392493d
- clippy: Fix type_repetition_in_bounds · 371c7ede
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  371c7ede
- clippy: Fix redundant_pub_crate · 8ba46bc9
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  8ba46bc9
- clippy: Fix redundant_clone · f8bd5b1d
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  f8bd5b1d
- clippy: Fix or_fun_call · 430c42d9
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  430c42d9
- clippy: Fix needless_pass_by_ref_mut · 373ccc7f
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  373ccc7f
- clippy: Fix needless_collect · 376a2625
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  376a2625
- clippy: Fix missing_const_for_fn · 46a75aac
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  46a75aac
- clippy: Fix iter_on_single_items · 222824f1
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  222824f1
- clippy: Fix equatable_if_let · cb7afe78
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  cb7afe78
- clippy: Fix derive_partial_eq_without_eq · 6bd4c562
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  6bd4c562
- chore: Follow Rust API guidelines (C-COMMON-TRAITS) · 607cf6b2
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  607cf6b2
- clippy: Fix debug_assert_with_mut_call · 2ee6406b
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  2ee6406b
- clippy: Fix collection_is_never_read · d3ffd008
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  d3ffd008
Apr 16, 2024
- generate dune-project by default · 82088775
  Lennard Gäher authored 11 months ago
  
  Unverified
  
  82088775
Apr 15, 2024
- feat(coq): Add flambda support · bf9fdac5
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  bf9fdac5
- chore(nix): Add missing CLI dependencies · 7eeee10d
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  7eeee10d
- chore(nix): Use crane instead of naersk · 32cf02ae
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  32cf02ae
- fix(nix): Remove unused dependency · 918eb9c0
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  918eb9c0
- fix(ci): Remove cache for artifact store · 3b9aba52
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  3b9aba52
- chore(ci): Bump nix image to 2.21.2 · 04aa8e8a
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  04aa8e8a
- remove coqproject by default · 09826842
  Lennard Gäher authored 11 months ago
  
  Unverified
  
  09826842
Apr 14, 2024
- clippy: Fix useless_conversion · 3d1474c8
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  3d1474c8
- clippy: Fix unnecessary_unwrap · 12758a5f
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  12758a5f