| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2022-12-05 | fix dupe word typos | Rageking8 | -1/+1 | |
| 2022-12-01 | Create `format_args` as late as possible | Oli Scherer | -8/+1 | |
| 2022-11-26 | Rewrite dest prop. | Jakob Degen | -124/+0 | |
| This fixes a number of correctness issues from the previous version. Additionally, we use a new strategy which has much better performance charactersitics and also finds more opportunities to apply the optimization. | ||||
| 2022-11-23 | use no type in ProjectionElem::Field for PlaceBuilder::UpVar | b-naber | -3/+3 | |
| 2022-11-21 | Allow iterators instead of requiring slices that will get turned into iterators | Oli Scherer | -1/+1 | |
| 2022-11-18 | couple of clippy::perf fixes | Matthias Krüger | -1/+1 | |
| 2022-11-12 | Remove log statement that was commented out | Jannis Christopher Köhl | -2/+0 | |
| 2022-11-12 | Exclude locals completely, instead of individual places | Jannis Christopher Köhl | -29/+18 | |
| 2022-11-11 | Add test for repr(transparent) with scalar | Jannis Christopher Köhl | -2/+5 | |
| 2022-11-10 | Simplify creation of map | Jannis Christopher Köhl | -52/+25 | |
| 2022-11-09 | Fix struct field tracking and add tests for it | Jannis Christopher Köhl | -7/+7 | |
| 2022-11-09 | Completely remove tracking of references for now | Jannis Christopher Köhl | -135/+37 | |
| 2022-11-07 | Fix rebase | Jannis Christopher Köhl | -2/+1 | |
| 2022-11-07 | Small corrections of documentation | Jannis Christopher Köhl | -3/+3 | |
| 2022-11-07 | Limit number of tracked places, and some other perf improvements | Jannis Christopher Köhl | -11/+46 | |
| 2022-11-07 | Move HasTop and HasBottom into lattice.rs | Jannis Christopher Köhl | -26/+41 | |
| 2022-11-07 | Explicitly match all terminators | Jannis Christopher Köhl | -2/+11 | |
| 2022-11-07 | Improve documentation of assumptions | Jannis Christopher Köhl | -65/+51 | |
| 2022-11-07 | Improve documentation, plus some small changes | Jannis Christopher Köhl | -76/+126 | |
| 2022-11-07 | Add comment for the current retag situation | Jannis Christopher Köhl | -1/+6 | |
| 2022-11-07 | Only assume Stacked Borrows if -Zunsound-mir-opts is given | Jannis Christopher Köhl | -2/+42 | |
| 2022-11-07 | Prevent registration inside references if target is !Freeze | Jannis Christopher Köhl | -17/+39 | |
| 2022-11-07 | Fix formatting | Jannis Christopher Köhl | -2/+1 | |
| 2022-11-07 | Remove `Unknown` state in favor of `Value(Top)` | Jannis Christopher Köhl | -13/+18 | |
| 2022-11-07 | Only track (trivially) freeze types | Jannis Christopher Köhl | -1/+5 | |
| 2022-11-07 | Make more assumptions explicit | Jannis Christopher Köhl | -7/+26 | |
| 2022-11-07 | Flood with bottom for Deinit, StorageLive and StorageDead | Jannis Christopher Köhl | -4/+5 | |
| 2022-11-07 | Handle NonDivergingIntrinsic and CopyNonOverlapping | Jannis Christopher Köhl | -3/+12 | |
| 2022-11-07 | Update test results after rebase | Jannis Christopher Köhl | -2/+18 | |
| 2022-11-07 | Fix typo | Jannis Christopher Köhl | -1/+1 | |
| 2022-11-07 | Only allow registration of scalars for now | Jannis Christopher Köhl | -18/+50 | |
| 2022-11-07 | Handle StorageLive | Jannis Christopher Köhl | -4/+5 | |
| 2022-11-07 | Add comment about downcast projection element | Jannis Christopher Köhl | -1/+4 | |
| 2022-11-07 | Use StorageDead and Deinit to flood place | Jannis Christopher Köhl | -4/+8 | |
| 2022-11-07 | Flood place on drop | Jannis Christopher Köhl | -1/+5 | |
| 2022-11-07 | Remove superfluous line | Jannis Christopher Köhl | -1/+0 | |
| 2022-11-07 | Add more documentation | Jannis Christopher Köhl | -2/+29 | |
| 2022-11-07 | Add tracking of unreachability | Jannis Christopher Köhl | -24/+74 | |
| 2022-11-07 | Ignore terminators explicitly | Jannis Christopher Köhl | -5/+15 | |
| 2022-11-07 | Reject registration of downcasts for now | Jannis Christopher Köhl | -2/+7 | |
| 2022-11-07 | Move handling of references and simplify flooding | Jannis Christopher Köhl | -44/+71 | |
| 2022-11-07 | Clarify place expressions vs place objects | Jannis Christopher Köhl | -9/+16 | |
| 2022-11-07 | Begin a semi-formal argument for correctness | Jannis Christopher Köhl | -0/+28 | |
| 2022-11-07 | Add additional flooding when assigning a value and corresponding test | Jannis Christopher Köhl | -1/+3 | |
| 2022-11-07 | Clarify registration and tracking of references | Jannis Christopher Köhl | -2/+8 | |
| 2022-11-07 | Fix spelling | Jannis Christopher Köhl | -1/+1 | |
| 2022-11-07 | Try field type normalization instead of forcing it | Jannis Christopher Köhl | -4/+4 | |
| 2022-11-07 | Add initial version of value analysis and dataflow constant propagation | Jannis Christopher Köhl | -1/+682 | |
| 2022-11-04 | Some tracing and comment cleanups | Oli Scherer | -3/+2 | |
| 2022-10-23 | Migrate all diagnostics | Nilstrieb | -10/+10 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |