4 Commits (6508c55b7d305b6f4543ac7e94238803a6787b36)

Author	SHA1	Message	Date
Jorge Aparicio	5e47ca2699	rename muldi4 to muldi3 ... closes #42	2016-08-18 21:27:16 -05:00
Jorge Aparicio	45aec943d3	use wrapping_add in muldi4	2016-08-13 18:47:39 -05:00
Jorge Aparicio	69376af183	quickcheck: better generation of input arguments ... closes #31	2016-08-13 16:58:44 -05:00
Amanieu d'Antras	acceaa95f1	Various changes	2016-08-13 09:56:40 +01:00