September 2007 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog Makefile.am
by Enea Zaffanella 14 Sep '07

14 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-09-14 15:57:51 Modified files: interfaces/Prolog: Makefile.am Log message: Built source file ppl_prolog.icc is only required when the user asks for some Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am…

1 0

ppl/interfaces/OCaml Makefile.am
by Enea Zaffanella 14 Sep '07

14 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-09-14 15:55:50 Modified files: interfaces/OCaml: Makefile.am Log message: Distribution and cleanup made independent from the configuration chosen by the user. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.…

1 0

ppl/interfaces/Java Makefile.am ppl_java/Makef ...
by Enea Zaffanella 14 Sep '07

14 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-09-14 15:54:25 Modified files: interfaces/Java: Makefile.am interfaces/Java/ppl_java: Makefile.am interfaces/Java/tests: Makefile.am Log message: Distribution and cleanup made independent from the configuration chosen by the user. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/Makefile.am.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Makefil…

1 0

ppl/interfaces/C Makefile.am
by Enea Zaffanella 14 Sep '07

14 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-09-14 15:53:39 Modified files: interfaces/C : Makefile.am Log message: Cleanup should be independent from the configuration chosen by the user. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff…

1 0

ppl/tests/Box Makefile.am bug1.cc bug2.cc
by Roberto Bagnara 14 Sep '07

14 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-14 15:42:47 Modified files: tests/Box : Makefile.am Removed files: tests/Box : bug1.cc bug2.cc Log message: The bug exhibited by bug1.cc and bug2.cc has been fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/bug1.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/bug2.cc.diff?cvsroo…

1 0

ppl/src checked_float.inlines.hh
by Abramo Bagnara 14 Sep '07

14 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2007-09-14 10:10:01 Modified files: src : checked_float.inlines.hh Log message: Fixed float rounding on inexact conversion. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/tests/Box Makefile.am
by Roberto Bagnara 14 Sep '07

14 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-14 09:17:25 Modified files: tests/Box : Makefile.am Log message: Restore refine[12].cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

ppl/tests/MIP_Problem mipproblem1.cc
by Roberto Bagnara 14 Sep '07

14 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-14 08:49:42 Modified files: tests/MIP_Problem: mipproblem1.cc Log message: Wrap big integer constants within Coefficient("..."). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/mipproblem1…

1 0

ppl/tests/MIP_Problem mipproblem1.cc
by Enea Zaffanella 14 Sep '07

14 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-09-14 08:45:11 Modified files: tests/MIP_Problem: mipproblem1.cc Log message: test18 fails with all bounded integer coefficient types; test19 fails if less than 64 bit coefficients are used. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/mipproblem1…

1 0

ppl/tests/Box Makefile.am
by Roberto Bagnara 13 Sep '07

13 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-13 22:10:13 Modified files: tests/Box : Makefile.am Log message: Temporarily disable also refine2.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0