Commit History

Author SHA1 Message Date
  Andreas Rumpf 3812d91390 alternative, much simpler algorithm for strict func checking (#21066) 2 years ago
  Andreas Rumpf 47acc80f4e make strict funcs analysis smarter (#18219) 3 years ago