February 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/w3ppl(master): Another spelling correction.
by Patricia Hill 22 Feb '09

22 Feb '09

Module: ppl/w3ppl Branch: master Commit: 84b0db9a7dde3beb1c85d7407a7ec9b166b6bcc1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=84b0db9a7d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Feb 23 09:08:47 2009 +0000 Another spelling correction. --- htdocs/Download/Git.raw | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/htdocs/Download/Git.raw b/htdocs/Download/Git.raw index 4eda8a0..e0509ed 100644 --- a/htdocs/Download/Git.raw +++ b/htdocs/Download/Git.raw @@ -237,7 +237,7 @@ Always remember the commandments of team membership: <UL> <LI> The Git web sites contains - <A HREF="http://git-scm.com/documentation/">all the documentaion + <A HREF="http://git-scm.com/documentation/">all the documentation you can dream of</A>. </LI> <LI>

1 0

[GIT] ppl/w3ppl(master): Spelling corrected.
by Patricia Hill 22 Feb '09

22 Feb '09

Module: ppl/w3ppl Branch: master Commit: 9252e08f8e79f76a6045cf65045c0bd029611c61 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=9252e08f8e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Feb 23 08:54:41 2009 +0000 Spelling corrected. --- htdocs/Download/Git.raw | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/htdocs/Download/Git.raw b/htdocs/Download/Git.raw index 2cb8345..4eda8a0 100644 --- a/htdocs/Download/Git.raw +++ b/htdocs/Download/Git.raw @@ -178,7 +178,7 @@ For example, whenever you want to merge with the latest code changes, This command saves all non-pushed changes made by your commits in a temporary area, updates the local repository with changes done in the central one, and reapplies the saved commits. It is up to you to solve -possibile conflicts. +possible conflicts. <A HREF=http://gitready.com/advanced/2009/02/11/pull-with-rebase.html>Pull with rebase</A> permits to have a cleaner linear history for small incremental changes.

1 0

[GIT] ppl/w3ppl(master): Explain how to add the `git wup' command.
by Roberto Bagnara 22 Feb '09

22 Feb '09

Module: ppl/w3ppl Branch: master Commit: c71f1c943012200b264a1d19606bca1014011cd5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=c71f1c9430… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 22 18:59:34 2009 +0100 Explain how to add the `git wup' command. --- htdocs/Download/Git.raw | 12 ++++++++++++ 1 files changed, 12 insertions(+), 0 deletions(-) diff --git a/htdocs/Download/Git.raw b/htdocs/Download/Git.raw index 6f7102e..2cb8345 100644 --- a/htdocs/Download/Git.raw +++ b/htdocs/Download/Git.raw @@ -254,7 +254,19 @@ Always remember the commandments of team membership: <H4>More About Git Configuration</H4> +<P> +The following command will define a <CODE>git wup</CODE> command that +you could use before any <CODE>git push</CODE> to check what you +are about to push to the central repository: +</P> +<BLOCKQUOTE> + <CODE>git config --global alias.wup "log -p origin..@{0}"</CODE> +</BLOCKQUOTE> + +<P> TODO: explain things such as diff.renames. +</P> + <H4>Tips from External Sources</H4>

1 0

[GIT] ppl/ppl(master): Replaced .cvsignore with .gitignore.
by Abramo Bagnara 22 Feb '09

22 Feb '09

Module: ppl/ppl Branch: master Commit: 6dd8e30b3647edb06a8145feb1b59194f35fd68a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6dd8e30b3647… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Feb 22 15:37:50 2009 +0100 Replaced .cvsignore with .gitignore. --- .cvsignore => .gitignore | 0 Watchdog/.cvsignore | 21 -------------------- Watchdog/.gitignore | 1 + Watchdog/doc/{.cvsignore => .gitignore} | 4 --- Watchdog/m4/.cvsignore | 2 - Watchdog/src/.cvsignore | 9 -------- Watchdog/src/.gitignore | 2 + Watchdog/tests/.cvsignore | 5 ---- Watchdog/tests/.gitignore | 1 + Watchdog/utils/.cvsignore | 3 -- Watchdog/utils/.gitignore | 1 + debian/.cvsignore | 4 --- debian/.gitignore | 2 + demos/.cvsignore | 3 -- demos/.gitignore | 1 + demos/ppl_lcdd/.cvsignore | 7 ------ demos/ppl_lcdd/.gitignore | 2 + demos/ppl_lcdd/examples/.cvsignore | 2 - demos/ppl_lpsol/{.cvsignore => .gitignore} | 5 ---- demos/ppl_lpsol/examples/.cvsignore | 2 - devtools/{.cvsignore => .gitignore} | 0 doc/{.cvsignore => .gitignore} | 4 --- fedora/.cvsignore | 3 -- fedora/.gitignore | 1 + interfaces/.cvsignore | 4 --- interfaces/.gitignore | 1 + interfaces/C/{.cvsignore => .gitignore} | 7 +----- interfaces/C/tests/.cvsignore | 5 ---- interfaces/Java/.cvsignore | 3 -- interfaces/Java/.gitignore | 1 + interfaces/Java/jni/.cvsignore | 10 --------- interfaces/Java/jni/.gitignore | 4 +++ .../{.cvsignore => .gitignore} | 2 - interfaces/Java/tests/{.cvsignore => .gitignore} | 2 - interfaces/OCaml/{.cvsignore => .gitignore} | 17 ++++++++++----- interfaces/OCaml/tests/.cvsignore | 15 -------------- interfaces/Prolog/{.cvsignore => .gitignore} | 4 --- interfaces/Prolog/Ciao/{.cvsignore => .gitignore} | 6 ----- interfaces/Prolog/GNU/{.cvsignore => .gitignore} | 6 ----- interfaces/Prolog/SICStus/.cvsignore | 13 ------------ interfaces/Prolog/SICStus/.gitignore | 7 ++++++ interfaces/Prolog/SWI/{.cvsignore => .gitignore} | 6 ----- interfaces/Prolog/XSB/{.cvsignore => .gitignore} | 6 ----- interfaces/Prolog/YAP/{.cvsignore => .gitignore} | 6 ----- interfaces/Prolog/tests/{.cvsignore => .gitignore} | 2 - m4/.cvsignore | 2 - src/{.cvsignore => .gitignore} | 6 ----- tests/.cvsignore | 4 --- tests/Ask_Tell/.cvsignore | 5 ---- tests/Ask_Tell/.gitignore | 1 + tests/BD_Shape/{.cvsignore => .gitignore} | 8 ------- tests/Box/{.cvsignore => .gitignore} | 4 --- tests/Grid/{.cvsignore => .gitignore} | 4 --- tests/MIP_Problem/{.cvsignore => .gitignore} | 4 --- tests/Octagonal_Shape/{.cvsignore => .gitignore} | 4 --- .../{.cvsignore => .gitignore} | 4 --- tests/Polyhedron/{.cvsignore => .gitignore} | 4 --- tests/Powerset/{.cvsignore => .gitignore} | 4 --- utils/.cvsignore | 6 ----- utils/.gitignore | 2 + 60 files changed, 39 insertions(+), 235 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=6dd8e30b…

1 0

[GIT] ppl/w3ppl(master): Added missing double quotes.
by bagnara＠cs.unipr.it 22 Feb '09

22 Feb '09

Module: ppl/w3ppl Branch: master Commit: 9f0159b5404e0ac3664a23aac7f772a7a0728925 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=9f0159b540… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 22 18:02:05 2009 +0100 Added missing double quotes. --- htdocs/news.raw | 2 +- htdocs/ppl.raw | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/htdocs/news.raw b/htdocs/news.raw index 5458c38..846e4fa 100644 --- a/htdocs/news.raw +++ b/htdocs/news.raw @@ -16,7 +16,7 @@ of the Parma Polyhedra Library. <BR> PPL development moved away from CVS and now uses the <A HREF="http://git-scm.com/">Git distributed version control system</A>. - See the <A HREF=Download/Git">PPL Git page</A> for all the details. + See the <A HREF="Download/Git">PPL Git page</A> for all the details. </TD> </TR> diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index 0a72217..7b70310 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -54,7 +54,7 @@ version 3</A> or any later version). <BR> PPL development moved away from CVS and now uses the <A HREF="http://git-scm.com/">Git distributed version control system</A>. - See the <A HREF=Download/Git">PPL Git page</A> for all the details. + See the <A HREF="Download/Git">PPL Git page</A> for all the details. </TD> </TR>

1 0

[GIT] ppl/w3ppl(master): Updated the web pages to reflect the switch to Git .
by bagnara＠cs.unipr.it 22 Feb '09

22 Feb '09

Module: ppl/w3ppl Branch: master Commit: 1df76a0349143d371916866233340119b2a77e38 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=1df76a0349… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 22 17:56:35 2009 +0100 Updated the web pages to reflect the switch to Git. --- htdocs/Bugs/Bugs.raw | 2 +- htdocs/Contribute/Contribute.raw | 6 +++--- htdocs/Documentation/how_to_get_it.raw | 8 +++++--- htdocs/Download/Download.raw | 13 ++++++------- htdocs/Download/Git.raw | 2 +- htdocs/Download/rsync.raw | 14 +++++++------- htdocs/FAQ.raw | 5 +---- htdocs/MailingLists/MailingLists.raw | 2 +- htdocs/news.raw | 11 +++++++++++ htdocs/portability.raw | 4 ++-- htdocs/ppl.raw | 16 +++++++++++++--- 11 files changed, 51 insertions(+), 32 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commitdiff;h=1df76a…

1 0

ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README
by Roberto Bagnara 22 Feb '09

22 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2009-02-22 16:40:17 Added files: . : AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/AAA_THIS_IS_AN_OBSOLETE_REPOS…

1 0

w3ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README
by Roberto Bagnara 22 Feb '09

22 Feb '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-02-22 16:40:13 Added files: . : AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/AAA_THIS_IS_AN_OBSOLETE_REP…

1 0

ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README
by Roberto Bagnara 22 Feb '09

22 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: bagnara(a)cs.unipr.it 2009-02-22 16:38:13 Added files: . : AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/AAA_THIS_IS_AN_OBSOLETE_REPOS…

1 0

ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README
by Roberto Bagnara 22 Feb '09

22 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Branch: space_dim Changes by: bagnara(a)cs.unipr.it 2009-02-22 16:38:02 Added files: . : AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/AAA_THIS_IS_AN_OBSOLETE_REPOS…

1 0