diogo
/
yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
5,906 Commits 2 Branches 6 Tags 145 MiB
Commit Graph

5906 Commits

Author SHA1 Message Date
Vítor Santos Costa d6773df815 fix current_stream/3. 2012-08-02 09:36:37 -05:00
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