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

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

2017-08-09	Ralf Jung	run AddCallGuards for all call edges before running...	commit \| commitdiff \| tree
2017-08-03	Ralf Jung	extend config.toml doc	commit \| commitdiff \| tree
2017-08-02	Ralf Jung	also release-validate return value before a call	commit \| commitdiff \| tree
2017-08-02	Ralf Jung	improve hir::map::Map::get_parent_node doc	commit \| commitdiff \| tree
2017-08-02	Ralf Jung	closure unsafety check: stop moving up when we hit...	commit \| commitdiff \| tree
2017-08-01	Ralf Jung	add a closure inside an unsafe fn to the tests	commit \| commitdiff \| tree
2017-08-01	Ralf Jung	use FnLike to recognize functions for us	commit \| commitdiff \| tree
2017-08-01	Ralf Jung	handle trait items as well	commit \| commitdiff \| tree
2017-08-01	Ralf Jung	handle tuple struct ctors	commit \| commitdiff \| tree
2017-08-01	Ralf Jung	Handle closures. Add some more tests.	commit \| commitdiff \| tree
2017-08-01	Ralf Jung	fix AddValidation on methods	commit \| commitdiff \| tree
2017-07-31	Ralf Jung	tidy	commit \| commitdiff \| tree
2017-07-31	Ralf Jung	more readable printing of validation operands	commit \| commitdiff \| tree
2017-07-31	Ralf Jung	optionally only emit basic validation for functions...	commit \| commitdiff \| tree
2017-07-31	Ralf Jung	CleanEndRegions: use default impl where possible	commit \| commitdiff \| tree
2017-07-31	Ralf Jung	more documentation	commit \| commitdiff \| tree
2017-07-30	Ralf Jung	do not use doc comments inside functions	commit \| commitdiff \| tree
2017-07-30	Ralf Jung	silence tidy	commit \| commitdiff \| tree
2017-07-30	Ralf Jung	Add tests for emitting validation statements	commit \| commitdiff \| tree
2017-07-30	Ralf Jung	also release/validate around non-Misc casts	commit \| commitdiff \| tree
2017-07-30	Ralf Jung	Reorder passes so that AddValidation can run after...	commit \| commitdiff \| tree
2017-07-30	Ralf Jung	after a Ref, only acquire the Deref'd destination	commit \| commitdiff \| tree
2017-07-30	Ralf Jung	please the tidy	commit \| commitdiff \| tree
2017-07-30	Ralf Jung	add -Z flag for AddValidation pass	commit \| commitdiff \| tree
2017-07-30	Ralf Jung	make ValidationOperand generic so that we can reuse...	commit \| commitdiff \| tree
2017-07-30	Ralf Jung	when suspending, we need to specify for which lifetime...	commit \| commitdiff \| tree
2017-07-30	Ralf Jung	respect lifetime rendering when rendering Suspend validation op	commit \| commitdiff \| tree
2017-07-30	Ralf Jung	only emit Suspend validation for mutable paths	commit \| commitdiff \| tree
2017-07-30	Ralf Jung	add_validation: handle drop	commit \| commitdiff \| tree
2017-07-30	Ralf Jung	emit validation for function calls and Ref	commit \| commitdiff \| tree
2017-07-30	Ralf Jung	CleanEndRegions: do not clean regions that occur in...	commit \| commitdiff \| tree
2017-07-30	Ralf Jung	add a pass for validation commands; for now just emit...	commit \| commitdiff \| tree
2017-07-30	Ralf Jung	add new instructions for asserting when values are...	commit \| commitdiff \| tree
2017-07-24	Ralf Jung	avoid printing 'static	commit \| commitdiff \| tree
2017-07-24	Ralf Jung	Fix printing regions with -Z verbose	commit \| commitdiff \| tree
2017-07-13	Ralf Jung	windows::fs::symlink_dir: fix example to actually use...	commit \| commitdiff \| tree
2017-07-12	Ralf Jung	please tidy by shortening lines	commit \| commitdiff \| tree
2017-07-12	Ralf Jung	rename trait to conform with 'getter trait' pattern	commit \| commitdiff \| tree
2017-07-12	Ralf Jung	overload the mir ty methods to make them more ergonomic...	commit \| commitdiff \| tree
2017-07-11	Ralf Jung	Refactor: {Lvalue,Rvalue,Operand}::ty only need the...	commit \| commitdiff \| tree
2017-06-08	Ralf Jung	bootstrap: further clarify build --help	commit \| commitdiff \| tree
2017-06-06	Ralf Jung	bootstrap: improve 'build --help' by explaining what...	commit \| commitdiff \| tree
2017-06-01	Ralf Jung	array drop glue: avoid using out-of-bounds index lvalues	commit \| commitdiff \| tree
2017-05-29	Ralf Jung	rust-src: include everything needed to compile libstd...	commit \| commitdiff \| tree
2017-05-10	Ralf Jung	fix typo in Unique::empty doc	commit \| commitdiff \| tree
2017-04-29	Ralf Jung	need to pick a new feature name	commit \| commitdiff \| tree
2017-04-29	Ralf Jung	MutexGuard<T> may be Sync only if T is Sync	commit \| commitdiff \| tree
2017-02-14	Ralf Jung	Remove Copy bound from some Cell trait impls	commit \| commitdiff \| tree
2017-02-13	Ralf Jung	Allow more Cell methods for non-Copy types	commit \| commitdiff \| tree
2015-07-08	Ralf Jung	Stdin::read_line: read_line does not need a mutable...	commit \| commitdiff \| tree

Empowering everyone to build reliable and efficient software.

RSS Atom