5 Commits

Author	SHA1	Message	Date
chavacava	e63e7cbd3d	fixes computation of complexity of Bool exprs	2019-12-16 23:02:12 +01:00
chavacava	0cdcc25bc7	removes unused return value	2019-12-15 10:57:26 +01:00
chavacava	d877a0d7e8	fix binexp complexity logic	2019-12-14 16:18:53 +01:00
chavacava	2eae0cd122	fix method comment	2019-12-14 09:12:36 +01:00
chavacava	611c6f7c81	firts working version	2019-12-14 08:27:06 +01:00