1. 17dc9eb measured in bits by vlm · 20 years ago
  2. 5d6d4b8 better semantics by vlm · 20 years ago
  3. 758530a better constraint failure reporting by vlm · 20 years ago
  4. 7e20dfc useful negation... by vlm · 20 years ago
  5. cdf661b proper constraints return values by vlm · 20 years ago
  6. 22b0311 oops by vlm · 20 years ago
  7. b08de15 better support for underlying type by vlm · 20 years ago
  8. e8423bc api change by vlm · 20 years ago
  9. ffa21d2 refine by vlm · 20 years ago
  10. b283901 new constraints generation method by vlm · 20 years ago
  11. 1d03669 constraint checking code by vlm · 20 years ago