diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
4,062 Commits 2 Branches 6 Tags 146 MiB
258d8cf997
Commit Graph

4062 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Vitor Santos Costa
ca94b17049 update to more recent version of option.pl 2010-07-28 10:45:06 +01:00
Vitor Santos Costa
86af6ff3f6 add THOR to threads version. 2010-07-28 00:30:02 +01:00
Vitor Santos Costa
0a73dea9c0 compile clib early. 2010-07-28 00:29:40 +01:00
Vitor Santos Costa
d1d4150d68 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-07-27 23:31:02 +01:00
Vitor Santos Costa
5cd55b0e0e EX changes 2010-07-27 23:29:55 +01:00
Vitor Santos Costa
07907f1839 fix breakage in ball access 
fix unnecuessary --ASP (why?)
 2010-07-27 23:21:15 +01:00
Vitor Santos Costa
5b7f04b4b6 fix typo. 2010-07-27 23:12:16 +01:00
Vitor Santos Costa
af056dd605 fix tabling to compile with threads+ or-parallelism. 2010-07-27 23:09:17 +01:00
Fabrizio Riguzzi
b62c7b98f2 simplified hash table management 2010-07-27 23:03:06 +02:00
Fabrizio Riguzzi
42bdf4f50b Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2010-07-27 22:51:48 +02:00
Fabrizio Riguzzi
a52d33aa5e ADDs replaced by BDDs 2010-07-27 22:51:05 +02:00
Vítor Santos Costa
e2201f57e1 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-07-27 17:29:26 +01:00
Vítor Santos Costa
18d77309a6 c_inp_stream and friends are thread private! 2010-07-27 17:28:58 +01:00
Vítor Santos Costa
4c9d74c2e7 in closestream: make sure we have a lock before we start looking inside! 2010-07-27 17:28:27 +01:00
Vítor Santos Costa
08627579fc try to maintain a valid ASP even after a longjmp to top-level 2010-07-27 17:27:47 +01: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
Fabrizio Riguzzi
25d1fac007 fixed compilation of cplint under linux 2010-07-27 12:14:33 +02:00
Fabrizio Riguzzi
5b1c2c89ed fixed compilation of cplint under cygwin 2010-07-27 11:35:22 +02:00
Vítor Santos Costa
2ce4427395 fix bad error handling 
unlock new stream
 2010-07-26 12:56:17 +01:00
Vítor Santos Costa
44f8f9bf5c get new stream descriptor should lock the resource until it is initialised. 2010-07-26 12:54:22 +01:00
Vítor Santos Costa
e031026a62 instrument PE locking 
fix missing unlock in index_pred (if predicate had been indexed while we were
waiting).
 2010-07-25 11:22:16 +01:00
Vítor Santos Costa
5b6014175e support case where engines have no associated pthread 2010-07-25 11:21:15 +01:00
Vítor Santos Costa
7dd2714263 emulate SWI MT interface correctly 2010-07-25 11:19:07 +01:00
Vitor Santos Costa
f3b9811ef7 more packages to implement better thread interface. 2010-07-23 15:54:13 +01:00
Vitor Santos Costa
eebff5df6a fixes to YAP C-thread interface. 2010-07-23 12:07:33 +01:00
Vitor Santos Costa
b1dd038eb5 copy record.pl from SWI (used by json). 2010-07-23 12:06:56 +01:00
Vítor Santos Costa
3dd68aa8bd fix EX: it cannot be a term and it should be a placeholder for BallTerm, 
so the twp can never be alive at the same time.
 2010-07-21 12:49:06 +01:00
Vítor Santos Costa
92a8e37769 remove debugging information 2010-07-21 11:12:15 +01:00
Vítor Santos Costa
73c89b096d fix trouble with extension of latin1 characters. 2010-07-21 11:11:19 +01:00
Vítor Santos Costa
b61d69ffe8 allow SWI Interface to send/receive wide characters. 2010-07-21 10:58:24 +01:00
Vítor Santos Costa
1f3455a656 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 
Conflicts:
	include/SWI-Prolog.h
 2010-07-21 09:44:18 +01:00
Vítor Santos Costa
90f7504a76 make swi-yap io interface a structure. 2010-07-21 09:39:49 +01:00
Vitor Santos Costa
a7612bb15e fix bad call to subsumes (obs from Jose Santos) 2010-07-21 00:09:24 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
7417284b8b WIN64 compilation 2010-07-20 23:50:00 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
e21bce4f81 fix typo 2010-07-20 23:31:15 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
c14bae7478 fix lgdi problem 2010-07-20 22:58:09 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
cb115142cd update 2010-07-20 22:55:54 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
63f891ae40 work around iob problems 2010-07-20 22:55:27 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
83d0d3fdba fixes for clib 2010-07-20 22:55:09 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
4e0c6a0e23 support WIN32 2010-07-20 22:54:51 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
112402c0d5 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-07-20 22:54:35 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
433072bf44 more clib fixes 2010-07-20 22:54:20 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
0d96937eb8 compile clib in win32 2010-07-20 22:53:48 +01:00
Vítor Santos Costa
7551f2b12e update to current jpl 2010-07-20 16:45:43 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
18f28354b6 more WIN32 compilation fixes. 2010-07-20 14:33:33 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
bf0786822e fix export 2010-07-20 13:43:26 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
4b20d2c74e fix export 2010-07-20 13:42:48 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
b9e63fa4b9 fixes for WIN32 2010-07-20 13:42:35 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
f9ed9961df protect TINT from bad compilers. 2010-07-20 13:41:12 +01:00