1. fd71d1e cleaner pointer arithmetics by Lev Walkin · 20 years ago
  2. cb2b2d1 measured in bits by Lev Walkin · 20 years ago
  3. be717ec better semantics by Lev Walkin · 20 years ago
  4. 16835b6 better constraint failure reporting by Lev Walkin · 20 years ago
  5. 730b15a useful negation... by Lev Walkin · 20 years ago
  6. 775885e proper constraints return values by Lev Walkin · 20 years ago
  7. 6db2f09 oops by Lev Walkin · 20 years ago
  8. 634a3b8 better support for underlying type by Lev Walkin · 20 years ago
  9. de6fbe0 api change by Lev Walkin · 20 years ago
  10. 02b137d refine by Lev Walkin · 20 years ago
  11. 59004fa new constraints generation method by Lev Walkin · 20 years ago
  12. 84cd58e constraint checking code by Lev Walkin · 20 years ago