Commits · 4cf4b6249bcf191af2d975940111b4e594c58722 · Lennard Gäher / Refinedrust Dev

Nov 02, 2024
- feat(coq::radium): Sunset old representation · 4cf4b624
  Vincent Lafeychine authored 5 months ago
  
  Verified
  
  4cf4b624
Nov 01, 2024
- chore(radium::coq): Create subcategory command · 2f479fcc
  Vincent Lafeychine authored 5 months ago
  
  Verified
  
  2f479fcc
- feat(coq::radium): Replace module crate · 8c75695a
  Vincent Lafeychine authored 5 months ago
  
  Verified
  
  8c75695a
- Use specific version of Coq (8.20) for documentation · 5acf32f5
  Vincent Lafeychine authored 5 months ago
  
  Verified
  
  5acf32f5
- chore(fix): Remove unused argument · 1a545ad5
  Vincent Lafeychine authored 5 months ago
  
  Verified
  
  1a545ad5
- feat: Add 'Hello world' example · 6bd791d7
  Vincent Lafeychine authored 7 months ago
  
  Verified
  
  6bd791d7
- feat(coq): Split attempt into submodules · 220f80dd
  Vincent Lafeychine authored 7 months ago
  
  Verified
  
  220f80dd
- feat(coq): Define a permissive syntax with explanations · 6a83e504
  Vincent Lafeychine authored 7 months ago
  
  Verified
  
  6a83e504
- feat(derive_more): Use Deref instead of manually implement it · 3022365b
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  3022365b
- chore(coq::term): Add internal type VariantList · 7f81a4da
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  7f81a4da
- chore(radium): Split coq crate (command, term) · dee62ee0
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  dee62ee0
- chore(radium): Split coq crate (module) · ecba4adc
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  ecba4adc
- chore(coq/assertions): Simplification · e4a382a7
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  e4a382a7
- chore(coq): Structure visibility + simplification · 36648b40
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  36648b40
Sep 24, 2024
- clippy tests · 5000c641
  Lennard Gäher authored 5 months ago
  
  Verified
  
  5000c641
- add support for processing trait specs · 627e7569
  Lennard Gäher authored 5 months ago
  
  Verified
  
  627e7569
Sep 13, 2024
- refactor param handling · 995105d2
  Lennard Gäher authored 6 months ago
  
  Verified
  
  995105d2
Sep 12, 2024
- New trait encoding scheme and add support for more specific trait impls · 5b7c2494
  Lennard Gäher authored 6 months ago
  
  Co-authored-by: Lennard Gäher <l.gaeher@posteo.de>
  5b7c2494
Aug 21, 2024
- Refactor type parameter handling · a0a1c4e2
  Lennard Gäher authored 6 months ago
  
  Co-authored-by: Lennard Gäher <l.gaeher@posteo.de>
  a0a1c4e2
Aug 09, 2024

Lennard Gäher authored 7 months ago


Co-authored-by: Lennard Gäher <l.gaeher@posteo.de>
Co-authored-by: Lennard Gäher <lennard.gaeher@ibm.com>

02537c66

Jul 16, 2024
- Fixes + frontend support for casts · 00723737
  Lennard Gäher authored 8 months ago
  
  Co-authored-by: Lennard Gäher <l.gaeher@posteo.de>
  00723737
Jul 12, 2024
- Add support for calling const evaluation · 954a2895
  Lennard Gäher authored 8 months ago
  
  Co-authored-by: Lennard Gäher <l.gaeher@posteo.de>
  954a2895
Jun 14, 2024

Fix regression with building dependencies · f8f5c8ec

Lennard Gäher authored 9 months ago


Co-authored-by: Lennard Gäher <l.gaeher@posteo.de>
Co-authored-by: Vincent Lafeychine <vincent.lafeychine@proton.me>

f8f5c8ec

May 29, 2024
- tests(rrconfig): Add config read + write simple tests · e95ded12
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  e95ded12
May 28, 2024
- fix(config): Use RefCell + thread_local! instead of RwLock + lazy_static! · 9c816f0b
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  9c816f0b
- chore(config): Use only TOML feature for config crate · 21d7d473
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  21d7d473
- fix(shim): Remove deprecated syntax crate · 2b277b70
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  2b277b70
- chore(import): Remove renamed imports · 2ae964d1
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  2ae964d1
- chore(rr_rustc_interface): Remove crate own import · f8ba4577
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  f8ba4577
May 27, 2024
- chore(imports): Use absolute paths · d2ba550e
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  d2ba550e
- clippy: Fix string_lit_as_bytes · 53d47ede
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  53d47ede
- clippy: Fix useless_format · 04af8f2a
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  04af8f2a
- clippy: Fix let_unit_value · 45f61975
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  45f61975
- clippy: Fix let_underscore_untyped · 04525fd6
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  04525fd6
- clippy: Fix ignored_unit_patterns · 4d8bd74f
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  4d8bd74f
- clippy!: Fix module_name_repetitions · cce2c637
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  cce2c637
- clippy!: Fix enum_variant_names · 8666e41a
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  8666e41a
- clippy: Fix single_match_else · b580dee0
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  b580dee0
- clippy: Fix redundant_else · 29cdbc73
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  29cdbc73
- clippy: Fix enum_glob_use · 860924f7
  Vincent Lafeychine authored 9 months ago
  
  Verified
  
  860924f7