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

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

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-24	Oliver Schneider	Pass `HasDataLayout` instead of the data layout itself	commit \| commitdiff \| tree
2017-07-23	Oliver Schneider	Use rustc traits instead of our own	commit \| commitdiff \| tree
2017-07-21	Oliver Schneider	Remove unused `IntoValTyPair` hack	commit \| commitdiff \| tree
2017-07-21	Oliver Schneider	Prep miri repository for rustc merger	commit \| commitdiff \| tree
2017-07-20	Oliver Schneider	Also test optimized MIR	commit \| commitdiff \| tree
2017-07-20	Oliver Schneider	Reduce the usage of global paths	commit \| commitdiff \| tree
2017-07-20	Oliver Schneider	Move rustc tests from tests to a binary, since they...	commit \| commitdiff \| tree
2017-07-19	Oliver Schneider	Export types and functions needed by priroda	commit \| commitdiff \| tree
2017-07-14	Oliver Schneider	Add a comment explaining the static "local" during...	commit \| commitdiff \| tree
2017-07-14	Oliver Schneider	Fix static mutation tests	commit \| commitdiff \| tree
2017-07-14	Oliver Schneider	Remove duplicate test	commit \| commitdiff \| tree
2017-07-14	Oliver Schneider	Use enum instead of boolean	commit \| commitdiff \| tree
2017-07-14	Oliver Schneider	Clarify documentation	commit \| commitdiff \| tree
2017-07-14	Oliver Schneider	Ensure that it is not possible to explicitly free stack...	commit \| commitdiff \| tree
2017-07-13	Oliver Schneider	Reuse the `const_eval` method for syscall name resolution	commit \| commitdiff \| tree
2017-07-13	Oliver Schneider	Don't use magic numbers for synconf names	commit \| commitdiff \| tree
2017-07-13	Oliver Schneider	Copy `path_to_def` from clippy	commit \| commitdiff \| tree
2017-07-12	Oliver Schneider	Produce `ConstInt` from a `def_id` for rustc	commit \| commitdiff \| tree
2017-07-12	Oliver Schneider	Add tests for #113	commit \| commitdiff \| tree
2017-07-11	Oliver Schneider	Document the reason for `Pointer`'s existence	commit \| commitdiff \| tree
2017-07-11	Oliver Schneider	Simplify `with_extra`	commit \| commitdiff \| tree
2017-07-11	Oliver Schneider	Remove `offset` methods from `PrimVal` onto `Pointer`	commit \| commitdiff \| tree
2017-07-11	Oliver Schneider	Use a wrapper type to differentiate between PrimVal...	commit \| commitdiff \| tree
2017-07-11	Oliver Schneider	Add a dedicated `write_null` method	commit \| commitdiff \| tree
2017-07-11	Oliver Schneider	Rename Pointer to MemoryPointer	commit \| commitdiff \| tree
2017-07-03	Oliver Schneider	Only check pointers when dereferencing	commit \| commitdiff \| tree
2017-06-28	Oliver Schneider	Optimize lvalue reads from Value::ByVal and Value:...	commit \| commitdiff \| tree
2017-06-28	Oliver Schneider	Code nits	commit \| commitdiff \| tree
2017-06-28	Oliver Schneider	Address comments	commit \| commitdiff \| tree
2017-06-28	Oliver Schneider	Reword comments	commit \| commitdiff \| tree
2017-06-27	Oliver Schneider	Simplify all the code	commit \| commitdiff \| tree
2017-06-26	Oliver Schneider	Initial work towards checking const eval rules in miri	commit \| commitdiff \| tree
2017-06-24	Oliver Schneider	Make zst compile-fail tests more readable	commit \| commitdiff \| tree
2017-06-23	Oliver Schneider	Ensure tests run with and without full MIR	commit \| commitdiff \| tree
2017-06-23	Oliver Schneider	PrimVal used to allow comparing `Undef`	commit \| commitdiff \| tree
2017-06-23	Oliver Schneider	fetch_tls_dtor "read" an `Undef` as nonzero	commit \| commitdiff \| tree
2017-06-23	Oliver Schneider	Typo	commit \| commitdiff \| tree
2017-06-23	Oliver Schneider	Remove the zst allocation	commit \| commitdiff \| tree
2017-06-21	Oliver Schneider	Report better errors on random numbers and threads	commit \| commitdiff \| tree
2017-06-21	Oliver Schneider	Implement `malloc` and `free`	commit \| commitdiff \| tree
2017-06-21	Oliver Schneider	Store env vars where necessary	commit \| commitdiff \| tree
2017-06-21	Oliver Schneider	Simplify numeric intrinsics	commit \| commitdiff \| tree
2017-06-21	Oliver Schneider	Also move some compile-fail tests to fullmir-only	commit \| commitdiff \| tree
2017-06-21	Oliver Schneider	The latest nightly doesn't expose as much MIR anymore...	commit \| commitdiff \| tree
2017-06-21	Oliver Schneider	Add fullmir tests	commit \| commitdiff \| tree
2017-06-20	Oliver Schneider	Enable more zst writes and reads	commit \| commitdiff \| tree
2017-06-20	Oliver Schneider	Use PrimVal instead of Pointer where applicable	commit \| commitdiff \| tree
2017-06-20	Oliver Schneider	Fix unions	commit \| commitdiff \| tree
2017-06-20	Oliver Schneider	Simplify the return lvalue	commit \| commitdiff \| tree
2017-06-20	Oliver Schneider	Run the tls destructors in the correct order	commit \| commitdiff \| tree
2017-06-20	Oliver Schneider	Add pthread docs	commit \| commitdiff \| tree
2017-06-20	Oliver Schneider	Get rid of the integer allocation	commit \| commitdiff \| tree
2017-06-20	Oliver Schneider	Update to latest nightly	commit \| commitdiff \| tree
2017-06-12	Oliver Schneider	Fix some clippy warnings	commit \| commitdiff \| tree
2017-05-09	Oliver Schneider	Update dependencies	commit \| commitdiff \| tree
2017-05-05	Oliver Schneider	Removed unused crate imports	commit \| commitdiff \| tree
2017-05-05	Oliver Schneider	Address things complained about by clippy	commit \| commitdiff \| tree
2017-05-04	Oliver Schneider	Rustup to rustc 1.19.0-nightly (2d4ed8e0c 2017-05-03)	commit \| commitdiff \| tree
2017-05-02	Oliver Schneider	Update to rustc 1.19.0-nightly (777ee2079 2017-05-01)	commit \| commitdiff \| tree
2017-04-27	Oliver Schneider	Update to the latest rustc version	commit \| commitdiff \| tree
2017-04-26	Oliver Schneider	Address clippy lints	commit \| commitdiff \| tree
2017-04-25	Oliver Schneider	Also test subdirectories of `rust/src/test/run-pass`	commit \| commitdiff \| tree
2017-04-25	Oliver Schneider	Update for latest rustc changes	commit \| commitdiff \| tree
2017-03-29	Oliver Schneider	Cleanup the diff	commit \| commitdiff \| tree
2017-03-27	Oliver Schneider	Rustup to `rustc 1.17.0-nightly (7846dbe0c 2017-03...	commit \| commitdiff \| tree
2017-03-24	Oliver Schneider	Add regression test for bad substs	commit \| commitdiff \| tree
2017-03-23	Oliver Schneider	Thinify the fat pointer on virtual function calls	commit \| commitdiff \| tree
2017-03-23	Oliver Schneider	Fix casting generic functions to concrete function...	commit \| commitdiff \| tree
2017-03-23	Oliver Schneider	`print` doesn't add a stack frame, so don't write arguments	commit \| commitdiff \| tree
2017-03-23	Oliver Schneider	Add regression test for single field by val tuples	commit \| commitdiff \| tree
2017-03-23	Oliver Schneider	Fix single field by val tuples	commit \| commitdiff \| tree
2017-03-23	Oliver Schneider	Try to fix travis	commit \| commitdiff \| tree
2017-03-23	Oliver Schneider	Reduce noisyness	commit \| commitdiff \| tree
2017-03-23	Oliver Schneider	Merge branch 'master' of https://github.com/tsion/miri	commit \| commitdiff \| tree
2017-03-23	Oliver Schneider	Skip the transmute checks for closure glue	commit \| commitdiff \| tree
2017-03-23	Oliver Schneider	Reintroduce fn ptr transmute check	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom