Commit Graph

5905 Commits

Author SHA1 Message Date
Vitor Santos Costa
7458d8ee74 update to newer releases. 2012-08-01 19:48:29 +01:00
Vítor Santos Costa
ccb67cec96 ISO-patch, thanks to Ulrich Neumerkel. 2012-07-31 08:33:46 -05:00
Vítor Santos Costa
21e7f359dc emulate old socket interface: correct docs. 2012-07-26 16:18:16 -04:00
Vítor Santos Costa
e7551b106a emulate old yap socket (thanks to Jan code). 2012-07-26 16:16:26 -04:00
Vítor Santos Costa
9d48e0ed79 fix compatibility with unix library. 2012-07-25 22:36:19 -04:00
Vítor Santos Costa
a69a509b11 check if strlwr exists 2012-07-24 21:51:30 -04:00
Vítor Santos Costa
5e78479fb2 fix typo. 2012-07-18 17:58:09 -05:00
Vítor Santos Costa
2852f82b72 updaate. 2012-07-18 17:57:39 -05:00
Costa Vitor
2019c218f1 make cuud detection more robust. 2012-07-18 17:56:04 -05:00
Costa Vitor
53b694edd0 Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 2012-07-18 17:36:10 -05:00
Costa Vitor
c8ef4dbdb4 we cannot trust that just having on reference will protect a clause. Several references may go in a single operation! 2012-07-18 14:32:53 -05:00
Costa Vitor
efc857b3e1 small fixes. 2012-07-16 14:10:22 -05:00
Costa Vitor
82d6640fea fix bad counting. 2012-07-16 14:09:56 -05:00
Costa Vitor
8ba1de7250 fixes for external CUDD compatibility. 2012-07-16 11:58:21 -05:00
Vítor Santos Costa
a99412c48f fix gall to gc. 2012-07-16 10:20:56 -05:00
Vítor Santos Costa
61439cdd12 iimprove dbusage debugging module. 2012-07-16 10:19:15 -05:00
Vítor Santos Costa
1fc641b7d1 add module aware versions of pred interface. 2012-07-13 14:57:12 -05:00
Vítor Santos Costa
ec0437664c fix loop in db_dynamic. 2012-07-13 14:56:50 -05:00
Vitor Santos Costa
d78a55ca83 fix cudd support. 2012-07-08 07:45:16 -05:00
Vítor Santos Costa
bc8c9a423a Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
Conflicts:
	packages/jpl
2012-07-07 09:54:27 -05:00
Vítor Santos Costa
1e1d49e112 allow installing examples by defult. 2012-07-07 09:43:07 -05:00
Vítor Santos Costa
d9decfe003 fix example path in meld. 2012-07-06 18:58:35 -05:00
Vítor Santos Costa
8a22258fdf use standard paths for installing examples. 2012-07-06 18:56:05 -05:00
Vítor Santos Costa
50a7acdae0 install chr examples by default. 2012-07-06 18:50:50 -05:00
Vítor Santos Costa
f166b8bfb6 make sure library_path is initialised at boot time, so that people get no
surprises.
2012-07-06 18:49:02 -05:00
Vitor Santos Costa
c67edd877a learning is debugging 2012-07-03 19:48:13 +01:00
Vitor Santos Costa
b4b1e68c35 Merge branch 'master' of https://github.com/tacgomes/yap6.3 2012-07-03 16:03:27 +01:00
Tiago Gomes
4af5a90b8b re-enable all elimination heuristics 2012-07-02 22:53:44 +01:00
Vitor Santos Costa
79b4c6cb25 new version. 2012-07-02 20:04:02 +01:00
Vitor Santos Costa
5fb55b2535 inline fixes. 2012-07-02 20:03:46 +01:00
Vitor Santos Costa
51c8142cb1 Merge branch 'master' of https://github.com/denys-duchier/yap-6.3
Conflicts:
	H/yapio.h
2012-07-02 19:58:04 +01:00
Miguel Areias
bc21735ff1 fixed compilation bug (Prof. Vitor Costa) 2012-07-02 19:48:58 +01:00
Denys Duchier
97163fa150 place INLINE_ONLY at front of extern inline declarations AND definitions. gcc and clang then behave the same. 2012-06-30 20:42:14 +02:00
Tiago Gomes
7a3d39551b improve the way we compute hashs for counting bp 2012-06-30 19:25:29 +01:00
Denys Duchier
a34b45bcc0 distinguish gcc and clang for INLINE_ONLY 2012-06-30 17:51:47 +02:00
Vítor Santos Costa
fab462b002 Merge branch 'master' of https://github.com/denys-duchier/yap-6.3 2012-06-29 22:45:47 +01:00
Vítor Santos Costa
70bde4d38f inline extern patch by Denys Duchier 2012-06-29 22:44:08 +01:00
Vítor Santos Costa
20b60649e5 new updates to jpl. 2012-06-29 22:42:08 +01:00
Vítor Santos Costa
e938c17748 fix clang compilation (Denys Duchier). 2012-06-29 22:24:12 +01:00
Vítor Santos Costa
0ed4e15925 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-06-29 21:40:10 +01:00
Vitor Santos Costa
e66cea25bc MT support in console. 2012-06-29 15:39:12 -05:00
Vitor Santos Costa
5989af937b MT support in mingw win32. 2012-06-29 15:38:49 -05:00
Vitor Santos Costa
2d71a96d54 support mingw emulation. 2012-06-29 15:37:31 -05:00
Vitor Santos Costa
1a4c1a393b MT support. 2012-06-29 15:37:11 -05:00
Vitor Santos Costa
19a3796978 first attempt at locking and MT support with signals. 2012-06-29 15:36:31 -05:00
Vitor Santos Costa
ab9fd00096 MT support. 2012-06-29 15:35:52 -05:00
Vitor Santos Costa
47d6cd795e explictely check for shell32 dll
make thw way jpl handles white spaces more SWI like.
2012-06-29 15:33:27 -05:00
Denys Duchier
3d28c7939e Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-06-28 14:05:38 +02:00
Denys Duchier
8b57ca1cef copy-and-paste bug in dimensioning a dynamic array 2012-06-28 14:04:41 +02:00
Vítor Santos Costa
4230515792 fix inconsistent usage for extern/EXTERN. 2012-06-26 22:30:15 +01:00