Commit Graph

6218 Commits

Author SHA1 Message Date
Vitor Santos Costa
f329b5f06b fix compilation without threads 2012-12-14 22:54:00 +00:00
Vitor Santos Costa
e648d197a8 fix worker_id assignment in threads 2012-12-14 19:58:07 +00:00
Vitor Santos Costa
a1db3dba0b document load_db 2012-12-14 19:38:09 +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
84b0529060 improve prism compatibility (fix asia). 2012-12-14 08:26:56 +00:00
Vitor Santos Costa
524edecdd3 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2012-12-13 23:08:00 +00:00
Vitor Santos Costa
9107af2e3d improve thread startup 2012-12-13 18:12:50 +00:00
Vitor Santos Costa
c4448d066a allow backtracking over possible values of constraints.a 2012-12-13 15:53:01 +00:00
Tiago Gomes
8b996c5dc9 Lkc: show that we exported the circuit to graphviz when debugging 2012-12-13 14:21:16 +00:00
Tiago Gomes
48413deae7 Ops: deleted this by accident in the previous commit 2012-12-13 14:08:16 +00:00
Tiago Gomes
dd8a92aaf3 Merge with upstream code 2012-12-13 12:55:55 +00:00
Tiago Gomes
11e688ffd7 Lkc: use utility function 2012-12-12 21:19:22 +00:00
Tiago Gomes
f2173d001e Lkc: fix bug when adding weights 2012-12-12 21:16:36 +00:00
Tiago Gomes
c7588c9361 Trivial 2012-12-12 17:03:11 +00:00
Tiago Gomes
4683d30d8e Trivial 2012-12-12 17:01:30 +00:00
Tiago Gomes
39bf95fe2b trivial 2012-12-12 16:28:18 +00:00
Tiago Gomes
8eb657aec2 Change extension of school parschema to pfl 2012-12-12 16:00:21 +00:00
Tiago Gomes
0f46c97481 Trivial 2012-12-12 15:47:09 +00:00
Tiago Gomes
e66ff6777c Be consistent: constraint is always on top 2012-12-12 15:41:41 +00:00
Tiago Gomes
66cd58655b Place the debug_school predicate into a different file 2012-12-12 15:36:38 +00:00
Tiago Gomes
01dfc5e2be Change extension of school_params
school_params does not define any pfl network, so it shouldn't have pfl as the extension
2012-12-12 15:26:49 +00:00
Tiago Gomes
108e310a0f Rework the learning examples 2012-12-12 15:16:30 +00:00
Tiago Gomes
f128b6de7a school_32 should use clp(bn) 2012-12-12 00:27:32 +00:00
Tiago Gomes
27a235f65b Remove text explaning pfl.
The text is badly written and explanaing pfl shouldn't be in *.pfl files, but rather in paper or README file
2012-12-11 23:36:10 +00:00
Tiago Gomes
4310e42562 rework examples 2012-12-11 23:06:09 +00:00
Vitor Santos Costa
547ba48f9f fix CUT_C=1 not being exported to sub-makefiles. 2012-12-11 23:02:05 +00:00
Vitor Santos Costa
eb63cf748c small sequential fixes 2012-12-11 22:15:02 +00:00
Vitor Santos Costa
63a5daa295 read only flag to emulate debug_on_exception SWI flag. 2012-12-11 22:07:44 +00:00
Vitor Santos Costa
e41f821d67 improve multi-threading support from C-interface. Still not quite there. 2012-12-11 22:07:10 +00:00
Tiago Gomes
ccba2d4177 update Makefile to reflect the change of extension to .pfl 2012-12-11 21:02:26 +00:00
Tiago Gomes
1641d1fa30 Remove files that souldn't be in the repository 2012-12-11 16:22:38 +00:00
Tiago Gomes
47bc8f22fc Examples: sprinker was converted from clpbn to pfl 2012-12-11 16:20:55 +00:00
Tiago Gomes
d8a7b7aad6 Examples: change extension to pfl 2012-12-11 16:19:59 +00:00
Tiago Gomes
a59c152962 Lkc: Fix smoothing in atom counting nodes 2012-12-11 16:02:48 +00:00
Tiago Gomes
bb68afe91d Fix an error caused by a temporary being out of scope 2012-12-11 15:52:20 +00:00
Tiago Gomes
1d732594e2 smooth circuit
Smooth the circuit independent of the verbosity level, but don't smooth it when the compilation has fail.
2012-12-10 19:39:09 +00:00
Tiago Gomes
8371e395dd fix typo 2012-12-10 19:37:41 +00:00
Tiago Gomes
a25f4584c8 support printing LitLvTypes objects 2012-12-10 18:48:54 +00:00
Vitor Santos Costa
ac74c9e3de remove debugging messages. 2012-12-10 14:28:04 +00:00
Vitor Santos Costa
87e811028c ifix indenting 2012-12-10 12:48:02 +00:00
Vitor Santos Costa
7b579b810f fix printing of opaque terms. 2012-12-10 12:47:01 +00:00
Vitor Santos Costa
b34c8b1b2c try to improve slot allocation. 2012-12-10 12:14:24 +00:00
Vitor Santos Costa
9e63e83f1f worker_id may not be initialised if we start from C-level. 2012-12-10 12:13:31 +00:00
Vitor Santos Costa
62aa6df644 fix bad register initialization. 2012-12-10 12:12:54 +00:00
Tiago Gomes
9c8827c309 always copy clauses for backup 2012-12-09 22:57:39 +00:00
Tiago Gomes
90736156ae some clean ups 2012-12-09 22:13:58 +00:00
Tiago Gomes
e46d2177b7 rework a bit the test infrastructure for lkc 2012-12-09 22:04:33 +00:00
Tiago Gomes
907144db32 don't use a stack for atom counting operator 2012-12-09 19:46:14 +00:00
Tiago Gomes
57a31c2c36 fix showing the weights on edge labels when there is a SetOrNode ancestor 2012-12-09 17:33:36 +00:00
Tiago Gomes
59f653aabd move implementation of copyClauses to another file 2012-12-08 19:32:19 +00:00