diff --git a/.gitmodules b/.gitmodules index 345ae0499..9dbfedbc0 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,12 +1,12 @@ [submodule "packages/chr"] path = packages/chr - url = git://yap.dcc.fc.up.pt/chr + url = git://yap.git.sourceforge.net/gitroot/yap/chr [submodule "packages/clpqr"] path = packages/clpqr - url = git://yap.dcc.fc.up.pt/clpqr + url = git://yap.git.sourceforge.net/gitroot/yap/clpqr [submodule "packages/jpl"] path = packages/jpl - url = git://yap.dcc.fc.up.pt/jpl + url = git://yap.git.sourceforge.net/gitroot/yap/jpl [submodule "packages/zlib"] path = packages/zlib url = git://yap.git.sourceforge.net/gitroot/yap/zlib diff --git a/C/scanner.c b/C/scanner.c index 064ba49f5..4ed7b9616 100755 --- a/C/scanner.c +++ b/C/scanner.c @@ -774,7 +774,7 @@ Yap_scan_num(IOSTREAM *inp) static void -open_comment(int ch, IOSTREAM *inp_stream) { +open_comment(int ch, IOSTREAM *inp_stream USES_REGS) { CELL *h0 = H; H += 5; h0[0] = AbsAppl(h0+2); @@ -799,7 +799,7 @@ open_comment(int ch, IOSTREAM *inp_stream) { } static void -extend_comment(int ch) { +extend_comment(int ch USES_REGS) { LOCAL_CommentsBuff[LOCAL_CommentsBuffPos] = ch; LOCAL_CommentsBuffPos++; if (LOCAL_CommentsBuffPos == LOCAL_CommentsBuffLim-1) { @@ -809,7 +809,7 @@ extend_comment(int ch) { } static void -close_comment(void) { +close_comment( USES_REGS1 ) { LOCAL_CommentsBuff[LOCAL_CommentsBuffPos] = '\0'; *LOCAL_CommentsNextChar = Yap_MkBlobWideStringTerm(LOCAL_CommentsBuff, LOCAL_CommentsBuffPos); free(LOCAL_CommentsBuff); @@ -903,22 +903,22 @@ Yap_tokenizer(IOSTREAM *inp_stream, int store_comments, Term *tposp) case CC: if (store_comments) { CHECK_SPACE(); - open_comment(ch, inp_stream); + open_comment(ch, inp_stream PASS_REGS); continue_comment: while ((ch = getchr(inp_stream)) != 10 && chtype(ch) != EF) { CHECK_SPACE(); - extend_comment(ch); + extend_comment(ch PASS_REGS); } CHECK_SPACE(); - extend_comment(ch); + extend_comment(ch PASS_REGS); if (chtype(ch) != EF) { ch = getchr(inp_stream); if (chtype(ch) == CC) { - extend_comment(ch); + extend_comment(ch PASS_REGS); goto continue_comment; } } - close_comment(); + close_comment( PASS_REGS1 ); } else { while ((ch = getchr(inp_stream)) != 10 && chtype(ch) != EF); } @@ -1218,18 +1218,18 @@ Yap_tokenizer(IOSTREAM *inp_stream, int store_comments, Term *tposp) if (och == '/' && ch == '*') { if (store_comments) { CHECK_SPACE(); - open_comment('/', inp_stream); + open_comment('/', inp_stream PASS_REGS); while ((och != '*' || ch != '/') && chtype(ch) != EF) { och = ch; CHECK_SPACE(); - extend_comment(ch); + extend_comment(ch PASS_REGS); ch = getchr(inp_stream); } if (chtype(ch) != EF) { CHECK_SPACE(); - extend_comment(ch); + extend_comment(ch PASS_REGS); } - close_comment(); + close_comment( PASS_REGS1 ); } else { while ((och != '*' || ch != '/') && chtype(ch) != EF) { och = ch; diff --git a/packages/CLPBN/learning/example/school_params.yap b/packages/CLPBN/learning/example/school_params.yap index 6f96a9d38..366209627 100644 --- a/packages/CLPBN/learning/example/school_params.yap +++ b/packages/CLPBN/learning/example/school_params.yap @@ -10,8 +10,8 @@ %:- clpbn:set_clpbn_flag(em_solver,gibbs). %:- clpbn:set_clpbn_flag(em_solver,jt). -:- clpbn:set_clpbn_flag(em_solver,ve). -%:- clpbn:set_clpbn_flag(em_solver,bp). +%:- clpbn:set_clpbn_flag(em_solver,ve). +:- clpbn:set_clpbn_flag(em_solver,bp). timed_main :- statistics(runtime, _), @@ -40,8 +40,8 @@ graph([professor_ability(p0,_G131367),professor_ability(p1,h),professor_ability( % % change to 0.0, 0.1, 0.2 to make things simpler/harder -% -missing(0.5). +%% +missing(0.99). % miss 30% of the examples. goal(professor_ability(P,V)) :- diff --git a/packages/chr b/packages/chr index 9b0d051d7..59f3bce3c 160000 --- a/packages/chr +++ b/packages/chr @@ -1 +1 @@ -Subproject commit 9b0d051d7c1b5a665df6c71b98fde555532aaab4 +Subproject commit 59f3bce3c819d7a9459ec26bfb41c78f7dd9a500