February 2005 - PPL-devel - BUGSENG Mailman

ppl configure.ac
by Roberto Bagnara 10 Feb '05

10 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-10 16:01:43 Modified files: . : configure.ac Log message: Check for the declaration of strtold(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl ./config.sub ./install-sh Watchdog/config. ...
by Roberto Bagnara 08 Feb '05

08 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-08 20:30:51 Modified files: . : config.sub install-sh Watchdog : config.sub install-sh Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/install-sh.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.sub.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/install-sh.diff?cvsr…

1 0

ppl ./ltmain.sh Watchdog/ltmain.sh
by Roberto Bagnara 08 Feb '05

08 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-08 20:23:16 Modified files: . : ltmain.sh Watchdog : ltmain.sh Log message: Updated from Libtool 1.5.12. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&r1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ltmain.sh.diff?cvsro…

1 0

ppl/tests ppl_test.hh
by Abramo Bagnara 08 Feb '05

08 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-02-08 12:01:20 Modified files: tests : ppl_test.hh Log message: Fixed use of native types. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

w3ppl/htdocs/Applications Applications.raw
by Enea Zaffanella 08 Feb '05

08 Feb '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2005-02-08 11:53:58 Modified files: htdocs/Applications: Applications.raw Log message: Added link to Pedro Vasconcelos home page and mentioned that he is using the PPL for cost analysis. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0

ppl src/Checked_Number.defs.hh src/Checked_Num ...
by Abramo Bagnara 08 Feb '05

08 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-02-08 11:49:06 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh tests : ppl_test.hh Log message: Allow rounding direction save/restore for both Checked_Number and native types. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/src checked.inlines.hh checked_int.inlines ...
by Abramo Bagnara 08 Feb '05

08 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-02-08 11:10:29 Modified files: src : checked.inlines.hh checked_int.inlines.hh checked_mpz.inlines.hh Log message: Pushed rounding to a lowest level. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

w3ppl/htdocs/Applications Applications.raw
by Enea Zaffanella 08 Feb '05

08 Feb '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2005-02-08 09:31:32 Modified files: htdocs/Applications: Applications.raw Log message: Added a link to LPInv. Modified the entry of Frehse to refer to PHAVer. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0

Relocation of cs.unipr.it's machines
by Roberto Bagnara 04 Feb '05

04 Feb '05

Dear all, if everything goes as expected, we will relocate all the cs.unipr.it machines (i.e., including the servers) to our brand new building in the university's campus. We expect to shutdown the machines at arond 10 AM (Italy time) and we hope to have them running and connected again in about one hour. Cheers, 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

ppl/tests ppl_test.hh
by Abramo Bagnara 03 Feb '05

03 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-02-03 10:02:22 Modified files: tests : ppl_test.hh Log message: Added inline keyword. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0