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

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

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
2017-06-08	Ralf Jung	fix comment in aux_test	commit \| commitdiff \| tree
2017-06-08	Ralf Jung	typos	commit \| commitdiff \| tree
2017-06-07	Ralf Jung	Error out when "primitive MIR math" (as opposed to...	commit \| commitdiff \| tree
2017-06-06	Ralf Jung	comments	commit \| commitdiff \| tree
2017-06-06	Ralf Jung	less strict kind test for pointer operations	commit \| commitdiff \| tree
2017-06-06	Ralf Jung	properly wrap pointer offsets at pointer size	commit \| commitdiff \| tree
2017-06-06	Ralf Jung	don't bother inserting integer relocations into the...	commit \| commitdiff \| tree
2017-06-06	Ralf Jung	fix bitops being accidentally allowed on pointers from...	commit \| commitdiff \| tree
2017-06-05	Ralf Jung	Add some more tests involving Offset/arith_offset and...	commit \| commitdiff \| tree
2017-06-05	Ralf Jung	Permit ptr->int->ptr roundtrip	commit \| commitdiff \| tree
2017-06-05	Ralf Jung	check bounds when using offset intrinsic or MIR op	commit \| commitdiff \| tree
2017-06-05	Ralf Jung	check for overflow when doing pointer arithmetic	commit \| commitdiff \| tree
2017-06-05	Ralf Jung	fix arith_offset not taking the size of the type into...	commit \| commitdiff \| tree
2017-06-05	Ralf Jung	test that we cannot observe the bytes representing...	commit \| commitdiff \| tree
2017-06-05	Ralf Jung	Permit int->ptr->int roundtrip	commit \| commitdiff \| tree
2017-06-05	Ralf Jung	write_bytes intrinsic: if the write count is 0, the...	commit \| commitdiff \| tree
2017-06-05	Ralf Jung	add comments in the tests explaining what the ignore...	commit \| commitdiff \| tree
2017-06-05	Ralf Jung	Implement Offset like the other binary operators, share...	commit \| commitdiff \| tree
2017-06-05	Ralf Jung	remove our array drop glue and use rustc's instead...	commit \| commitdiff \| tree
2017-06-02	Ralf Jung	make StorageLive kill the current value of the local	commit \| commitdiff \| tree
2017-06-01	Ralf Jung	fix some nits	commit \| commitdiff \| tree
2017-06-01	Ralf Jung	interpret StorageLive & StorageDead, and check dead...	commit \| commitdiff \| tree
2017-05-31	Ralf Jung	run test suite also against libstd with full MIR	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom