12 posts were split to a new topic: Formalizing LLVM IR and Rust
Related topics
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Understanding of rust Raw pointers | 4 | 958 | February 9, 2023 | |
Function pointers are inconsistent with other language features | 2 | 1669 | August 25, 2020 | |
C++ "Lifetime Profile 1.0", a.k.a. C++ might get a sort of borrow checker
|
8 | 5135 | March 25, 2019 | |
Int2ptr and runtime provenance models | 24 | 2799 | February 12, 2022 | |
Dyn pointer equality
|
6 | 881 | April 10, 2020 |