4 Commits

Author	SHA1	Message	Date
Vitor Santos Costa	cb1c73c973	small fixes	2018-10-10 12:33:05 +01:00
Vitor Santos Costa	f44ef18fed	fix atom_to_term and increase sharing on CUDD stuff	2016-11-23 17:23:59 -06:00
Vítor Santos Costa	4336b2ba88	Avoid complaining from strlen ... `	2015-09-21 17:05:36 -05:00
Vítor Santos Costa	c26b5f3175	increase the ignore list	2015-06-17 23:49:02 +01:00