Vítor Santos Costa
|
01749939fa
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2012-05-22 16:22:06 +01:00 |
|
Vítor Santos Costa
|
95a33cd56d
|
remove error message.
|
2012-05-22 16:20:56 +01:00 |
|
Ricardo Rocha
|
5b074e894a
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2012-05-22 14:47:52 +01:00 |
|
Ricardo Rocha
|
26e6281bb7
|
fix PgEnt_strs_in_use counter
|
2012-05-22 14:47:47 +01:00 |
|
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 |
|
Tiago Gomes
|
16cb48fea4
|
decrease the time required to find an elimination order
|
2012-05-17 17:29:31 +01:00 |
|
Vítor Santos Costa
|
d68ef3f5a1
|
fix empty tries.
|
2012-05-17 09:56:49 +01:00 |
|
Tiago Gomes
|
cf9a7f1413
|
show the maximum memory used in the benchmarks
|
2012-05-16 12:31:58 +01:00 |
|
Tiago Gomes
|
5934d9efe9
|
update TODO
|
2012-05-16 00:44:59 +01:00 |
|
Tiago Gomes
|
23b180b6f0
|
merge TinySet and SortedVector classes
|
2012-05-16 00:41:01 +01:00 |
|
Tiago Gomes
|
354071c261
|
update scripts
|
2012-05-15 20:14:13 +01:00 |
|
Tiago Gomes
|
f7ba86d3ed
|
kill Util::abort, s/vectorIndex/indexOf and s/isCarteesianProduct/isCartesianProduct
|
2012-05-15 19:41:14 +01:00 |
|
Tiago Gomes
|
db0d2c9772
|
refactor and increase the scope of parfactor multiplication
|
2012-05-15 19:05:39 +01:00 |
|
Tiago Gomes
|
f4bca3ceea
|
factor overflow will not happen with bp
|
2012-05-15 19:02:40 +01:00 |
|
Tiago Gomes
|
7ec4887e77
|
refactor printing of a parfactor
|
2012-05-15 16:57:50 +01:00 |
|
Tiago Gomes
|
346b70145f
|
improvements on shattering
|
2012-05-15 16:52:21 +01:00 |
|
Tiago Gomes
|
90e139f8f3
|
refactor ProbFormula comparation operator
|
2012-05-15 16:49:34 +01:00 |
|
Tiago Gomes
|
03f9df7dc3
|
fix a bug when checking of a set of log vars form a cartesian product
|
2012-05-15 16:46:21 +01:00 |
|
Tiago Gomes
|
1380adcfb5
|
support getting tuples of repeated log vars
|
2012-05-15 16:45:24 +01:00 |
|
Tiago Gomes
|
2061eefda2
|
add a way to copy a log var
|
2012-05-15 16:43:32 +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 |
|
Tiago Gomes
|
4ade4945a0
|
improve Util::abort
|
2012-05-07 17:52:47 +01:00 |
|
Tiago Gomes
|
aeb07d43a7
|
add two more utility functions
|
2012-05-07 17:48:15 +01:00 |
|
Vítor Santos Costa
|
63616b94a7
|
fix bad init of unsafe asm pred.
|
2012-05-07 06:53:27 +01:00 |
|
Tiago Gomes
|
9d5801ef7f
|
ony summout a group of rand vars if they not appear in another position on the parfactor
|
2012-05-05 23:11:32 +01:00 |
|
Tiago Gomes
|
8e75ef3073
|
shatter parfactors also against themselves
|
2012-05-05 21:06:27 +01:00 |
|
Tiago Gomes
|
660e15e2ac
|
update the overflow check in factors, still needs more work tbd
|
2012-05-04 14:28:07 +01:00 |
|
Tiago Gomes
|
0e01a51929
|
remove commented code and fix a warning
|
2012-05-04 14:10:00 +01:00 |
|
Vitor Santos Costa
|
4945e390f1
|
detect C++ flags and compile horus accordingly
|
2012-05-03 15:40:33 +01:00 |
|
Tiago Gomes
|
35d0804f9a
|
update TODO
|
2012-05-03 13:15:33 +01:00 |
|
Tiago Gomes
|
10ac7720f7
|
update smokers examples
|
2012-05-03 11:38:49 +01:00 |
|
Tiago Gomes
|
2bef3f6866
|
minor updates
|
2012-05-03 00:56:19 +01:00 |
|
Vítor Santos Costa
|
e1f6187395
|
make syntax error standard.
|
2012-05-03 00:16:11 +01:00 |
|