Ricardo Rocha
|
73d210c991
|
reducing the number of macros for error checking in the OPTYap files
|
2010-04-18 04:59:11 +01:00 |
|
Vítor Santos Costa II
|
8efec0b26e
|
put ThOr back in shape.
|
2010-04-09 11:56:07 +01:00 |
|
Ricardo Rocha
|
52a2b49263
|
new support for the common global trie (version GT-ST: global trie for subterms)
|
2010-04-03 05:58:14 +01:00 |
|
Ricardo Rocha
|
ee0022bb47
|
checking for frozen segments in the trail stack in now done using the
macro IN_BETWEEN(Yap_TrailBase, ref, Yap_TrailTop)
|
2010-03-12 20:02:32 +00:00 |
|
Vitor Santos Costa
|
0e85839517
|
remove debugging info.
|
2010-02-10 09:21:04 +00:00 |
|
Vitor Santos Costa
|
9c85f67eee
|
fix one more CP field to offset.
|
2010-02-02 23:42:15 +00:00 |
|
Vítor Manuel de Morais Santos Costa
|
9d1f0cd361
|
incremental copying with or-threads.
|
2010-02-01 20:05:01 +00:00 |
|
Vitor Santos Costa
|
995e8f6dc7
|
fix cut handling with threads
do not compile or.threadengine unless yapor on.
|
2010-01-27 11:01:28 +00:00 |
|
Vitor Santos Costa
|
44a418bd04
|
small orp fixes.
|
2010-01-15 12:04:01 +00:00 |
|
Vítor Manuel de Morais Santos Costa
|
a498dc1265
|
icompile table+orp
|
2010-01-14 17:38:39 +00:00 |
|
Vítor Manuel de Morais Santos Costa
|
5ef31fbfd2
|
experiment in or-parallel threads.
|
2010-01-14 15:58:19 +00:00 |
|