April 2006 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 21 Apr '06

21 Apr '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-04-21 11:28:06 Modified files: htdocs/Documentation: ppl_citations.bib Log message: MesnardB05TPLP fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

ppl/src Octagon.templates.hh
by Barbara Quartieri 20 Apr '06

20 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-20 16:32:32 Modified files: src : Octagon.templates.hh Log message: Completed and corrected affine_image(). Corrected operator<<(). Cleaned some lines in affine_preimage(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff…

1 0

ppl/src Octagon.inlines.hh
by Barbara Quartieri 20 Apr '06

20 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-20 16:27:05 Modified files: src : Octagon.inlines.hh Log message: Corrected a wrong index in forget_all_octagonal_constraints(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.inlines.hh.diff?c…

1 0

ppl/src Octagon.defs.hh
by Barbara Quartieri 20 Apr '06

20 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-20 16:23:45 Modified files: src : Octagon.defs.hh Log message: Eliminated the wrong method `deduce_u_plus_v_bounds() and added the method deduce_minus_v_minus_u_bounds(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.defs.hh.diff?cvsr…

1 0

ppl/interfaces/Prolog Ciao/ppl_ciao.pl GNU/ppl ...
by Patricia Hill 20 Apr '06

20 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-04-20 08:38:57 Modified files: interfaces/Prolog/Ciao: ppl_ciao.pl interfaces/Prolog/GNU: ppl_gprolog.pl interfaces/Prolog/SICStus: ppl_sicstus_sd.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/XSB: ppl_xsb.H ppl_xsb.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: Restore previous versions of system dependent files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… 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/XSB/ppl_xsb… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl/interfaces/Prolog ppl_prolog.icc Ciao/ppl_ ...
by Patricia Hill 20 Apr '06

20 Apr '06

1 0

ppl/tests/Octagon Makefile.am intersection1.cc ...
by Elena Mazzi 19 Apr '06

19 Apr '06

1 0

ppl src/Octagon.defs.hh src/Octagon.inlines.hh ...
by Elena Mazzi 19 Apr '06

19 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-04-19 16:38:44 Modified files: src : Octagon.defs.hh Octagon.inlines.hh Octagon.templates.hh tests/Octagon : Makefile.am Added files: tests/Octagon : minconstraints1.cc Log message: Cleaned strong_reduction_assign(). Added a new method: Octagon::minimized_constraints(). Added tests for minimized_constraints(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/minconstraints1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/Makefile.am.dif…

1 0

ppl/src Octagon.templates.hh
by Elena Mazzi 19 Apr '06

19 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-04-19 15:02:31 Modified files: src : Octagon.templates.hh Log message: Fixed and added some comments in Octagon::concatenate_assign() and Octagon::is_strongly_reduced(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 19 Apr '06

19 Apr '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-04-19 14:35:18 Modified files: htdocs/Documentation: ppl.bib Log message: Capitalization fixed in the references about `polymake'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0