mikros/rust - rust - Gitea.pterpstra.com

mikros/rust

Fork 0

Commit Graph

Author	SHA1	Message	Date
Zack M. Davis	22b31758ec	region_infer: BitMatrix representation of region values This should be more efficient than allocating two BTreeSets for every region variable?—as it is written in #45670.	2017-12-04 08:51:11 -05:00
Paul Daniel Faria	a9cb25b23a	inform constraint generation using maybe-init In particular, if we see a variable is DROP-LIVE, but it is not MAYBE-INIT, then we can ignore the drop. This leavess attempt to use more complex refinements of the idea (e.g., for subpaths or subfields) to future work.	2017-12-04 08:51:11 -05:00

Author

SHA1

Message

Date

Zack M. Davis

22b31758ec

region_infer: BitMatrix representation of region values

This should be more efficient than allocating two BTreeSets for every
region variable?—as it is written in #45670.

2017-12-04 08:51:11 -05:00

Paul Daniel Faria

a9cb25b23a

inform constraint generation using maybe-init

In particular, if we see a variable is DROP-LIVE, but it is not
MAYBE-INIT, then we can ignore the drop. This leavess attempt to use
more complex refinements of the idea (e.g., for subpaths or subfields)
to future work.

2017-12-04 08:51:11 -05:00

2 Commits