August 2004 - PPL-devel - BUGSENG Mailman

ppl/src Widening_Function.inlines.hh
by Enea Zaffanella 22 Aug '04

22 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-22 08:03:54 Modified files: src : Widening_Function.inlines.hh Log message: Added \relates doxygen command to function definition. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Widening_Function.inlines…

1 0

w3ppl/htdocs/images/abstractions .cvsignore ab ...
by Roberto Bagnara 21 Aug '04

21 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-21 19:44:53 Added files: htdocs/images/abstractions: .cvsignore abstractions.tex axes.tex make_images points.tex Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/images/abstractions/… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/images/abstractions/… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/images/abstractions/… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/images/abstractions/… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/images/abstractions/…

1 0

w3ppl/htdocs/images/abstractions
by Roberto Bagnara 21 Aug '04

21 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-21 19:33:52 w3ppl/htdocs/images/abstractions Update of /cvs/ppl/w3ppl/htdocs/images/abstractions In directory spartacus.cs.unipr.it:/tmp/cvs-serv7924/abstractions Log Message: Directory /cvs/ppl/w3ppl/htdocs/images/abstractions added to the repository

1 0

ppl Watchdog/Makefile.am demos/ppl_lpsol/Makef ...
by Roberto Bagnara 21 Aug '04

21 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-21 17:58:39 Modified files: Watchdog : Makefile.am demos/ppl_lpsol: Makefile.am interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am interfaces/Prolog/YAP: Makefile.am tests : Makefile.am Log message: Match every `endif' with the corresponding `if' condition. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Makefile.am.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

w3ppl/htdocs abstractions.raw images/abstracti ...
by Roberto Bagnara 21 Aug '04

21 Aug '04

1 0

w3ppl/htdocs/About About.raw
by Roberto Bagnara 21 Aug '04

21 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-21 15:04:12 Modified files: htdocs/About : About.raw Log message: Added more about the history of the PPL. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff…

1 0

ppl/demos/ppl_lcdd Makefile.am
by Roberto Bagnara 21 Aug '04

21 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-21 11:57:04 Modified files: demos/ppl_lcdd : Makefile.am Log message: Add `expected' to the list of files to be distributed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/Makefile.am.di…

1 0

ppl NEWS
by Roberto Bagnara 21 Aug '04

21 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-21 10:22:56 Modified files: . : NEWS Log message: Now `make check' runs a number of tests with `ppl_lcdd', comparing the results to expected ones. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.10…

1 0

PPL 0.6.1 on MacOS X
by Roberto Bagnara 21 Aug '04

21 Aug '04

Dear MacOS X PPL beta-testers, when you have time, can you please try PPL 0.6.1? You can download the release from http://www.cs.unipr.it/ppl/Download/ftp/releases/0.6.1/ Thanks a lot, 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/demos/ppl_lcdd Makefile.am expected
by Roberto Bagnara 21 Aug '04

21 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-21 10:03:24 Modified files: demos/ppl_lcdd : Makefile.am Added files: demos/ppl_lcdd : expected Log message: Use `ppl_lcdd' to perform regression testing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/expected?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/Makefile.am.di…

1 0