Commit History

Author SHA1 Message Date
  Andreas Rumpf 02be027e9b IC: progress and refactorings (#22961) 1 year ago
  Andreas Rumpf 2ebd71bfd4 tiny refactoring related to sink parameter inference logic (#21064) 2 years ago
  Andreas Rumpf 73a8b950cb big steps torwards an efficient, simple IC implementation (#16543) 4 years ago
  Andreas Rumpf 226595515c explicit ID generation for easier IC (#15559) 4 years ago
  Andreas Rumpf d9e907c0e2 fixes #14079 [backport:1.2] (#14163) 4 years ago
  Andreas Rumpf a0eca75182 sink parameter inference for types that have destructors (#13544) 4 years ago