February 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/Ciao Makefile.am
by Roberto Bagnara 27 Feb '06

27 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-27 14:45:50 Modified files: interfaces/Prolog/Ciao: Makefile.am Log message: The Ciao-Prolog interface cannot be built if shared libraries are not available. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

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

27 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-27 14:31:57 Modified files: interfaces/Prolog/SICStus: Makefile.am Log message: Work also if the PPL was configure with --disable-shared. Moreover, unless the PPL was configured with --disable-static, `ppl_sicstus' uses only static modules. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak…

1 0

ppl/tests/Polyhedron affineimage2.cc
by Enea Zaffanella 27 Feb '06

27 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-27 13:36:07 Modified files: tests/Polyhedron: affineimage2.cc Log message: Helper function renamed according to new standard. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affineimage2…

1 0

ppl/tests/Polyhedron concatenate1.cc Makefile. ...
by Enea Zaffanella 27 Feb '06

27 Feb '06

1 0

ppl/tests/Polyhedron bounded1.cc
by Enea Zaffanella 27 Feb '06

27 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-27 13:13:37 Modified files: tests/Polyhedron: bounded1.cc Log message: Tranformed according to new standards for tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bounded1.cc.…

1 0

ppl/tests/Polyhedron bhrz03widening1.cc bhrz03 ...
by Enea Zaffanella 27 Feb '06

27 Feb '06

1 0

ppl/tests/Polyhedron bgp99extrapolation1.cc Ma ...
by Enea Zaffanella 27 Feb '06

27 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-27 13:09:30 Modified files: tests/Polyhedron: bgp99extrapolation1.cc Makefile.am Removed files: tests/Polyhedron: bgp99extrapolation2.cc Log message: Transformed according to new standards for tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bgp99extrapo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bgp99extrapo…

1 0

ppl/tests/Polyhedron affinetrans.cc
by Enea Zaffanella 27 Feb '06

27 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-27 13:07:24 Modified files: tests/Polyhedron: affinetrans.cc Log message: Transformed according to new standards for tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affinetrans.…

1 0

ppl/tests/Polyhedron affinepreimage1.cc Makefi ...
by Enea Zaffanella 27 Feb '06

27 Feb '06

1 0

ppl/tests/Polyhedron Makefile.am affineimage1. ...
by Enea Zaffanella 27 Feb '06

27 Feb '06

1 0