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

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

2022-11-12	Jannis Christopher...	Disable limits if mir-opt-level >= 4	commit \| commitdiff \| tree
2022-11-12	Jannis Christopher...	Expand upon comment regarding self-assignment	commit \| commitdiff \| tree
2022-11-12	Jannis Christopher...	Partially revert 74d53ab	commit \| commitdiff \| tree
2022-11-12	Jannis Christopher...	Require -Zmir-opt-level >= 3 for now	commit \| commitdiff \| tree
2022-11-12	Jannis Christopher...	Exclude locals completely, instead of individual places	commit \| commitdiff \| tree
2022-11-12	Jannis Christopher...	Add comment for guessed constants	commit \| commitdiff \| tree
2022-11-11	Jannis Christopher...	Add test for repr(transparent) with scalar	commit \| commitdiff \| tree
2022-11-10	Jannis Christopher...	Simplify creation of map	commit \| commitdiff \| tree
2022-11-09	Jannis Christopher...	Fix struct field tracking and add tests for it	commit \| commitdiff \| tree
2022-11-09	Jannis Christopher...	Completely remove tracking of references for now	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Fix rebase	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Small corrections of documentation	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Limit number of basic blocks and tracked places to...	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Use new cast methods	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Limit number of tracked places, and some other perf...	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Remove copy of current const prop tests and add a few...	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Move HasTop and HasBottom into lattice.rs	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Small documentation changes	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Use ParamEnv consistently	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Explicitly match all terminators	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Prevent propagation of overflow if overflow occured	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Improve documentation of assumptions	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Fix unimplemented binary_ptr_op	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Improve documentation, plus some small changes	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Make overflow handling more precise	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Make overflow flag propagation conditional	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Update test results	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Update issue-50814.rs test result	commit \| commitdiff \| tree
2022-11-07	Jannis Christopher...	Fix rebased CastKind	commit \| commitdiff \| tree
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