459 Commits (6e57e64501f61873ab80cb78a07180a22751a5d6)

 

All Branches   

Search

Author	SHA1	Message	Date
Mazdak Farrokhzad	5004ad30d6	Merge pull request #169 from RalfJung/atomics ... further clarify C11 and C/C++11 terminology	5 years ago
Ralf Jung	ddc460c245	further clarify C11	5 years ago
Mazdak Farrokhzad	a4d8c2ce6f	Merge pull request #168 from RalfJung/atomics ... atomics: C11 -> C++20	5 years ago
Ralf Jung	37a0693e0e	mention C11 in case someone wonders	5 years ago
Ralf Jung	9c5dc0be63	atomics: C11 -> C++20	5 years ago
Ralf Jung	cbbe63b561	use sound/unsound terminology	5 years ago
Mazdak Farrokhzad	4374786f0b	Merge pull request #165 from RalfJung/linkfix ... fix links for copy, copy_nonoverlapping	5 years ago
Ralf Jung	fdcf179d75	fix links for copy, copy_nonoverlapping	5 years ago
Ralf Jung	3600533888	Merge pull request #153 from RalfJung/uninit ... update uninit section to MaybeUninit	5 years ago
Ralf Jung	9fae750261	remark on structs and mem::uninitialized	5 years ago
Ralf Jung	2ab1783f2d	remove a pointless remark	5 years ago
Ralf Jung	0a2172f104	clarify 'easy to change'	5 years ago
Ralf Jung	f2c2491427	Apply feedback ... Co-Authored-By: Mazdak Farrokhzad <twingoow@gmail.com>	5 years ago
Mazdak Farrokhzad	0f469dcadd	Merge pull request #163 from RalfJung/zst ... fix and expand what we say about ZST	5 years ago
Mazdak Farrokhzad	7b3c50bfd7	Merge pull request #162 from RalfJung/raw-wide ... adjust for current reality wrt. wide raw pointers	5 years ago
Ralf Jung	d176807b2e	Update src/what-unsafe-does.md ... Co-Authored-By: Mazdak Farrokhzad <twingoow@gmail.com>	5 years ago
Ralf Jung	04823fd22b	use agreed-upon wording	5 years ago
Ralf Jung	d3a5f5b21d	impove wording ... Co-Authored-By: gnzlbg <gnzlbg@users.noreply.github.com>	5 years ago
Ralf Jung	c6bf198f75	adjust fn unwinding clause to match reference	5 years ago
Ralf Jung	5287c526f7	fix noun	5 years ago
Ralf Jung	78c247398f	note on not-too-large slices	5 years ago
Ralf Jung	8db5ad17bf	fix slice wide ptr metadata	5 years ago
Ralf Jung	61b001f52c	Oxford ... Co-Authored-By: Mazdak Farrokhzad <twingoow@gmail.com>	5 years ago
Ralf Jung	9cf4a9a6f1	clarify, also cover Box	5 years ago
Ralf Jung	8a3cc78962	fix and expand what we say about ZST	5 years ago
Ralf Jung	5e082af681	adjust for current reality wrt. wide raw pointers	5 years ago
Ralf Jung	d1cf763599	update uninit section to MaybeUninit	5 years ago
Lzu Tao	38b9a76bc8	Fix transmute_copy link	5 years ago
Ralf Jung	92b7198c10	some edits	5 years ago
Ralf Jung	d9709e1b74	drop parenthetical	5 years ago
Ralf Jung	02b64d1672	clarify dangling	5 years ago
Ralf Jung	052159694e	fix def.n of dangling	5 years ago
Ralf Jung	121a5a01a1	fold uninit integer rule with reading uninit memory	5 years ago
Ralf Jung	98a71fde9f	refactor null a bit	5 years ago
Ralf Jung	6596772610	resolve some nits	5 years ago
Ralf Jung	929fd20709	raw ptrs must be initialized like integers	5 years ago
Ralf Jung	307db2a17b	Apply suggestions from code review ... Co-Authored-By: gnzlbg <gnzlbg@users.noreply.github.com>	5 years ago
Ralf Jung	b41ef53e57	explain when metadata is invalid	5 years ago
Ralf Jung	c113664204	mention !	5 years ago
Ralf Jung	01d11b8429	add more cases of UB	5 years ago
Ralf Jung	a7aa0a8944	avoid redundant UB	5 years ago
Ralf Jung	1824951736	stick to broader UB for raw ptr offsets/derefs for now	5 years ago
Ralf Jung	93c626d0d0	be more precise about dangling	5 years ago
Ralf Jung	447fdb0cd9	subsume the NonNull things as library types	5 years ago
Ralf Jung	2d8338bea7	handle recursion in the heading	5 years ago
Ralf Jung	450041032c	Define 'producing'	5 years ago
Ralf Jung	c9db421053	NonNull, NonZero*	5 years ago
Ralf Jung	423f6b926d	list more ptr offset computations	5 years ago
Ralf Jung	12b34a6570	UB	5 years ago
chansuke	87159b8656	Fix typo in subtyping	5 years ago