19 Commits

Author	SHA1	Message	Date
Theofrastos Mantadelis	284fc9ab8b	corrected a small bug with export	2010-10-06 18:27:40 +02:00
Theofrastos Mantadelis	1342d2dab2	SimpleCUDD versioning	2010-10-06 13:24:25 +02:00
Theofrastos Mantadelis	c1c02d1e95	Correcting some versioning issues	2010-10-01 12:04:45 +02:00
Theofrastos Mantadelis	69dbf72553	Various ProbLog improvements	2010-10-01 11:40:24 +02:00
Theofrastos Mantadelis	b5acc03a1c	Fixed LICENSE	2010-09-22 11:52:16 +02:00
Theofrastos Mantadelis	835b099d98	ProbLog - simplecudd Distribution Fixed warnings	2010-08-27 17:54:22 +02:00
Theofrastos Mantadelis	9cf76e2ab6	ProbLog Distribution	2010-08-27 17:17:01 +02:00
Theofrastos Mantadelis	0c83231d0e	New ProbLog Distribution Version - all	2010-08-26 14:44:10 +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	6ddfecc861	use SO to make YAP makefiles closer to SWI's	2010-06-14 10:36:13 +01:00
Vítor Santos Costa	247d59f0ef	- slots should be considered as always live for gc. ... - make sure slots do not die when they should be live, and vice-versa. - improve a little on foreign_frame	2010-06-01 00:40:58 +01:00
Vitor Santos Costa	5e26f604c6	fix makefiles to define $exec_prefix	2010-03-05 10:22:48 +00:00
Vitor Santos Costa	2685a8449d	installation patches from Keri Harris	2010-03-05 08:15:02 +00:00
Vítor Manuel de Morais Santos Costa	69caa6d5df	upgrade to more recent version of ProbLog.	2010-01-14 15:46:46 +00:00
Costa Vitor	77e947cdae	- upgrade to latest simplecudd. ... - fix paths in learning.	2009-07-31 17:04:11 -05:00
Vitor Santos Costa	1f7b839e85	support exporting top-level-work as absolute path	2009-05-02 14:11:54 -05:00
Vitor Santos Costa	a6747da26e	simplecudd interface	2009-03-09 00:42:12 +00:00
Vitor Santos Costa	f01fd0fbee	update ProbLog	2009-03-06 09:53:09 +00:00
Vitor Santos Costa	9c9444bece	update package locations to a subdir packages	2009-02-16 12:23:29 +00:00