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

314 Commits

Author SHA1 Message Date
Vitor Santos Costa b331c4bed0 ClSize should be the block size in bytes, and not the amount of code. Check that for megaclauses. 2011-08-31 21:13:29 -07:00
Vitor Santos Costa 6df5d0a214 don't remove source annotations. 2011-08-25 03:19:27 +01:00
Vitor Santos Costa 7c0ba3b867 qly stuff. 2011-08-24 00:11:54 -03:00
Vítor Santos Costa e74a25d366 handle slowdown when retracting clauses. 2011-06-24 21:08:22 +01:00
Ricardo Rocha 7c6b4bf489 removing macro SEQUENTIAL_IS_DEFAULT 2011-06-21 15:43:50 +01:00
Joao 971ad94311 moved several global variables to misc/GLOBALS 2011-05-25 16:40:36 +01:00
Joao 8170f6d3cb Some global variables(Yap_thread_gl) in C/init.c are now declared in misc/LOCALS 2011-05-23 16:19:47 +01:00
Joao d9cee607e9 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 
Conflicts:
	C/cdmgr.c
 2011-05-04 11:10:20 +01:00
Joao dc3c54c164 change LOCALS macros. 2011-05-04 10:11:41 +01:00
Vitor Santos Costa f0a617a01f allow assert to be independent of file. 2011-05-02 23:29:48 +01:00
Vítor Santos Costa de0f8a8236 dbload 2011-04-30 01:16:40 +01:00
Vítor Santos Costa c940245182 make consult_level a local variable 
assert() within consult should act as a normal assert.
 2011-04-22 13:01:10 +01:00
Vítor Santos Costa 8fb8aec9bf MULTIPLE_STACKS - or-parallelism/threads/tabling 
YAPOR_THREADS - threads with or-parallelism
make tabling require reference counting for dynamic predicates.
 2011-04-14 18:51:11 +01:00
Joao 3e148c3541 change define SBA to YAPOR_SBA 2011-03-30 15:32:59 +01:00
Vítor Santos Costa 0d8aed7971 new implementation of corourining... 2011-03-18 19:34:58 +00:00
Vítor Santos Costa 2a76f86785 don't lock ThreadLocal predicates. 2011-03-15 09:08:09 +00:00
ubu32 e98ba46ccb make new code work in 32 bit Linux. 2011-03-07 08:34:20 -08:00
Vítor Santos Costa 90d93fdbdd cache abstra machine register in threaded mode. 2011-03-07 16:02:55 +00:00
Vitor Santos Costa 9bdc7ca96e get rid of references to freed code. 2011-02-04 01:23:01 +00:00
vsc 58b838b8e1 fix bad overflow handling 2010-12-31 05:37:25 +00:00
Vítor Santos Costa 5a2d908489 fix restore of instructions that manipulate bigints or db terms. 2010-12-16 20:39:53 +00:00
Vítor Santos Costa 1369057cc4 fix style checker to be more self-contained. 2010-12-13 19:13:33 +00:00
Vítor Santos Costa 378035a4b0 fix bad marking of dbterms (obs from Ines Dutra). 2010-12-12 16:45:39 +00:00
Vitor Santos Costa e0aa6ae30a improve low level profiler interface. Still doesn't work too well. 2010-10-26 22:01:29 +01:00
Vitor Santos Costa 8d5aa09e05 fix threaded error handling. 2010-07-30 00:57:46 +01:00
Vítor Santos Costa c017bccd1a more locking fixes 2010-07-28 17:12:17 +01:00
Vitor Santos Costa 7b9ab9252c get rid of debugging info. 2010-07-28 11:30:28 +01:00
Vitor Santos Costa ccb7991a56 should not use PP for thread private 
more lock tracing aids.
 2010-07-28 11:26:20 +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 247d59f0ef - slots should be considered as always live for gc. 
- make sure slots do not die when they should be live, and vice-versa.
- improve a little on foreign_frame
 2010-06-01 00:40:58 +01:00
Vítor Santos Costa 11641c5f94 64 bit cleanups. 2010-05-06 15:00:44 +01:00
Vitor Santos Costa 3e8dc5cd19 try to handle overflows in stack dumpers. 2010-04-29 10:29:06 +01:00
Ricardo Rocha ddb1cd8604 adding two new modes to the yap_flag/2 and tabling_mode/2 built-in 
predicates: 'local_trie' mode and 'global_trie' mode.
 2010-04-16 02:08:06 +01:00
Ricardo Rocha e122f2ca8d Global trie support: atomic terms (vars, integers and atoms) are now stored 
in the local tries (and not in the global trie). This required major changes
to the trie instructions in order to unify the use of the auxiliary stack
organization for the terms in the local tries and in the global trie.
 2010-04-15 01:09:59 +01:00
Vitor Santos Costa d5e1ff38f4 new interface to access globals. They are not in a file called GLOBALS, from which 
we generate several files automatically.
 2010-03-21 22:12:42 +00:00
Vitor Santos Costa e440953256 use IsAttVar 2010-03-08 09:19:57 +00:00
Vitor Santos Costa 8b18242138 fix missing ; (obs from Paulo Moura). 2010-03-01 00:06:45 +00:00
Vitor Santos Costa 16a9c8a807 SWI-compatible source_file/1 and 2 2010-02-28 22:24:51 +00:00
Vítor Manuel de Morais Santos Costa 4d341f2aab fix bad call to gc (obs from Jose Santos). 2010-01-29 15:21:00 +00:00
Vítor Manuel de Morais Santos Costa 89e38cbcc0 or_last is different under yapor. 2010-01-15 16:15:36 +00:00
Vitor Santos Costa c6406b822b prolog: multifiles are not really system predicates (they can be redefined). 2009-11-23 10:10:47 +00:00
Vítor Manuel de Morais Santos Costa 71de4ed52a Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2009-11-18 13:13:51 +00:00
Vítor Manuel de Morais Santos Costa c108ac508d check for callable before looking at predicate terms... 2009-11-18 13:13:16 +00:00
Vitor Santos Costa c51c17aa52 make sure to get valid terms in meta_call, not references. 2009-11-17 00:23:34 +00:00
Vitor Santos Costa a628079e00 make sure we walk every clause when doing restore mega_clause. 2009-11-02 12:46:39 +00:00
Vitor Santos Costa 0ea348c26d extend SWI interface with PL_toplevel and to handle C++ code. 
prolog/0 built-in
fixes to parms.h changes.
 2009-10-23 16:50:43 +01:00
Vitor Santos Costa 0179998d60 change Heap.h to YapHeap.h 
rename $live to prolog/0 (for SWI compatibility).
 2009-10-23 14:22:17 +01:00
Costa Vitor 32122f4171 make sure we have enough room when splitting mega clause. 2009-09-12 16:43:44 -05:00
Costa Vitor f877e78785 make YAP compile with --enable-or-parallelism 2009-08-19 21:53:49 -05:00
Costa Vitor 40ea33c150 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2009-08-12 10:01:34 -05:00