Skip to content

No labels!

There aren’t any labels for this repository quite yet.

49 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
A-abi
A-abi
1
A-abstract-machine
A-abstract-machine
Topic: concerning the abstract machine in general (as opposed to any specific part of it)
3
A-aliasing-model
A-aliasing-model
Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)
26
A-cryptography
A-cryptography
Topic: Related to cryptographic concerns
A-dereferenceable
A-dereferenceable
Topic: when exactly does a reference need to point to regular dereferenceable memory?
5
A-drop
A-drop
Topic: related to dropping
1
A-ffi
A-ffi
Topic: Related to FFI
3
A-floats
A-floats
Topic: concerns floating point operations/representations
1
A-inline-asm
A-inline-asm
Topic: Related to inline assemby
1
A-layout
A-layout
Topic: Related to data structure layout (`#[repr]`)
7
A-memory
A-memory
Topic: Related to memory accesses
7
A-optimization
A-optimization
Category: Discussing optimizations we might (not) want to support
2
A-padding
A-padding
Topic: Related to padding
A-pointer-equality
A-pointer-equality
Topic: Related to questions of pointer equality/identity
1
A-provenance
A-provenance
Topic: Related to when which values have which provenance (but not which alias restrictions follow)
2
A-ptr-eq
A-ptr-eq
Topic: pointer equality
2
A-SB-vs-TB
A-SB-vs-TB
Topic: Design questions where SB and TB are opposite sides of the design axis
5
A-stable-address
A-stable-address
Topic: Related to stable addresses
1
A-storage-liveness
A-storage-liveness
Topic: Related to storage liveness
A-uninhabited-types
A-uninhabited-types
Topic: Related to uninhabited types like ! and exhaustiveness
A-uninitialized
A-uninitialized
Topic: Related to uninitialized memory
1
A-unions
A-unions
Topic: Related to unions
2
A-unwind
A-unwind
Topic: related to unwinding
1
A-validity
A-validity
Topic: Related to validity invariants
9
C-editorial
C-editorial
Category: Tracking editorial improvements to the document
1
C-list
C-list
Category: A list/collection of some sort. Please help maintain it!
1
C-open-question
C-open-question
Category: An open question that we should revisit
27
C-related-work
C-related-work
Category: Discussion of related work (other languages, scientific publications, ...)
C-support
C-support
Category: Supporting a user to solve a concrete problem
5
C-terminology
C-terminology
Category: Discussing terminology -- which term to use, how to define it, adding it to the glossary
4