3 Commits

Author	SHA1	Message	Date
Vitor Santos Costa	f44ef18fed	fix atom_to_term and increase sharing on CUDD stuff	2016-11-23 17:23:59 -06:00
Vitor Santos Costa	438cd7dce5	fix config	2015-10-20 03:10:13 +01:00
Vítor Santos Costa	c26b5f3175	increase the ignore list	2015-06-17 23:49:02 +01:00