Charlie Marsh 8c8f723005 Store environment-markers in solve order (#6078) ... ## Summary Right now, we store the environment markers in a `BTreeSet` -- so they're sorted, but the sort doesn't really tell us anything. I think we should instead store them in the order in which we solved. I thought this might fix an instability (it didn't), but I think it's still good to ensure we solve in the same order. I also changed from `Option<Vec>` to just `Vec`, since there was no distinction between `None` and empty.		2024-08-14 09:20:12 -04:00
..
src	Store environment-markers in solve order (#6078)	2024-08-14 09:20:12 -04:00
Cargo.toml	Implement marker trees using algebraic decision diagrams (#5898)	2024-08-09 13:40:02 -04:00