July 2004 - PPL-devel - BUGSENG Mailman

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 09 Jul '04

09 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-07-09 18:40:23 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Input made more robust. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 09 Jul '04

09 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-07-09 17:16:39 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Make sure points are created with the right denominator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 09 Jul '04

09 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-07-09 16:50:49 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Bug fixed in write_polyhedron(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 09 Jul '04

09 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-07-09 15:38:12 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Input/output rewritten. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 09 Jul '04

09 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-07-09 09:50:48 Modified files: interfaces/Prolog: pl_check.pl Log message: Some reorganisation of test predicates to match order of tests. Improved handling of deletion of polyhedra in the exception tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 09 Jul '04

09 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-07-09 08:14:10 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Started drafting the output function. Several other improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/demos .cvsignore
by Roberto Bagnara 09 Jul '04

09 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-07-09 08:12:45 Added files: demos : .cvsignore Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/.cvsignore.diff?cvsroot…

1 0

ppl ./configure.ac demos/Makefile.am demos/ppl ...
by Roberto Bagnara 09 Jul '04

09 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-07-09 08:12:09 Modified files: . : configure.ac demos : Makefile.am Added files: demos/ppl_lcdd : .cvsignore Makefile.am ppl_lcdd.cc Removed files: demos : .cvsignore ppl_lcdd.cc Log message: The `ppl_lcdd' demo has now its own subdirectory. 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/demos/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/.cvsignore.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/.cvsignore?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/Makefile.am?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc?cv…

1 0

ppl/demos/ppl_lcdd
by Roberto Bagnara 09 Jul '04

09 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-07-09 08:06:45 ppl/demos/ppl_lcdd Update of /cvs/ppl/ppl/demos/ppl_lcdd In directory spartacus.cs.unipr.it:/tmp/cvs-serv30720/ppl_lcdd Log Message: Directory /cvs/ppl/ppl/demos/ppl_lcdd added to the repository

1 0

ppl/Watchdog Watchdog.cc
by Roberto Bagnara 08 Jul '04

08 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-07-08 16:50:47 Modified files: Watchdog : Watchdog.cc Log message: Spacing fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.cc.diff?cvs…

1 0