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 |
|
U-WIN-U2045GN0RNQ\Vítor Santos Costa
|
839a8503c5
|
fix bug with dynamic compilation of YAP in WIN32.
|
2010-07-20 12:14:57 +01:00 |
|
Vitor Santos Costa
|
a46d6dc9eb
|
fix bad recent patch.
|
2010-07-20 11:28:56 +01:00 |
|
Vitor Santos Costa
|
18ff860937
|
fix WIN32 warning
|
2010-07-20 11:28:45 +01:00 |
|
Vitor Santos Costa
|
396a0716c7
|
fix silly DEPTH_RESET definition.
|
2010-07-20 11:20:57 +01:00 |
|
Vitor Santos Costa
|
bc7f49c3b2
|
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
|
2010-07-19 22:43:03 +01:00 |
|
Vitor Santos Costa
|
8edeead245
|
fix compilation warnings
|
2010-07-19 22:42:47 +01:00 |
|
Vitor Santos Costa
|
d608966f46
|
add missing files
|
2010-07-19 22:42:37 +01:00 |
|
Vitor Santos Costa
|
35c3081c18
|
fix bad declaration
|
2010-07-19 22:42:19 +01:00 |
|
Vitor Santos Costa
|
a8b080a158
|
sgml stuff
|
2010-07-19 14:56:21 +01:00 |
|