These are chat archives for thunder-project/thunder

10th
Nov 2016
Boaz Mohar
@boazmohar
Nov 10 2016 23:59
@mheppner I can only speak to my PR (#305), I know that there is a use case in which it fails, so I asked for it not to be merged. I hope I will have time to add that case to the testsso it will show up as not passing.