5 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
Vítor Santos Costa	f3e8b8b3da	indenting; warning; exceptions; small fixes	2016-03-29 02:02:43 +01:00
Vítor Santos Costa	661f33ac7e	bug fices	2016-01-03 02:06:09 +00: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