Georg Wiese 795eb51900 Make sure Identity IDs are unique (#1196) ...

This PR changes that `Identity` IDs are now globally unique, by doing to
things:
1. When dispensing IDs, we now have only one ID counter, instead of one
per type.
2. Fixed a bug in the condenser, where it would previously assign the
same ID when evaluating a `|| -> constr[]`.

2024-03-25 16:29:47 +00:00

..

src

Make sure Identity IDs are unique (#1196)

2024-03-25 16:29:47 +00:00

Cargo.toml

Nightly fix: ignoring env_logger on cargo udeps.

2024-03-05 18:54:10 +00:00