diogo
/
yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
5,536 Commits 2 Branches 6 Tags 145 MiB
Commit Graph

5536 Commits

Author SHA1 Message Date
Vítor Santos Costa 683377b520 buffer output when exiting absmi. 2012-04-12 23:52:25 +01:00
Vítor Santos Costa af7510a67b fix handling of repeated calls to YAP_Init. 2012-04-12 23:25:04 +01:00
Vítor Santos Costa 5a8cc421d2 small pfl fixes. 2012-04-12 18:11:29 +01:00
Vítor Santos Costa c5f42cd7eb more pfl changes. 2012-04-12 17:24:39 +01:00
Vítor Santos Costa 8c2dd1f847 fix bad call for parameters. 2012-04-12 17:17:21 +01:00
Vítor Santos Costa 28ce2da3dc Merge branch 'master' of https://github.com/tacgomes/yap6.3 2012-04-12 17:07:19 +01:00
Tiago Gomes 9def6c2b15 tempary hack to fix cbp and clean in benchs.sh 2012-04-12 00:42:55 +01:00
Tiago Gomes 564958ef8d improvements on benchmarkings 2012-04-11 23:48:59 +01:00
Vítor Santos Costa 27dc66a5f4 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-04-11 22:09:15 +01:00
Vítor Santos Costa c08178a57c fix thread compilation. 2012-04-11 22:08:02 +01:00
Tiago Gomes 03013960d3 refactor the city benchmarks and introduce set_solver/1 2012-04-11 19:15:52 +01:00
Tiago Gomes f2fbbf29d8 rework the examples and erase the city network in the old format 2012-04-11 15:36:50 +01:00
Tiago Gomes 8697fcd2b4 refactorings 2012-04-10 20:43:08 +01:00
Tiago Gomes 78e86a6330 refactor ground solver interface 2012-04-10 15:00:18 +01:00
Tiago Gomes 46e6a10625 convert city dataset to new format 2012-04-10 12:56:14 +01:00
Tiago Gomes b52dc99914 refactorings 2012-04-10 12:53:52 +01:00
Tiago Gomes aa1b2e40ea some renamings 2012-04-10 11:51:56 +01:00
Tiago Gomes 6986e8c0d7 Improvements 
Factor nodes now contain a factor object instead of a pointer. Refactor the way .fg and .uai formats are readed.
 2012-04-09 15:40:51 +01:00
Tiago Gomes f1d52c0389 add missing files 2012-04-05 23:04:27 +01:00
Tiago Gomes d1b25f0864 renamings and delete bn_bp stuff 2012-04-05 23:00:48 +01:00
Vítor Santos Costa 7085008193 fix compilation without gmp. 2012-04-05 20:50:27 +01:00
Tiago Gomes b28ee8fb3a drop bayesian network representation 2012-04-05 20:08:54 +01:00
Tiago Gomes abb0410d07 drop suport for Pearl belief propagation 2012-04-05 19:34:37 +01:00
Tiago Gomes 0d23591058 Add support to markov networks 2012-04-05 18:38:56 +01:00
Vítor Santos Costa bc2364c5dc small fixes 2012-04-04 08:29:20 +01:00
Tiago Gomes 6c3add2ebd first steps in adapting horus ground solvers to pfl 2012-04-03 19:53:27 +01:00
Vítor Santos Costa 2bdec8f725 more PFL fixes. 2012-04-03 17:12:58 +01:00
Vítor Santos Costa 9ab7ab0a5e fix possible error in modules. 2012-04-03 16:24:14 +01:00
Vítor Santos Costa 14d142aa10 new example. 2012-04-03 16:23:26 +01:00
Vítor Santos Costa 65e0c3b2a2 more PFL changes. 2012-04-03 16:22:40 +01:00
Vítor Santos Costa 6ccd458ea5 Merge branch 'master' of https://github.com/tacgomes/yap6.3 
Conflicts:
	packages/CLPBN/clpbn/bp.yap
	packages/CLPBN/clpbn/fove.yap
	packages/CLPBN/clpbn/horus.yap
 2012-04-03 15:07:22 +01:00
Vítor Santos Costa 44cb6abcb6 PFL support. 2012-04-03 15:01:35 +01:00
Vítor Santos Costa e130c26c6d improve bdd support. 2012-04-03 15:01:14 +01:00
Vítor Santos Costa 3d216cf9db iextend bdd support. 2012-04-03 15:00:22 +01:00
Tiago Gomes 911b241ad6 fix align of logical variables 2012-04-03 11:58:21 +01:00
Tiago Gomes fd8980642b another test 2012-04-01 00:23:03 +01:00
tgomes c6128c51e8 this is a test 2012-03-31 23:59:05 +01:00
Tiago Gomes e9cc1a8be2 remove unnecessary files 2012-03-31 23:44:08 +01:00
Tiago Gomes 313f9a036a yay, my first commit 2012-03-31 23:27:37 +01:00
Vítor Santos Costa 88411f4b40 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2012-03-30 09:50:41 +01:00
Vítor Santos Costa 3563dcbf03 control for very large bdds. 2012-03-30 09:50:18 +01:00
Vítor Santos Costa edfb13c5e9 allow users to check for out of space conditions explicitly. 2012-03-30 09:49:36 +01:00
Vítor Santos Costa f8972365f8 fix phrase/3 2012-03-29 22:32:56 +01:00
tgomes 24b466db4e new version. 2012-03-29 12:24:29 +01:00
Vítor Santos Costa 32167b5465 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-03-28 17:55:06 +01:00
Vítor Santos Costa 7d3d9bcf41 fix module stuff. 2012-03-28 14:35:09 +01:00
Vítor Santos Costa 0a9076bf4a bdd 2012-03-28 10:59:26 +01:00
Vítor Santos Costa d149d041a3 hack around phrase 2012-03-28 10:58:53 +01:00
Vítor Santos Costa d3fd980474 another try at improving output of operators. 2012-03-27 16:44:11 +01:00
Vítor Santos Costa 9c685e71a7 fix - -2. 2012-03-27 15:19:07 +01:00