4 Commits

Author	SHA1	Message	Date
Amanieu d'Antras	f919660be5	Add signed division functions	2016-08-19 12:13:02 +01: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