February 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/BD_Shape generalizedaffinepreimage2.cc
by Enea Zaffanella 14 Feb '06

14 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-14 09:21:58 Modified files: tests/BD_Shape : generalizedaffinepreimage2.cc Log message: Corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff…

1 0

ppl/tests/BD_Shape generalizedaffineimage6.cc
by Enea Zaffanella 13 Feb '06

13 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-13 21:23:29 Modified files: tests/BD_Shape : generalizedaffineimage6.cc Log message: Corrected a known result. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff…

1 0

ppl/tests Makefile.am ppl_test.hh print.cc pri ...
by Roberto Bagnara 13 Feb '06

13 Feb '06

1 0

ppl/src fpu-sparc.inlines.hh
by Roberto Bagnara 13 Feb '06

13 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-13 19:51:13 Modified files: src : fpu-sparc.inlines.hh Log message: Definitions of FPU_UPWARD and FPU_DOWNWARD fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-sparc.inlines.hh.diff…

1 0

ppl/tests/BD_Shape addconstraints1.cc addspace ...
by Enea Zaffanella 13 Feb '06

13 Feb '06

1 0

ppl/src BD_Shape.defs.hh BD_Shape.templates.hh
by Enea Zaffanella 13 Feb '06

13 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-13 19:15:30 Modified files: src : BD_Shape.defs.hh BD_Shape.templates.hh Log message: When building a BD_Shape from a generator system, we should throw an exception if the system is non-empty but has no points. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl configure.ac
by Roberto Bagnara 13 Feb '06

13 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-13 14:51:37 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/interfaces/Prolog/SICStus Makefile.am
by Roberto Bagnara 13 Feb '06

13 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-13 14:32:43 Modified files: interfaces/Prolog/SICStus: Makefile.am Log message: Instruct spld to pass the right options to the linker. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak…

1 0

ppl/interfaces/Prolog/GNU Makefile.am
by Roberto Bagnara 13 Feb '06

13 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-13 14:26:06 Modified files: interfaces/Prolog/GNU: Makefile.am Log message: Instruct gplc to pass the right options to the linker. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil…

1 0

ppl/interfaces/Prolog/SWI Makefile.am
by Roberto Bagnara 13 Feb '06

13 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-13 14:11:22 Modified files: interfaces/Prolog/SWI: Makefile.am Log message: Instruct plld to pass the right options to the linker (that is, to the C++ compiler). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0