Vitor Santos Costa
|
5e915955e3
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2012-05-21 17:25:38 +01:00 |
|
Vitor Santos Costa
|
9e3d16022a
|
fix YAP_AttOfVar
beautify get atts
|
2012-05-21 17:24:40 +01:00 |
|
Ricardo Rocha
|
02447ac372
|
minor fixes
|
2012-05-21 15:55:14 +01:00 |
|
Vitor Santos Costa
|
f261a3fd2f
|
fix writing att vars.
|
2012-05-18 13:03:22 +01:00 |
|
Vítor Santos Costa
|
d68ef3f5a1
|
fix empty tries.
|
2012-05-17 09:56:49 +01:00 |
|
Vitor Santos Costa
|
06cd0c7414
|
fix overflow handling.
|
2012-05-15 16:03:41 +01:00 |
|
Vítor Santos Costa
|
5c459a1201
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2012-05-14 22:44:34 +01:00 |
|
Vítor Santos Costa
|
448bc7e7de
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-05-14 22:42:42 +01:00 |
|
Ricardo Rocha
|
1dcc8bd393
|
adptation of the memory allocator based on pages to work with threads
|
2012-05-14 19:11:58 +01:00 |
|
Vitor Santos Costa
|
10d5a38e92
|
fix compilation under threads.
|
2012-05-14 18:05:16 +01:00 |
|
Vitor Santos Costa
|
f3f9c75cf7
|
oops :
|
2012-05-14 16:22:53 +01:00 |
|
Vitor Santos Costa
|
6c36a8ccd3
|
make it easier for outside packages to link with YAP innards.
|
2012-05-14 15:06:18 +01:00 |
|
Vitor Santos Costa
|
682db0aad4
|
support term_subsumer.
|
2012-05-14 15:04:19 +01:00 |
|
Vitor Santos Costa
|
b36e607cb4
|
protect heapgc.c
|
2012-05-13 15:58:28 +01:00 |
|
Vítor Santos Costa
|
b985ea2fbc
|
fix bug in stack overflow.
|
2012-05-13 10:17:30 +01:00 |
|
Vitor Santos Costa
|
a05bad3bf0
|
fix bad offset in export_term.
|
2012-05-08 17:04:28 +01:00 |
|
Vitor Santos Costa
|
2423407b37
|
fix bug in detecting tabling on (Paulo Moura).
|
2012-05-08 14:55:37 +01:00 |
|
Vitor Santos Costa
|
916ca678ba
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-05-08 12:58:13 +01:00 |
|
Vitor Santos Costa
|
681d4e78a2
|
ifix C++ complaint.
|
2012-05-08 12:57:32 +01:00 |
|
Vitor Santos Costa
|
7488ef0539
|
ifix bug in checking for free space.
|
2012-05-08 12:55:34 +01:00 |
|
Vítor Santos Costa
|
63616b94a7
|
fix bad init of unsafe asm pred.
|
2012-05-07 06:53:27 +01:00 |
|
Vitor Santos Costa
|
4945e390f1
|
detect C++ flags and compile horus accordingly
|
2012-05-03 15:40:33 +01:00 |
|
Vítor Santos Costa
|
e1f6187395
|
make syntax error standard.
|
2012-05-03 00:16:11 +01:00 |
|
Vítor Santos Costa
|
c3e3b0b50f
|
fix term_to_atom/2.
|
2012-05-02 23:38:04 +01:00 |
|
Vítor Santos Costa
|
9b0b6ec649
|
fix stop_low_level_trace.
P Moura request for (?).
|
2012-05-02 10:09:26 +01:00 |
|
Vítor Santos Costa
|
0efe86f3ba
|
fix bad fix on modules, hope this one works.
|
2012-04-30 15:35:17 +01:00 |
|
Vítor Santos Costa
|
2bfc88db98
|
fix module dereferencing.
|
2012-04-27 16:30:23 +01:00 |
|
Vítor Santos Costa
|
067d6d3f4f
|
fix problog experiment.
|
2012-04-27 16:30:02 +01:00 |
|
Vítor Santos Costa
|
5ee39c6f08
|
back to original version.
|
2012-04-27 16:20:40 +01:00 |
|
Vítor Santos Costa
|
9e36576951
|
fix implicit import
|
2012-04-27 15:52:03 +01:00 |
|
Vítor Santos Costa
|
6bb4db125d
|
fix names.
|
2012-04-27 15:33:32 +01:00 |
|
Vítor Santos Costa
|
60184e230d
|
new lbdd stuff.
|
2012-04-27 15:32:57 +01:00 |
|
Vítor Santos Costa
|
ceb0c1f5ac
|
new support file.
|
2012-04-27 15:32:17 +01:00 |
|
Vítor Santos Costa
|
823066f9da
|
use library for learning.
|
2012-04-27 15:30:39 +01:00 |
|
Vítor Santos Costa
|
fd4bf21ece
|
fix file names.
|
2012-04-27 15:26:44 +01:00 |
|
Vítor Santos Costa
|
fd755f0b7e
|
allow ProbLog to use lbdd.
|
2012-04-26 13:52:09 +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
|
5b443bdc46
|
fix marking of dead mega clauses */
|
2012-04-23 23:24:35 +01:00 |
|
Ricardo Rocha
|
cd5e1211c5
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2012-04-23 18:57:14 +01:00 |
|
Ricardo Rocha
|
42631bcc71
|
missing cache regs
|
2012-04-23 18:57:10 +01:00 |
|
Vítor Santos Costa
|
d7c7ef1c01
|
ifix signdeness stuff.
|
2012-04-23 17:26:49 +01:00 |
|
Vítor Santos Costa
|
fe82747031
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2012-04-23 15:51:05 +01:00 |
|
Vítor Santos Costa
|
24d09ffde5
|
fix trailing issues in numbervars.
|
2012-04-23 15:50:01 +01:00 |
|
Ricardo Rocha
|
a6ff7528d1
|
missing variable declaration
|
2012-04-23 15:39:49 +01:00 |
|
Vitor Santos Costa
|
f24bf2e2cd
|
full school
|
2012-04-23 07:13:58 -05:00 |
|
Vitor Santos Costa
|
32a905bc8b
|
ddnnf support
|
2012-04-23 07:13:25 -05:00 |
|
Vitor Santos Costa
|
040c1c7fa7
|
more ddnnf stuff
|
2012-04-23 07:13:01 -05:00 |
|
Vítor Santos Costa
|
a9434aed37
|
more gc changes.
|
2012-04-20 23:45:16 +02:00 |
|
Vitor Santos Costa
|
3aee05ae9e
|
Merge branch 'master' of /home/vitor/yap-6.3
|
2012-04-20 16:44:27 -05:00 |
|
Vitor Santos Costa
|
22f702f8e4
|
ddnnfs.
|
2012-04-20 16:43:30 -05:00 |
|