Jakob Stoklund Olesen ef812408f4 Remove the number field from the PredNode union type. ...

Predicate numbers are available in the maps
isa.settings.predicate_number and isa.instp_number instead.

Like the name field, predicate numbers don't interact well with
unique_pred().

2017-07-26 11:06:43 -07:00

..

meta

Remove the number field from the PredNode union type.

2017-07-26 11:06:43 -07:00

src

Generate type check predicates for secondary type variables.

2017-07-26 08:19:44 -07:00

build.rs

Upgrade to rustfmt 0.8.0.

2017-03-14 10:48:05 -07:00

Cargo.toml

Move library crates under 'lib/'.

2016-10-17 14:44:43 -07:00