- PPL-devel - BUGSENG Mailman

ppl TODO
by Roberto Bagnara 02 Mar '03

02 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-02 19:54:16 Modified files: . : TODO Log message: More things that should not be forgotten. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.31…

1 0

ppl NEWS
by Roberto Bagnara 02 Mar '03

02 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-02 19:51:53 Modified files: . : NEWS Log message: News items added, others improved, reorganized. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.53…

1 0

ppl ChangeLog
by Roberto Bagnara 02 Mar '03

02 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-02 19:26:16 Modified files: . : ChangeLog Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&r1…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 01 Mar '03

01 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-01 15:18:08 Modified files: src : Polyhedron.cc Log message: Full stop added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/interfaces/Prolog/SICStus sicstus_cfli.ic
by Roberto Bagnara 01 Mar '03

01 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-01 07:38:17 Modified files: interfaces/Prolog/SICStus: sicstus_cfli.ic Log message: Include assert.h. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sic…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus_sd.cc
by Roberto Bagnara 01 Mar '03

01 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-01 07:38:04 Modified files: interfaces/Prolog/SICStus: ppl_sicstus_sd.cc Log message: Includes reordered. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl configure.ac
by Roberto Bagnara 01 Mar '03

01 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-01 07:24:58 Modified files: . : configure.ac Log message: Enable shared the libraries by default. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl config.guess config.sub ltmain.sh
by Roberto Bagnara 01 Mar '03

01 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-01 07:23:54 Modified files: . : config.guess config.sub ltmain.sh Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl… 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/ltmain.sh.diff?cvsroot=ppl&r1…

1 0

w3ppl/htdocs news.raw ppl.raw Documentation/bi ...
by Roberto Bagnara 26 Feb '03

26 Feb '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-02-26 19:23:52 Modified files: htdocs : news.raw ppl.raw htdocs/Documentation: bibliography.raw Log message: "Precise Widening Operators for Convex Polyhedra" announced. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 26 Feb '03

26 Feb '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-02-26 19:04:09 Modified files: htdocs/Documentation: ppl.bib Log message: Entry for Quaderno 312 completed. Abstract for Quaderno 305 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0