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 |
|