git.lizzy.rs Git - rust.git/search

]> git.lizzy.rs Git - rust.git/search

2017-07-25	Ralf Jung	fix checks when releasing write locks (101)	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	we don't have to set the frame on every step	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	handle type of function definitions (98)	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	we need to normalize associated types also deep in...	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	Handle trait objects. Only very superficial checking...	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	nits. also, rustc now emits released for drop. (72)	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	exempt UnsafeCell from checks (69)	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	move validation to its own file	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	we have to permit deallocation memory for which we...	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	fix handling univariant enums (62)	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	permit locking constant memory (60)	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	fn ptrs and never were accidentally disabled (55)	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	fix normalizing associated types. this brings us up...	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	handle array types	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	Re-do the way locking is done during verification	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	for references, validate alignment and handle ZSTs	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	validate TyClosure, TyTuple, TyNever	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	various small fixes and tracing	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	Also release locks on ReleaseValidation and EndRegion	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	fix release_lock_until to no longer remove inactive...	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	avoid downcasting for enum variants without further...	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	validate boxes	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	implement checking for ADTs	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	implement stub validity check for basic types (bool...	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	implement acquiring and releasing locks	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	add locking data structures and lock checks	commit \| commitdiff \| tree
2017-07-25	Ralf Jung	update for rustc changes: treat new MIR commands as NOP	commit \| commitdiff \| tree
2017-07-22	Ralf Jung	move pointer truncation to a common method in memory.rs	commit \| commitdiff \| tree
2017-07-22	Ralf Jung	fix nits	commit \| commitdiff \| tree
2017-07-22	Ralf Jung	refactor casting code to more clearly handle pointers	commit \| commitdiff \| tree
2017-07-22	Ralf Jung	fix casting integers to pointers	commit \| commitdiff \| tree
2017-07-20	Ralf Jung	always test alignment in memory.rs	commit \| commitdiff \| tree
2017-07-20	Ralf Jung	remove ad-hoc 'never' type check in read_lvalue	commit \| commitdiff \| tree
2017-07-20	Ralf Jung	add test for misaligned pointer loads	commit \| commitdiff \| tree
2017-07-20	Ralf Jung	fix checking alignment of pointer loads	commit \| commitdiff \| tree
2017-07-19	Ralf Jung	fix a warning	commit \| commitdiff \| tree
2017-07-19	Ralf Jung	split up the test suite	commit \| commitdiff \| tree
2017-07-19	Ralf Jung	enable test code that passes just fine	commit \| commitdiff \| tree
2017-07-19	Ralf Jung	Don't pretend that casts to bool are a thing	commit \| commitdiff \| tree
2017-07-19	Ralf Jung	No longer check aligment and non-NULLness on `&`	commit \| commitdiff \| tree
2017-07-18	Ralf Jung	use libstd methods for floating-point <-> bytes conversion	commit \| commitdiff \| tree
2017-07-18	Ralf Jung	remove reundant dangling checks in {r,d}eallocate	commit \| commitdiff \| tree
2017-07-14	Ralf Jung	lvalue: refactoring to permit applying a mir projection...	commit \| commitdiff \| tree
2017-07-13	Ralf Jung	packed structs: test unsize coercions	commit \| commitdiff \| tree
2017-07-13	Ralf Jung	use closures to ensure proper bracketing of unaligned...	commit \| commitdiff \| tree
2017-07-13	Ralf Jung	simplify	commit \| commitdiff \| tree
2017-07-13	Ralf Jung	show alignedness of ByRefs; allow converting unaligned...	commit \| commitdiff \| tree
2017-07-13	Ralf Jung	make all Value::into_* methods handle alignment the...	commit \| commitdiff \| tree
2017-07-13	Ralf Jung	expand comment	commit \| commitdiff \| tree
2017-07-13	Ralf Jung	fix "unaligned" transmute	commit \| commitdiff \| tree
2017-07-13	Ralf Jung	track alignment also for ByRef values	commit \| commitdiff \| tree
2017-07-13	Ralf Jung	Memory::read_ptr has to check for relocations on the...	commit \| commitdiff \| tree
2017-07-13	Ralf Jung	Rename value accessors to "into_*" so the three of...	commit \| commitdiff \| tree
2017-07-13	Ralf Jung	Re-do packed memory accesses	commit \| commitdiff \| tree
2017-07-12	Ralf Jung	hooking mmap is no longer needed	commit \| commitdiff \| tree
2017-07-11	Ralf Jung	add little script to build libstd	commit \| commitdiff \| tree
2017-07-11	Ralf Jung	Add a test for using a too big alignment on reallocate	commit \| commitdiff \| tree
2017-07-11	Ralf Jung	leave notes regarding possible alignment checks	commit \| commitdiff \| tree
2017-07-10	Ralf Jung	update tests for new allocator API	commit \| commitdiff \| tree
2017-07-10	Ralf Jung	update for allocator API	commit \| commitdiff \| tree
2017-07-10	Ralf Jung	update for latest nightly	commit \| commitdiff \| tree
2017-07-10	Ralf Jung	simplify reallocate	commit \| commitdiff \| tree
2017-07-05	Ralf Jung	refine comment explaining the order of checks on deallocate	commit \| commitdiff \| tree
2017-07-04	Ralf Jung	add test for div-by-zero with the operator (rather...	commit \| commitdiff \| tree
2017-07-04	Ralf Jung	catch overflows that are hidden by first casting the...	commit \| commitdiff \| tree
2017-07-04	Ralf Jung	check the assumptions made by the unchecked_ and copy_nonove...	commit \| commitdiff \| tree
2017-07-04	Ralf Jung	implement the unchecked_ intrinsics; add all the doctests...	commit \| commitdiff \| tree
2017-07-04	Ralf Jung	make u128 test work (commenting out the use of checked_shl)	commit \| commitdiff \| tree
2017-07-03	Ralf Jung	validate size and alignment on reallocate and deallocate	commit \| commitdiff \| tree
2017-07-03	Ralf Jung	fix test on i686	commit \| commitdiff \| tree
2017-07-03	Ralf Jung	properly check for: double-free, use-after-reallocate	commit \| commitdiff \| tree
2017-07-03	Ralf Jung	Fix transmute on ByValPair	commit \| commitdiff \| tree
2017-06-28	Ralf Jung	cast -> transmute	commit \| commitdiff \| tree
2017-06-24	Ralf Jung	fix build after rebase	commit \| commitdiff \| tree
2017-06-24	Ralf Jung	remove redundant test	commit \| commitdiff \| tree
2017-06-24	Ralf Jung	Clarify pattern matching	commit \| commitdiff \| tree
2017-06-24	Ralf Jung	make sure that 'identity casting' works	commit \| commitdiff \| tree
2017-06-24	Ralf Jung	check alignment of pointers on Ref	commit \| commitdiff \| tree
2017-06-24	Ralf Jung	handle ptr-int casts explicitly in cast.rs	commit \| commitdiff \| tree
2017-06-24	Ralf Jung	Make sure that casting a ptr-integer down to u8 makes...	commit \| commitdiff \| tree
2017-06-23	Ralf Jung	use PrimVal::to_bool rather than bytes_to_bool	commit \| commitdiff \| tree
2017-06-22	Ralf Jung	add some compile-fail tests	commit \| commitdiff \| tree
2017-06-22	Ralf Jung	permit bit-anding in pointer values below the alignment	commit \| commitdiff \| tree
2017-06-22	Ralf Jung	implement _nonzero intrinsics	commit \| commitdiff \| tree
2017-06-22	Ralf Jung	permit all kinds of 0-offsets on ZSTs	commit \| commitdiff \| tree
2017-06-22	Ralf Jung	permit offsetting a NULL-ptr by 0, to fix hashmap test	commit \| commitdiff \| tree
2017-06-22	Ralf Jung	fix unused variable warning	commit \| commitdiff \| tree
2017-06-22	Ralf Jung	use PrimVal::is_null	commit \| commitdiff \| tree
2017-06-22	Ralf Jung	allow any offset on integer pointers	commit \| commitdiff \| tree
2017-06-22	Ralf Jung	test HashMap creation in libstd-MIR, and make it work...	commit \| commitdiff \| tree
2017-06-22	Ralf Jung	refactor pointer arithmetic handling	commit \| commitdiff \| tree
2017-06-22	Ralf Jung	add test for function pointer offsets	commit \| commitdiff \| tree
2017-06-22	Ralf Jung	correctly reject functions pointers that had arithmetic...	commit \| commitdiff \| tree
2017-06-22	Ralf Jung	permit integer addition and subtraction on ptr-integers	commit \| commitdiff \| tree
2017-06-22	Ralf Jung	refactor pointer handling in binops	commit \| commitdiff \| tree
2017-06-22	Ralf Jung	expand thread-local storage tests to cover dtor order...	commit \| commitdiff \| tree
2017-06-21	Ralf Jung	run fullmir tests against rustc; add output explaining...	commit \| commitdiff \| tree
2017-06-12	Ralf Jung	test the Rc::{into,from}_raw roundtrip	commit \| commitdiff \| tree
2017-06-12	Ralf Jung	enable a test that was accidentally left disabled	commit \| commitdiff \| tree
2017-06-12	Ralf Jung	rustup 1.4 fixed the permissions of the extracted files	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom