lcnr f25cb83296 don't normalize wf predicates ...

this allows us to soundly use unnormalized projections for wf

2022-08-09 12:54:32 +02:00

..

src

don't normalize wf predicates

2022-08-09 12:54:32 +02:00

Cargo.toml

Update smallvec to 1.8.1.

2022-06-27 08:48:55 +10:00