Vitor Santos Costa
|
d5785152f8
|
more HAVE_CONFIG_H patches
|
2010-10-24 21:28:37 +02:00 |
|
Fabrizio Riguzzi
|
46be35d281
|
fixed compilation of simplecuddLPADs under windows
|
2010-07-30 12:36:13 +02:00 |
|
Fabrizio Riguzzi
|
b62c7b98f2
|
simplified hash table management
|
2010-07-27 23:03:06 +02:00 |
|
Fabrizio Riguzzi
|
a52d33aa5e
|
ADDs replaced by BDDs
|
2010-07-27 22:51:05 +02:00 |
|
Fabrizio Riguzzi
|
63e0523a43
|
removed dependency from glu, now cplint depends only on CUDD
|
2010-07-27 17:55:52 +02:00 |
|
Fabrizio Riguzzi
|
5a19dd372a
|
removed dependency on array_t
|
2010-07-27 16:53:47 +02:00 |
|
Vítor Santos Costa
|
a37adad3e8
|
the sage of configuring everything goes on!
|
2010-06-21 11:54:21 +01:00 |
|
Vítor Santos Costa
|
f1075f6da3
|
fix makefiles t get extra dirs from configure (obs from Paulo Moura).
|
2010-06-19 14:49:04 +01:00 |
|
Vítor Santos Costa
|
b0096fc2f5
|
DLL cleanup (yet again)
|
2010-06-14 09:28:20 +01:00 |
|
Vítor Santos Costa
|
7e1692bdb0
|
fix mess with LIBDIR and YAPLIBDIR
use -Wl,-WR in a more consistent way in Linux
use --with-java instead of --with-jpl
|
2010-06-01 00:38:42 +01:00 |
|
Fabrizio Riguzzi
|
9be29a90ee
|
adapation to 6.0.5 (builtin intersection)
|
2010-05-14 17:38:47 +02:00 |
|
Fabrizio Riguzzi
|
6457655fb0
|
moved to Artistic license 2.0
|
2010-05-06 18:02:07 +02:00 |
|
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
|
b2238c1644
|
removed debug printf, changed module tptree name
|
2010-03-21 11:49:19 +01:00 |
|
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
|
cde7bda046
|
changed the name of the module ptree to ptree_lpad
|
2010-03-20 15:26:23 +01:00 |
|
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
|
287317721e
|
added comments to simplecuddLPADs files stating they were modified from
Problog
|
2010-03-20 01:08:30 +01:00 |
|
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
|
92b9be2dc8
|
removed .svn dir
|
2010-03-18 18:17:54 +01:00 |
|
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
|
db2eefd0c9
|
added approximated cplint
|
2010-03-18 16:11:21 +01:00 |
|
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
|
ce540b5dd4
|
Fixed compilation of cplint under new packages folder
|
2010-03-15 09:51:39 +01:00 |
|
Vitor Santos Costa
|
2685a8449d
|
installation patches from Keri Harris
|
2010-03-05 08:15:02 +00:00 |
|
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
|
1f4717d502
|
added PICL program
|
2009-06-27 11:54:33 +02:00 |
|
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
|
d79feb0310
|
bug fixes and performance improvement in SLGAD (lpad.pl)
|
2009-06-23 11:32:54 +02:00 |
|
Vitor Santos Costa
|
9c9444bece
|
update package locations to a subdir packages
|
2009-02-16 12:23:29 +00:00 |
|