Commit Graph

13 Commits

Author SHA1 Message Date
Vitor Santos Costa
04fd092e49 indenting 2016-07-31 10:18:50 -05:00
Vítor Santos Costa
145ad73255 small fixes
indenting
2016-03-30 17:35:03 +01:00
Vítor Santos Costa
e9debf4d83 MYDDAS Support 2015-11-05 23:45:07 +00:00
Vítor Santos Costa
2f621e5b47 make user functions return bool 2015-02-03 02:37:25 +00:00
Vítor Santos Costa
2053c44054 try to clean-up makefiles and autoconfs 2014-10-26 17:39:52 +00:00
Fabrizio Riguzzi
1d98481ac3 fixed compilation problems 2014-10-15 15:15:24 +02:00
Fabrizio Riguzzi
b00a5bf7fc em/8 returns the list of updated probabilities of examples 2013-09-08 17:46:36 +02:00
Fabrizio Riguzzi
cbf31fcd50 fixed test predicates 2013-09-08 16:06:18 +02:00
Fabrizio Riguzzi
d53857db21 dos2unix inference_sl.pl 2013-09-04 19:09:36 +02:00
Fabrizio Riguzzi
2e309201ab slipcase examples 2013-07-16 13:55:22 +02:00
Fabrizio Riguzzi
dff6925a66 remved unnecessary gloabl vars from bddem.c 2013-07-16 12:43:50 +02:00
Vítor Santos Costa
05d3266671 fix lib64 issues 2012-08-22 10:07:33 -05:00
Fabrizio Riguzzi
be449b3aef updated cplint 2011-10-22 16:33:04 +02:00