Historique des commits

Auteur SHA1 Message Date
  Dana Jansens ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) il y a 5 mois
  Dana Jansens ca3f95faa6 Make named constraint eval to a FacetType with itself in it (#6308) il y a 6 mois
  Geoff Romer 0811d996e1 Finish renaming BindName and related insts. (#6281) il y a 6 mois
  Dana Jansens 22580a47d3 Initial support for empty named constraints (#6245) il y a 6 mois