Commit Graph

Select branches

Hide Pull Requests

master

threads

6.2

6.3.0

6.3.2

YAP-6.3.4

yap-6.3.1

yap-6.3.3

Mono Color

• 8df9099cbe make it run under YAP. Vítor Santos Costa 2010-08-04 02:44:41 +01:00
• ce73eb5683 avoid conflict Vítor Santos Costa 2010-08-04 02:44:05 +01:00
• 366d6e0a8e depends on shlib Vítor Santos Costa 2010-08-04 02:43:14 +01:00
• e2ee992210 install time.so and time.pl Vítor Santos Costa 2010-08-04 02:42:05 +01:00
• 8a0c614214 Needs error library Vítor Santos Costa 2010-08-03 21:10:09 +01:00
• a89336a555 PL_get_chars does not play nice. Vítor Santos Costa 2010-08-03 21:09:14 +01:00
• 16341a3a0c export normalize_ Vítor Santos Costa 2010-08-03 21:07:58 +01:00
• a15351b28d expoprt predicates in ctypes Vítor Santos Costa 2010-08-03 21:06:33 +01:00
• 91db3beeeb fix missing locking Vítor Santos Costa 2010-08-03 21:05:53 +01:00
• c081d01e78 implement access_file/2 in C Vítor Santos Costa 2010-08-03 21:04:16 +01:00
• 69b21df917 improve PL_get_chars, still needs to handle wide chars. Vítor Santos Costa 2010-08-03 17:22:33 +01:00
• 00a157b8ac fix make check to use $srcdir Vitor Santos Costa 2010-08-03 12:59:27 +01:00
• 90ffa99878 fix documentation Vitor Santos Costa 2010-08-03 12:58:19 +01:00
• ebc22dc29f better support for win32 fix case where zlib is not available. Vítor Santos Costa 2010-08-03 12:27:23 +01:00
• 3a3ca7f382 make configure support cygwin again. U-WIN-U2045GN0RNQ\Vítor Santos Costa 2010-08-03 01:54:29 +01:00
• 6a22006fed Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 U-WIN-U2045GN0RNQ\Vítor Santos Costa 2010-08-03 01:54:22 +01:00
• dec813f562 remove debugging messages. U-WIN-U2045GN0RNQ\Vítor Santos Costa 2010-08-03 01:54:07 +01:00
• d62d88731d NetBSD also exists. Charlie 2010-08-03 01:39:05 +01:00
• 8340ee4cb1 fix CYGWIN compilation U-WIN-U2045GN0RNQ\Vítor Santos Costa 2010-08-03 01:11:13 +01:00
• fd64559643 NetBSD compilation Charlie 2010-08-02 15:39:11 +01:00
• 388f4fb782 expand C-interface to allow access to common term operations (request from Ingo Molnar). Vítor Santos Costa 2010-08-02 19:48:17 +01:00
• 1e737747bf add new instruction Vítor Santos Costa 2010-08-02 19:48:01 +01:00
• 473fd5516d small fix to Osbmp type instructions. Vítor Santos Costa 2010-08-02 19:47:29 +01:00
• 6895b8521a fix for long messages (from Denys Duchier) Vítor Santos Costa 2010-08-02 18:44:10 +01:00
• ffc094e25f make sure we have enough room before we enter a clause. Vítor Santos Costa 2010-08-02 18:20:03 +01:00
• 3d6e223dae support for space reservation (goal: call gc before trying to insert very large terms). Vitor Santos Costa 2010-08-02 13:04:30 +01:00
• 212758d25e fix bad handliong of position overflow. Vitor Santos Costa 2010-08-02 13:03:48 +01:00
• e02ca2f520 fix bad assumption in parse variables overflow handling (stacks can move around in use-malloc). Vitor Santos Costa 2010-08-02 11:56:14 +01:00
• b2c1523de6 fix different semantics for yapor. Vitor Santos Costa 2010-07-31 00:32:54 +01:00
• f59f8e3f1a Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-07-30 12:08:37 +01:00
• 6834ac544b fix thread creation. Vitor Santos Costa 2010-07-30 12:08:00 +01:00
• 46be35d281 fixed compilation of simplecuddLPADs under windows Fabrizio Riguzzi 2010-07-30 12:36:13 +02:00
• b92c459968 fixed library order, fixed install of simplecuddLPADs Fabrizio Riguzzi 2010-07-30 12:33:09 +02:00
• 8d5aa09e05 fix threaded error handling. Vitor Santos Costa 2010-07-30 00:57:46 +01:00
• b95e0ae629 fix too many libraries being requested (obs from Paulo Moura). Vitor Santos Costa 2010-07-29 22:44:21 +01:00
• e7c7483588 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-07-29 22:37:01 +01:00
• 30caf35bff fix bad overflow handling in == Vitor Santos Costa 2010-07-29 22:36:30 +01:00
• ca964a9e5b fix CFLAGS - always use the predefined ones - be careful about setting CFLAGS after whatever the variables that depend on it. Vítor Santos Costa 2010-07-29 17:02:25 +01:00
• d59fa6c28b make zlib load zlib.so add delete_file/1 as default. Vitor Santos Costa 2010-07-29 01:01:16 +01:00
• 36973f93ba zlib Vitor Santos Costa 2010-07-29 00:40:25 +01:00
• 4727c62abc support for date.pl Vitor Santos Costa 2010-07-29 00:22:08 +01:00
• 86a8a51f1d pretty print should run in SWI mode. Vitor Santos Costa 2010-07-28 23:26:04 +01:00
• b50ec79f11 ignore xpce in YAP mode. Vitor Santos Costa 2010-07-28 23:25:54 +01:00
• 617e43b9c1 support requires/1. Vitor Santos Costa 2010-07-28 23:25:12 +01:00
• 15c9d385a9 compile C stuff during bootstrap Vitor Santos Costa 2010-07-28 23:24:46 +01:00
• 3030247064 thread_local should be as dynamic in non-thread mode. Vitor Santos Costa 2010-07-28 23:22:24 +01:00
• 43ab7fe123 add nb?set Vitor Santos Costa 2010-07-28 20:03:08 +01:00
• 0081626e0d SWI IO is used in RDF packages. Vítor Santos Costa 2010-07-28 17:15:36 +01:00
• bfa7285041 fix interface with Thor Vítor Santos Costa 2010-07-28 17:14:29 +01:00
• 41cb93c243 fix arity finding Vítor Santos Costa 2010-07-28 17:14:18 +01:00
• d45020e940 fix PL_pred and 2 export method for finding out arity of swi functor Vítor Santos Costa 2010-07-28 17:13:10 +01:00
• e80cc50fc7 assoc_to_keys/2 (used in SWI). Vítor Santos Costa 2010-07-28 17:12:51 +01:00
• 0f0065049e compile under thor, check every case. Vítor Santos Costa 2010-07-28 17:12:29 +01:00
• c017bccd1a more locking fixes Vítor Santos Costa 2010-07-28 17:12:17 +01:00
• 8d3b9ad16c RDF package Vitor Santos Costa 2010-07-28 11:34:41 +01:00
• 7b9ab9252c get rid of debugging info. Vitor Santos Costa 2010-07-28 11:30:28 +01:00
• ccb7991a56 should not use PP for thread private more lock tracing aids. Vitor Santos Costa 2010-07-28 11:26:20 +01:00
• 431ceadc50 more SWI updates. Vitor Santos Costa 2010-07-28 10:47:18 +01:00
• c27fdc9b35 file_name_ is now a YAP builtin. Vitor Santos Costa 2010-07-28 10:46:35 +01:00
• 36a56ccd13 update len for wchar. SWI can release frame twice. Vitor Santos Costa 2010-07-28 10:45:37 +01:00
• ca94b17049 update to more recent version of option.pl Vitor Santos Costa 2010-07-28 10:45:06 +01:00
• 86af6ff3f6 add THOR to threads version. Vitor Santos Costa 2010-07-28 00:30:02 +01:00
• 0a73dea9c0 compile clib early. Vitor Santos Costa 2010-07-28 00:29:40 +01:00
• d1d4150d68 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-07-27 23:31:02 +01:00
• 5cd55b0e0e EX changes Vitor Santos Costa 2010-07-27 23:29:55 +01:00
• 07907f1839 fix breakage in ball access fix unnecuessary --ASP (why?) Vitor Santos Costa 2010-07-27 23:21:15 +01:00
• 5b7f04b4b6 fix typo. Vitor Santos Costa 2010-07-27 23:12:16 +01:00
• af056dd605 fix tabling to compile with threads+ or-parallelism. Vitor Santos Costa 2010-07-27 23:09:17 +01:00
• b62c7b98f2 simplified hash table management Fabrizio Riguzzi 2010-07-27 23:03:06 +02:00
• 42bdf4f50b Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Fabrizio Riguzzi 2010-07-27 22:51:48 +02:00
• a52d33aa5e ADDs replaced by BDDs Fabrizio Riguzzi 2010-07-27 22:51:05 +02:00
• e2201f57e1 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vítor Santos Costa 2010-07-27 17:29:26 +01:00
• 18d77309a6 c_inp_stream and friends are thread private! Vítor Santos Costa 2010-07-27 17:28:58 +01:00
• 4c9d74c2e7 in closestream: make sure we have a lock before we start looking inside! Vítor Santos Costa 2010-07-27 17:28:27 +01:00
• 08627579fc try to maintain a valid ASP even after a longjmp to top-level Vítor Santos Costa 2010-07-27 17:27:47 +01:00
• 63e0523a43 removed dependency from glu, now cplint depends only on CUDD Fabrizio Riguzzi 2010-07-27 17:55:52 +02:00
• 5a19dd372a removed dependency on array_t Fabrizio Riguzzi 2010-07-27 16:53:47 +02:00
• 25d1fac007 fixed compilation of cplint under linux Fabrizio Riguzzi 2010-07-27 12:14:33 +02:00
• 5b1c2c89ed fixed compilation of cplint under cygwin Fabrizio Riguzzi 2010-07-27 11:35:22 +02:00
• 2ce4427395 fix bad error handling unlock new stream Vítor Santos Costa 2010-07-26 12:56:17 +01:00
• 44f8f9bf5c get new stream descriptor should lock the resource until it is initialised. Vítor Santos Costa 2010-07-26 12:54:22 +01:00
• e031026a62 instrument PE locking fix missing unlock in index_pred (if predicate had been indexed while we were waiting). Vítor Santos Costa 2010-07-25 11:22:16 +01:00
• 5b6014175e support case where engines have no associated pthread Vítor Santos Costa 2010-07-25 11:21:15 +01:00
• 7dd2714263 emulate SWI MT interface correctly Vítor Santos Costa 2010-07-25 11:19:07 +01:00
• f3b9811ef7 more packages to implement better thread interface. Vitor Santos Costa 2010-07-23 15:54:13 +01:00
• eebff5df6a fixes to YAP C-thread interface. Vitor Santos Costa 2010-07-23 12:07:33 +01:00
• b1dd038eb5 copy record.pl from SWI (used by json). Vitor Santos Costa 2010-07-23 12:06:56 +01:00
• 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. Vítor Santos Costa 2010-07-21 12:49:06 +01:00
• 92a8e37769 remove debugging information Vítor Santos Costa 2010-07-21 11:12:15 +01:00
• 73c89b096d fix trouble with extension of latin1 characters. Vítor Santos Costa 2010-07-21 11:11:19 +01:00
• b61d69ffe8 allow SWI Interface to send/receive wide characters. Vítor Santos Costa 2010-07-21 10:58:24 +01:00
• 1f3455a656 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vítor Santos Costa 2010-07-21 09:44:18 +01:00
• 90f7504a76 make swi-yap io interface a structure. Vítor Santos Costa 2010-07-21 09:39:49 +01:00
• a7612bb15e fix bad call to subsumes (obs from Jose Santos) Vitor Santos Costa 2010-07-21 00:09:24 +01:00
• 7417284b8b WIN64 compilation U-WIN-U2045GN0RNQ\Vítor Santos Costa 2010-07-20 23:50:00 +01:00
• e21bce4f81 fix typo U-WIN-U2045GN0RNQ\Vítor Santos Costa 2010-07-20 23:31:15 +01:00
• c14bae7478 fix lgdi problem U-WIN-U2045GN0RNQ\Vítor Santos Costa 2010-07-20 22:58:09 +01:00
• cb115142cd update U-WIN-U2045GN0RNQ\Vítor Santos Costa 2010-07-20 22:55:54 +01:00
• 63f891ae40 work around iob problems U-WIN-U2045GN0RNQ\Vítor Santos Costa 2010-07-20 22:55:27 +01:00
• 83d0d3fdba fixes for clib U-WIN-U2045GN0RNQ\Vítor Santos Costa 2010-07-20 22:55:09 +01:00