Commits · 7aa5867435f68058055b55f2ad25af5370ea1730 · Lennard Gäher / Refinedrust Dev

"theories/heap_lang/lib/barrier/proof.v" did not exist on "59a8f5bfa728caaaab9287e7aa8ed7953392e0a8"

Feb 12, 2025
- allow specs without args · 7aa58674
  Lennard Gäher authored 1 month ago
  
  Verified
  
  7aa58674
Feb 11, 2025
- fixes + closure obs annotations · 2119c3b9
  Lennard Gäher authored 1 month ago
  
  Verified
  
  2119c3b9
- first attempt at xts · ce1e1210
  Lennard Gäher authored 2 months ago
  
  Verified
  
  ce1e1210
Feb 04, 2025
- generate rectype def · cee0e1f6
  Lennard Gäher authored 1 month ago
  
  Verified
  
  cee0e1f6
Feb 02, 2025
- frontend: fixes for recursive types · 5dc22dc4
  Lennard Gäher authored 1 month ago
  
  Verified
  
  5dc22dc4
Jan 31, 2025
- revert OnceCell change · 4d9c879c
  Lennard Gäher authored 1 month ago
  
  Verified
  
  4d9c879c
Jan 20, 2025
- make sure that local lifetimes are always constrained · 80ec77c9
  Lennard Gäher authored 2 months ago
  
  Verified
  
  80ec77c9
- Handle trait attributes and associated type escapes in more places · 91abe9d5
  Lennard Gäher authored 2 months ago
  
  Verified
  
  91abe9d5
- make process_coq_literal a method · 8add0d16
  Lennard Gäher authored 2 months ago
  
  Verified
  
  8add0d16
Jan 03, 2025
- remove unused imports · c2dd80f7
  Lennard Gäher authored 2 months ago
  
  Verified
  
  c2dd80f7
- split up function_body · 3aca54f4
  Lennard Gäher authored 2 months ago
  
  Verified
  
  3aca54f4
- move region management for calls and composites · 8a2d7a76
  Lennard Gäher authored 2 months ago
  
  Verified
  
  8a2d7a76
- refactor init and assignment constraints · e1708622
  Lennard Gäher authored 2 months ago
  
  Verified
  
  e1708622
- fix fmt · 8b6a5bff
  Lennard Gäher authored 2 months ago
  
  Verified
  
  8b6a5bff
Jan 02, 2025
- partial refactor of function_body · f5e500cb
  Lennard Gäher authored 2 months ago
  
  Verified
  
  f5e500cb
- remove unused imports · 3192900b
  Lennard Gäher authored 2 months ago
  
  Verified
  
  3192900b
- clean up utils · 766cae6c
  Lennard Gäher authored 2 months ago
  
  Verified
  
  766cae6c
- refactor shims · a7cbdd14
  Lennard Gäher authored 2 months ago
  
  Verified
  
  a7cbdd14
- refactor traits · 7f55bf30
  Lennard Gäher authored 2 months ago
  
  Verified
  
  7f55bf30
- fix some unused imports · a9391f57
  Lennard Gäher authored 2 months ago
  
  Verified
  
  a9391f57
- refactor type translator · 547bb618
  Lennard Gäher authored 2 months ago
  
  Verified
  
  547bb618
Dec 30, 2024
- Refactor handling of trait requirements · caf51252
  Lennard Gäher authored 2 months ago
  
  Co-authored-by: Lennard Gäher <l.gaeher@posteo.de>
  caf51252
Nov 02, 2024
- feat(coq::radium): Add binders · b7125100
  Vincent Lafeychine authored 4 months ago
  
  Verified
  
  b7125100
- feat(coq::radium): Sunset old representation · 4cf4b624
  Vincent Lafeychine authored 5 months ago
  
  Verified
  
  4cf4b624
Nov 01, 2024
- feat(coq::radium): Replace module crate · 8c75695a
  Vincent Lafeychine authored 5 months ago
  
  Verified
  
  8c75695a
- 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): 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
May 28, 2024
- 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