February 2009 - PPL-devel - BUGSENG Mailman

ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README
by Roberto Bagnara 22 Feb '09

22 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: bagnara(a)cs.unipr.it 2009-02-22 16:34:01 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: alt_lgo Changes by: bagnara(a)cs.unipr.it 2009-02-22 16:33:53 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

[GIT] ppl/ppl(master): Replaced .cvsignore with .gitignore.
by abramo.bagnara＠gmail.com 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

Transition to Git started
by Roberto Bagnara 22 Feb '09

22 Feb '09

Please keep off the CVS repository. Thanks, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

w3ppl/htdocs/Download Git.raw
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 12:15:38 Modified files: htdocs/Download: Git.raw Log message: Added links to tips and documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Git.raw.dif…

1 0

w3ppl/htdocs/Download Git.raw
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 11:58:31 Modified files: htdocs/Download: Git.raw Log message: Several improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Git.raw.dif…

1 0

[Fwd: [Bug target/30484] Miscompilation of remainder expressions on CPUs of the i386 family]
by Roberto Bagnara 21 Feb '09

21 Feb '09

-------- Original Message -------- Subject: [Bug target/30484] Miscompilation of remainder expressions on CPUs of the i386 family Date: 21 Feb 2009 18:45:40 -0000 From: jsm28 at gcc dot gnu dot org <gcc-bugzilla(a)gcc.gnu.org> Reply-To: gcc-bugzilla(a)gcc.gnu.org To: bagnara(a)cs.unipr.it References: <bug-30484-1710(a)http.gcc.gnu.org/bugzilla/> ------- Comment #10 from jsm28 at gcc dot gnu dot org 2009-02-21 18:45 ------- This issue was discussed on the WG14 reflector in October 2008, and the general view was that the standard should not make INT_MIN % -1 well defined (as this would impose a significant performance cost on many programs to benefit very few) and probably didn't intend to. There is still a bug for the -fwrapv case, where clearly both INT_MIN / -1 and INT_MIN % -1 should be well defined, but probably the extra checks if implemented should only be enabled implicitly for -fwrapv, not for C standards conformance modes. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30484 ------- You are receiving this mail because: ------- You reported the bug, or are watching the reporter. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl interfaces/C/.cvsignore interfaces/Java/jn ...
by Abramo Bagnara 21 Feb '09

21 Feb '09

1 0

ppl/interfaces/Prolog/tests .cvsignore
by Abramo Bagnara 21 Feb '09

21 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2009-02-21 14:54:36 Modified files: interfaces/Prolog/tests: .cvsignore Log message: Added other patterns. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/.cvsi…

1 0

ppl/interfaces C/.cvsignore Java/jni/.cvsignore
by Abramo Bagnara 21 Feb '09

21 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2009-02-21 14:52:28 Modified files: interfaces/C : .cvsignore interfaces/Java/jni: .cvsignore Log message: Added other patterns. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/.cvsignore.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/.cvsignor…

1 0