Commit History

Author SHA1 Message Date
  Andreas Rumpf 74fe7a800b make tests green again 6 years ago
  Araq ef6eda4cb4 better error messages: use <T1, T2> instead of (T1, T2) in order to prevent confusions with tuple types 6 years ago
  Zahary Karadjov 26890b6525 make some tests red :) (i.e. print failure details while running the tester) 10 years ago
  Zahary Karadjov f0953db3ba handle arbitrary expressions dependent on static input params in proc signatures 10 years ago
  Zahary Karadjov 4b09a89758 fix #966 10 years ago