Commits · 62ffc233faabcd688c857dd1c8f348b00ab1bf4d · Lennard Gäher / Refinedrust Dev

Nov 01, 2024
- feat: Add 'Hello world' example · 6bd791d7
  Vincent Lafeychine authored 7 months ago
  
  Verified
  
  6bd791d7
- feat(coq): Define a permissive syntax with explanations · 6a83e504
  Vincent Lafeychine authored 7 months ago
  
  Verified
  
  6a83e504
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 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

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 28, 2024
- fix(config): Use RefCell + thread_local! instead of RwLock + lazy_static! · 9c816f0b
  Vincent Lafeychine authored 10 months ago
  
  Verified
  
  9c816f0b
- chore(config): Use only TOML feature for config crate · 21d7d473
  Vincent Lafeychine authored 10 months ago
  
  Verified
  
  21d7d473
- chore(rr_rustc_interface): Remove crate own import · f8ba4577
  Vincent Lafeychine authored 10 months ago
  
  Verified
  
  f8ba4577
May 05, 2024
- chore(radium): Improve generation for FunctionCode · 4139ab0c
  Vincent Lafeychine authored 10 months ago
  
  Verified
  
  4139ab0c
May 04, 2024
- chore(radium): Remove dependency to rrconfig · d372d42f
  Vincent Lafeychine authored 10 months ago
  
  Verified
  
  d372d42f
- feat(radium): Use derive_more instead of manual impl Display · 4780b10d
  Vincent Lafeychine authored 10 months ago
  
  Verified
  
  4780b10d
Apr 25, 2024
- Fetch analysis crate directly from the upstream git · c715a36c
  Vincent Lafeychine authored 11 months ago and Lennard Gäher committed 11 months ago
  
  c715a36c
Apr 17, 2024
- feat(cargo): Move analysis test binaries out of workspace · 437aa411
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  437aa411
- chore(analysis): Get rid of derive_more · 75ba1933
  Vincent Lafeychine authored 11 months ago
  
  Verified
  
  75ba1933
Mar 14, 2024
- Documentation improvements and cleanup · 37db2b04
  Lennard Gäher authored 1 year ago
  
  37db2b04
Feb 14, 2024
- Resolve duplicate dependencies · 4a9fe0ab
  Vincent Lafeychine authored 1 year ago and Lennard Gäher committed 1 year ago
  
  4a9fe0ab
Jan 05, 2024
- derive name of coq module from crate name · cbdb8703
  Lennard Gäher authored 1 year ago
  
  Unverified
  
  cbdb8703
Dec 15, 2023
- properly topologically sort enum defs · 8190ab77
  Lennard Gäher authored 1 year ago
  
  Unverified
  
  8190ab77
Dec 14, 2023
- add support for auto-generating Inductives for enums · c3b0bafc
  Lennard Gäher authored 1 year ago
  
  Unverified
  
  c3b0bafc
Dec 08, 2023
- add work_dir config option · f30c360d
  Lennard Gäher authored 1 year ago
  
  Unverified
  
  f30c360d
- allow to admit proofs for performance reasons · fb60f696
  Lennard Gäher authored 1 year ago
  
  Unverified
  
  fb60f696
Dec 06, 2023
- Add basic support for different reprs · 9358931a
  Lennard Gäher authored 1 year ago
  
  9358931a
Dec 04, 2023
- add mod-level attributes for imports · b47576d8
  Lennard Gäher authored 1 year ago
  
  Unverified
  
  b47576d8
Dec 01, 2023
- frontend fixes · f2067dcb
  Lennard Gäher authored 1 year ago
  
  Unverified
  
  f2067dcb
Nov 30, 2023
- bump rust version and switch to nightly versions · a59e398c
  Lennard Gäher authored 1 year ago
  
  Unverified
  
  a59e398c
Nov 29, 2023
- fix regression · e7f0c776
  Lennard Gäher authored 1 year ago
  
  e7f0c776
- cargo integration · 4a719507
  Lennard Gäher authored 1 year ago
  
  Unverified
  
  4a719507
Nov 24, 2023
- refactor some frontend components into crates · 6de011b3
  Lennard Gäher authored 1 year ago
  
  Unverified
  
  6de011b3
- move binary into its own crate · 8f456e50
  Lennard Gäher authored 1 year ago
  
  Unverified
  
  8f456e50
Nov 23, 2023
- update cargo.lock · 0dc9a850
  Lennard Gäher authored 1 year ago
  
  0dc9a850
Oct 16, 2023
- fix(translation): Remove buffered concurrency with run_check · 26397b32
  Vincent Lafeychine authored 1 year ago
  
  Verified
  
  26397b32
Jun 12, 2023
- initial public version · 6f2ae82b
  Lennard Gäher authored 1 year ago
  
  6f2ae82b