December 2005 - PPL-devel - BUGSENG Mailman

ppl/src GMP_Integer.types.hh
by Enea Zaffanella 30 Dec '05

30 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-30 21:13:06 Modified files: src : GMP_Integer.types.hh Log message: Let the brief doxygen documentation be actually printed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.types.hh.diff…

1 0

ppl/src Ptr_Iterator.types.hh
by Roberto Bagnara 30 Dec '05

30 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-12-30 19:31:52 Modified files: src : Ptr_Iterator.types.hh Log message: Replaced a use of `class' with `typename'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ptr_Iterator.types.hh.dif…

1 0

ppl/src Ask_Tell.types.hh BD_Shape.types.hh BH ...
by Roberto Bagnara 30 Dec '05

30 Dec '05

1 0

ppl/src Coefficient.types.hh
by Roberto Bagnara 30 Dec '05

30 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-12-30 19:27:58 Modified files: src : Coefficient.types.hh Log message: Include "Checked_Number.defs.hh" unconditionally. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Coefficient.types.hh.diff…

1 0

ppl/src namespaces.hh
by Roberto Bagnara 30 Dec '05

30 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-12-30 19:05:18 Modified files: src : namespaces.hh Log message: Namespaces' closing brackets should always be commented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/namespaces.hh.diff?cvsroo…

1 0

ppl ./NEWS demos/ppl_lpsol/Makefile.am
by Roberto Bagnara 30 Dec '05

30 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-12-30 18:30:45 Modified files: . : NEWS demos/ppl_lpsol: Makefile.am Log message: With the new simplex implementation, ppl_lpsol is indeed a quite useful tool: it is now installed in $(bindir) upon `make install'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.16… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Roberto Bagnara 30 Dec '05

30 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-12-30 18:18:07 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: New option --enumerate, dual to --simplex. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/src Coefficient.defs.hh Coefficient.types. ...
by Roberto Bagnara 30 Dec '05

30 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-12-30 18:01:57 Modified files: src : Coefficient.defs.hh Coefficient.types.hh Makefile.am Removed files: src : Native_Integer.defs.hh Native_Integer.inlines.hh Native_Integer.types.hh Log message: Old implementation of native integer coefficients phased out: checked numbers with the transparent policy are used instead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Coefficient.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Coefficient.types.hh.diff… 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/src/Native_Integer.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.types.hh.d…

1 0

ppl configure.ac
by Roberto Bagnara 30 Dec '05

30 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-12-30 18:00:05 Modified files: . : configure.ac Log message: When native integers are requested, use checked numbers with the transparent policy for the coefficients. Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Roberto Bagnara 30 Dec '05

30 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-12-30 17:12:40 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Require at least version 8 of the PPL. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0