rust - https://github.com/rust-lang/rust

Age	Commit message (Expand)	Author	Lines
2022-11-12	Exclude locals completely, instead of individual places	Jannis Christopher Köhl	-0/+67
2022-11-11	Add test for repr(transparent) with scalar	Jannis Christopher Köhl	-0/+56
2022-11-09	Fix struct field tracking and add tests for it	Jannis Christopher Köhl	-0/+137
2022-11-09	Completely remove tracking of references for now	Jannis Christopher Köhl	-576/+169
2022-11-07	Remove copy of current const prop tests and add a few new tests	Jannis Christopher Köhl	-2500/+253
2022-11-07	Prevent propagation of overflow if overflow occured	Jannis Christopher Köhl	-1/+1
2022-11-07	Improve documentation, plus some small changes	Jannis Christopher Köhl	-4/+2
2022-11-07	Make overflow flag propagation conditional	Jannis Christopher Köhl	-0/+53
2022-11-07	Update test results	Jannis Christopher Köhl	-4/+4
2022-11-07	Improve example used for SB tests	Jannis Christopher Köhl	-19/+47
2022-11-07	Add tests for Stacked Borrows behavior	Jannis Christopher Köhl	-0/+120
2022-11-07	Only assume Stacked Borrows if -Zunsound-mir-opts is given	Jannis Christopher Köhl	-84/+86
2022-11-07	Update test results after rebase	Jannis Christopher Köhl	-28/+29
2022-11-07	Add some more unit-test directives	Jannis Christopher Köhl	-112/+137
2022-11-07	Update test results	Jannis Christopher Köhl	-200/+122
2022-11-07	Add tests from current const prop	Jannis Christopher Köhl	-0/+2297
2022-11-07	Add tracking of unreachability	Jannis Christopher Köhl	-3/+6
2022-11-07	Reject registration of downcasts for now	Jannis Christopher Köhl	-85/+85
2022-11-07	Change test from usize to i32 to prevent target issues	Jannis Christopher Köhl	-12/+12
2022-11-07	Add additional flooding when assigning a value and corresponding test	Jannis Christopher Köhl	-0/+63
2022-11-07	Remove empty test	Jannis Christopher Köhl	-18/+0
2022-11-07	Update test results	Jannis Christopher Köhl	-0/+44
2022-11-07	Add initial version of value analysis and dataflow constant propagation	Jannis Christopher Köhl	-0/+769