September 2004 - PPL-devel - BUGSENG Mailman

ppl ./config.guess ./config.sub Watchdog/confi ...
by Roberto Bagnara 19 Sep '04

19 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-19 18:30:22 Modified files: . : config.guess config.sub Watchdog : config.guess config.sub 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/Watchdog/config.guess.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.sub.diff?cvsr…

1 0

ppl ./ltmain.sh Watchdog/ltmain.sh
by Roberto Bagnara 19 Sep '04

19 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-19 18:29:17 Modified files: . : ltmain.sh Watchdog : ltmain.sh Log message: Updated from Libtool 1.5.10. 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 README
by Patricia Hill 19 Sep '04

19 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-09-19 09:53:57 Modified files: tests : README Log message: Improved the text. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/README.diff?cvsroot=ppl…

1 0

ppl/demos/ppl_lcdd expected
by Roberto Bagnara 19 Sep '04

19 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-19 09:16:52 Modified files: demos/ppl_lcdd : expected Log message: Updated to reflect the fact that we no longer sort generators for closed polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/expected.diff?…

1 0

ppl TODO
by Roberto Bagnara 19 Sep '04

19 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-19 08:39:52 Modified files: . : TODO Log message: Two new important things to do. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.96…

1 0

ppl NEWS
by Roberto Bagnara 19 Sep '04

19 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-19 08:27:45 Modified files: . : NEWS Log message: Significant efficiency improvements have been achieved in the case of closed polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.11…

1 0

ppl/interfaces/Prolog/Ciao ppl_ciao.pl
by Roberto Bagnara 19 Sep '04

19 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-19 08:25:52 Modified files: interfaces/Prolog/Ciao: ppl_ciao.pl Log message: Similar lines are now commented out in the same way. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

ppl/doc README
by Roberto Bagnara 19 Sep '04

19 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-19 08:22:18 Modified files: doc : README Log message: Copyright notice added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.diff?cvsroot=ppl&r…

1 0

ppl/src globals.defs.hh
by Roberto Bagnara 19 Sep '04

19 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-19 08:19:17 Modified files: src : globals.defs.hh Log message: Added code to experiment with an alternative way of dealing with temporaries. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsr…

1 0

ppl/src simplify.cc
by Roberto Bagnara 19 Sep '04

19 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-19 08:17:36 Modified files: src : simplify.cc Log message: Small improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0