1. 8a09e0f portability fixes by vlm · 19 years ago
  2. d5b3bf3 different type for the big integer by vlm · 20 years ago
  3. 47ae158 PRIdASN instead of lld by vlm · 20 years ago
  4. 5746178 more logging by vlm · 20 years ago
  5. 7614245 more support for parametrized type; additional ANY support by vlm · 20 years ago
  6. ee8b06f introducing less strict semantics by vlm · 20 years ago
  7. b6fd3b2 fixed constraint code by vlm · 20 years ago
  8. b5be8c3 constraint groking code by vlm · 20 years ago