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

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

2022-11-07	Jannis Christopher...	Add comment for the current retag situation	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Use the same is_enabled as the current const prop	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Improve example used for SB tests	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Add tests for Stacked Borrows behavior	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Only assume Stacked Borrows if -Zunsound-mir-opts is...	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Prevent registration inside references if target is...	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Fix formatting	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Remove `Unknown` state in favor of `Value(Top)`	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Only track (trivially) freeze types	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Make more assumptions explicit	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Flood with bottom for Deinit, StorageLive and StorageDead	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Handle NonDivergingIntrinsic and CopyNonOverlapping	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Update test results after rebase	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Fix typo	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Add some more unit-test directives	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Update test results	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Add tests from current const prop	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Only allow registration of scalars for now	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Track Scalar instead of ScalarInt for const prop	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Handle StorageLive	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Add comment about downcast projection element	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Use StorageDead and Deinit to flood place	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Flood place on drop	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Remove superfluous line	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Add more documentation	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Remove leftover test files	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Rebase onto master	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Add tracking of unreachability	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Ignore terminators explicitly	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Update other test results	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Reject registration of downcasts for now	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Flood with bottom instead of top for unreachable branches	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Move handling of references and simplify flooding	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Clarify place expressions vs place objects	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Change test from usize to i32 to prevent target issues	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Begin a semi-formal argument for correctness	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Add additional flooding when assigning a value and...	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Clarify registration and tracking of references	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Remove empty test	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Update test results	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Fix spelling	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Update test results	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Try field type normalization instead of forcing it	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Add initial version of value analysis and dataflow...	commit \| commitdiff \| tree
2022-10-25	Jannis Christopher...	Use &self instead of &mut self for cast methods	commit \| commitdiff \| tree

Empowering everyone to build reliable and efficient software.

RSS Atom