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

333 Commits

Author SHA1 Message Date
Vítor Santos Costa
48ea1f5ec5 exo clause support 2013-01-14 09:48:05 +00:00
Vitor Santos Costa
f83379648c fix use of exo preds. 2013-01-11 16:45:14 +00:00
Vitor Santos Costa
2e6360738c itry to use size_t 
fix overflow handling bugs.
 2012-12-14 19:35:26 +00:00
Vitor Santos Costa
556937195d avoid meta-call in system; improve goal/pred expansion 2012-12-07 08:08:32 +00:00
Vítor Santos Costa
2607e59a16 add stash_predicate and fix hide_predicate. 2012-11-25 23:36:43 +00:00
Vítor Santos Costa
f74164c642 correct support for goal expansion (bug report from Paulo Moura) 2012-11-07 13:49:54 +00:00
Vítor Santos Costa
3b44ed0660 fix warning 2012-11-02 22:35:51 +00:00
Vitor Santos Costa
88f2dc7730 change the way predicates are hidden 2012-10-19 18:10:48 +01:00
Vitor Santos Costa
c64d22311d call UDI at abolish. 2012-06-21 16:47:19 +01:00
Vítor Santos Costa
c3eb3db4ed call gc if we set dead mega clauses. 2012-04-23 23:28:41 +01:00
Vítor Santos Costa
c08178a57c fix thread compilation. 2012-04-11 22:08:02 +01:00
Vítor Santos Costa
36acb5f897 fix profiling support. 2012-03-09 11:46:34 +00:00
Ricardo Rocha
3218e922ce Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 2012-01-03 16:28:36 +00:00
Vítor Santos Costa
5d3d20f723 ifix warning. 2011-12-30 16:02:59 +00:00
Ricardo Rocha
c594d321ef Miguel's support for multi-threaded tabling 2011-12-22 16:50:20 +00:00
Ricardo Rocha
d063989dff add tabled pred flag to undefined built-in 2011-11-09 10:24:39 +00:00
Vitor Santos Costa
045df7d7d6 MultiFiles should initialize as FAIL. 2011-09-07 23:35:11 +02:00
Vitor Santos Costa
bf54802c49 go back to model where multifile cannot be in module 0. 2011-09-07 22:04:42 +02:00
Vitor Santos Costa
db0a7771ba fix multi-file preds defined in Prolog mode to be actuall defined in that mode. 2011-09-07 08:02:54 +02:00
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