- PPL-devel - BUGSENG Mailman

ppl ./configure.ac interfaces/Prolog/GNU/Makef ...
by Roberto Bagnara 04 Mar '02

04 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-04 17:18:48 Modified files: . : configure.ac Added files: interfaces/Prolog/GNU: Makefile.am ppl_gprolog.cc Log message: GNU Prolog interface started. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… 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/GNU/ppl_gpr…

1 0

ppl/interfaces/Prolog/SICStus Makefile.am ppl_ ...
by Roberto Bagnara 04 Mar '02

04 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-04 17:18:02 Modified files: interfaces/Prolog/SICStus: Makefile.am ppl_sicstus.cc Log message: Comment added. Do not use the preprocessor to declare constants. Patches: 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/SICStus/ppl…

1 0

ppl/interfaces/Prolog/SWI Makefile.am ppl_swip ...
by Roberto Bagnara 04 Mar '02

04 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-04 17:16:14 Modified files: interfaces/Prolog/SWI: Makefile.am Added files: interfaces/Prolog/SWI: ppl_swiprolog.cc Removed files: interfaces/Prolog/SWI: ppl_swi.cc Log message: Renamed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi… 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/SWI/ppl_swi…

1 0

ppl/interfaces/Prolog/SWI ppl_swi.cc
by Roberto Bagnara 04 Mar '02

04 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-04 17:02:23 Modified files: interfaces/Prolog/SWI: ppl_swi.cc Log message: More interface functions added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0

ppl src/Makefile.am interfaces/Prolog/SWI/Make ...
by Roberto Bagnara 04 Mar '02

04 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-04 16:48:48 Modified files: src : Makefile.am interfaces/Prolog/SWI: Makefile.am Log message: Comments fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl ppl.spec.in
by Roberto Bagnara 04 Mar '02

04 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-04 16:47:49 Modified files: . : ppl.spec.in Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0

ppl/interfaces/Prolog/GNU
by Roberto Bagnara 04 Mar '02

04 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-04 16:04:28 ppl/interfaces/Prolog/GNU Update of /cvs/ppl/ppl/interfaces/Prolog/GNU In directory spartacus.cs.unipr.it:/tmp/cvs-serv7959/GNU Log Message: Directory /cvs/ppl/ppl/interfaces/Prolog/GNU added to the repository

1 0

ppl ./configure.ac interfaces/Prolog/exception ...
by Roberto Bagnara 04 Mar '02

04 Mar '02

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 04 Mar '02

04 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-04 14:12:18 Modified files: src : Polyhedron.cc Log message: Since the Row::capacity() method is accessible only during debugging, we no longer swap rows in Polyhedron::add_constraints() (we always swap the coefficeints). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src minimize.cc simplify.cc
by Enea Zaffanella 03 Mar '02

03 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-03 11:13:08 Modified files: src : minimize.cc simplify.cc Log message: Started polishing the comments, and also the code in a few places, for the function simplify(). Adjusted a few comments in minimize(), regarding the saturation matrix. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0