Tiago Gomes
|
05b3daf5bb
|
trivial fix
|
2012-06-14 12:19:51 +01:00 |
|
Tiago Gomes
|
384c108e62
|
fix joint calculation with lifted bp
|
2012-06-14 11:57:00 +01:00 |
|
Tiago Gomes
|
0e83a75b60
|
improve calculation of joint dist in counting bp
|
2012-06-13 12:47:41 +01:00 |
|
Tiago Gomes
|
b43e3316b3
|
forgot destructor
|
2012-06-13 12:17:49 +01:00 |
|
Tiago Gomes
|
89725dffbb
|
rename some enums
|
2012-06-12 21:27:17 +01:00 |
|
Tiago Gomes
|
af11dbb445
|
reorder entries in the Makefile and drop some objects not required to build hcli
|
2012-06-12 16:55:32 +01:00 |
|
Tiago Gomes
|
d4f63b3942
|
drop Solver suffix and rename some files and classes
|
2012-06-12 16:29:57 +01:00 |
|
Vitor Santos Costa
|
a997f5647c
|
fix save & restore in 6.3.
|
2012-06-12 14:50:36 +01:00 |
|
Vitor Santos Costa
|
7db18d5ce2
|
fix bad use of current_predicate.
|
2012-06-12 14:50:07 +01:00 |
|
Vitor Santos Costa
|
7ce65dcfa3
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-06-11 22:11:57 +01:00 |
|
Vitor Santos Costa
|
f6de18cb09
|
6.2 fix to load_foreign atom.
|
2012-06-11 22:11:30 +01:00 |
|
Vítor Santos Costa
|
34679fc774
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2012-06-11 09:23:52 +01:00 |
|
Vítor Santos Costa
|
3458efd335
|
saved state fixes.
|
2012-06-11 09:22:53 +01:00 |
|
Vitor Santos Costa
|
c6ececc21a
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2012-06-08 14:18:16 +01:00 |
|
Tiago Gomes
|
919116763f
|
add a run all tests script
|
2012-06-08 14:11:54 +01:00 |
|
Tiago Gomes
|
4cc869a164
|
update scripts
|
2012-06-08 14:11:11 +01:00 |
|
Tiago Gomes
|
f8e714dcc3
|
add social domain benchmark with evidence
|
2012-06-08 14:08:14 +01:00 |
|
Tiago Gomes
|
51c279d24c
|
increase the cost of the grounding operator
|
2012-06-08 13:35:00 +01:00 |
|
Vítor Santos Costa
|
e55d143e8d
|
fix extra CP.
|
2012-06-08 13:26:11 +01:00 |
|
Vitor Santos Costa
|
58c3445d82
|
win console.
|
2012-06-08 06:55:23 -05:00 |
|
Vitor Santos Costa
|
31b8cb6440
|
windows support.
|
2012-06-08 06:54:03 -05:00 |
|
Vitor Santos Costa
|
6566445b06
|
windows stuff.
|
2012-06-08 06:52:48 -05:00 |
|
Vitor Santos Costa
|
ca9c748692
|
make win crash on interrupt, for now
|
2012-06-08 06:52:21 -05:00 |
|
Vitor Santos Costa
|
dba0a81b1c
|
fix cudd finder.
|
2012-06-07 10:30:08 -05:00 |
|
Vitor Santos Costa
|
71bd1d9d1f
|
fix missing cygwin header:w::wq
|
2012-06-07 10:29:17 -05:00 |
|
Vitor Santos Costa
|
2f434ff48b
|
complain if we have no valid float configureation.
|
2012-06-07 10:28:30 -05:00 |
|
U-WIN-UA9ACS5GS9N\vitor
|
76d7a1d5e5
|
don't trust that X+200 is > X
|
2012-06-07 10:27:33 -05:00 |
|
Ricardo Rocha
|
f0c0913490
|
fix multithreading with mode-directed tabling
|
2012-06-06 15:19:38 +01:00 |
|
Tiago Gomes
|
5785260644
|
fix warning
|
2012-06-06 15:04:28 +01:00 |
|
Vítor Santos Costa
|
3a212944fb
|
fix bad compare in checking pt
|
2012-06-06 00:09:14 +01:00 |
|
Tiago Gomes
|
111de4c86a
|
Merge branch 'master' of github.com:tacgomes/yap6.3
|
2012-06-05 15:33:49 +01:00 |
|
Tiago Gomes
|
568bb27a66
|
forgot this
|
2012-06-05 15:33:24 +01:00 |
|
Tiago Gomes
|
6cd33f92c2
|
Merge branch 'master' of github.com:tacgomes/yap6.3
|
2012-06-05 15:25:16 +01:00 |
|
Tiago Gomes
|
2cf6a2a33d
|
add benchmark tests for lbp
|
2012-06-05 15:23:41 +01:00 |
|
Vítor Santos Costa
|
c4bd913e34
|
fix stupid indesing of very long terms.
|
2012-06-05 08:04:22 +01:00 |
|
Vítor Santos Costa
|
d1d01ddc2a
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2012-06-05 00:13:22 +01:00 |
|
Vítor Santos Costa
|
47a4b902e0
|
fix stupid indexing on sub-terms.;
|
2012-06-05 00:12:13 +01:00 |
|
Ricardo Rocha
|
7e667c1038
|
fix multithreading with mode-directed tabling
|
2012-06-04 19:47:45 +01:00 |
|
Ricardo Rocha
|
d540354c30
|
adding sum mode operator + fix multithreading compatibility
|
2012-06-04 19:27:31 +01:00 |
|
Vitor Santos Costa
|
67d52d3560
|
fix depth calculation.
|
2012-06-04 18:21:34 +01:00 |
|
Vitor Santos Costa
|
3669cb894f
|
Merge branch 'master' of https://github.com/tacgomes/yap6.3
Conflicts:
packages/CLPBN/clpbn/horus.yap
|
2012-06-04 16:29:56 +01:00 |
|
Tiago Gomes
|
31fde92a36
|
Merge branch 'master' of github.com:tacgomes/yap6.3
|
2012-06-04 14:57:42 +01:00 |
|
Tiago Gomes
|
eec4b1452b
|
print all lifted bp flags
|
2012-06-01 19:31:07 +01:00 |
|
Tiago Gomes
|
8fa8fff9f1
|
minor improvements
|
2012-06-01 19:29:57 +01:00 |
|
Tiago Gomes
|
25ccfa2f54
|
only allow joint dists on cliques
|
2012-06-01 19:29:23 +01:00 |
|
Vitor Santos Costa
|
1fbd5c268b
|
extend WorkSpace
|
2012-06-01 16:39:06 +01:00 |
|
Tiago Gomes
|
4708685ed4
|
fix bug in Factor::contains
|
2012-06-01 14:03:39 +01:00 |
|
Vitor Santos Costa
|
71a62307f4
|
CLP(BN) stuff.
|
2012-06-01 13:17:39 +01:00 |
|
Vitor Santos Costa
|
39f392be9c
|
allow finer control over indexing sub-terms.
improve flag code a bit.
|
2012-06-01 13:16:29 +01:00 |
|
Tiago Gomes
|
ecde9649a8
|
fix header guard
|
2012-06-01 12:35:44 +01:00 |
|