September 2006 - PPL-devel - BUGSENG Mailman

ppl NEWS STANDARDS
by Roberto Bagnara 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-23 19:51:45 Modified files: . : NEWS STANDARDS Log message: Spelling corrections. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.19… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

ppl/src Polyhedron_widenings.cc checked_int.in ...
by Roberto Bagnara 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-23 18:47:32 Modified files: src : Polyhedron_widenings.cc checked_int.inlines.hh Log message: Identifiers improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

ppl/src BD_Shape.templates.hh
by Roberto Bagnara 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-23 18:42:24 Modified files: src : BD_Shape.templates.hh Log message: Renamed a couple of identifiers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/src MIP_Problem.cc
by Roberto Bagnara 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-23 18:41:27 Modified files: src : MIP_Problem.cc Log message: Revised the woring of a couple of comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl CREDITS
by Roberto Bagnara 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-23 18:19:12 Modified files: . : CREDITS Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1…

1 0

ppl/src Grid.defs.hh Grid_conversion.cc Grid_s ...
by Roberto Bagnara 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-23 18:08:41 Modified files: src : Grid.defs.hh Grid_conversion.cc Grid_simplify.cc Log message: Got rid of tracing code that was cluttering the sources. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src MIP_Problem.cc
by Andrea Cimino 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-23 17:53:08 Modified files: src : MIP_Problem.cc Log message: Fixed a couple of bugs in is_mip_satisfiable() and solve_mip(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/src Grid.templates.hh Grid_Generator.cc Gr ...
by Roberto Bagnara 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-23 17:42:22 Modified files: src : Grid.templates.hh Grid_Generator.cc Grid_conversion.cc Grid_public.cc Log message: Use `tmp' to denote a temporary: neither `tem' nor `temp'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Polyhedron_widenings.cc
by Roberto Bagnara 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-23 17:29:39 Modified files: src : Polyhedron_widenings.cc Log message: Use square brackets for literature citations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Roberto Bagnara 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-23 17:25:30 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: The command parser now recognizes the --no-mip (-r) option: this allows to consider integer variables as real variables. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0