October 2001 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/SICStus ppl_sicstus.cc
by Roberto Bagnara 26 Oct '01

26 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-26 18:54:27 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc Log message: Can now insert constraints into a polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/src ppl_header.middle
by Roberto Bagnara 26 Oct '01

26 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Branch: space_dim Changes by: roberto(a)cs.unipr.it 2001-10-26 16:58:10 Added files: src : ppl_header.middle Log message: Get around a bug in GCC versions prior to 3 whereby the <cassert> header is wrongly guarded against multiple inclusion. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.middle.diff?cv…

1 0

ppl/src Makefile.am
by Roberto Bagnara 26 Oct '01

26 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Branch: space_dim Changes by: roberto(a)cs.unipr.it 2001-10-26 16:57:39 Modified files: src : Makefile.am Log message: Get around a bug in GCC versions prior to 3 whereby the <cassert> header is wrongly guarded against multiple inclusion. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl ./Makefile.am ./config.h.in ./configure.ac ...
by Roberto Bagnara 26 Oct '01

26 Oct '01

1 0

ppl/interfaces/Prolog/SICStus
by Roberto Bagnara 26 Oct '01

26 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-26 16:54:31 ppl/interfaces/Prolog/SICStus Update of /cvs/ppl/ppl/interfaces/Prolog/SICStus In directory spartacus.cs.unipr.it:/tmp/cvs-serv18079/SICStus Log Message: Directory /cvs/ppl/ppl/interfaces/Prolog/SICStus added to the repository

1 0

ppl/interfaces/Prolog
by Roberto Bagnara 26 Oct '01

26 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-26 16:53:18 ppl/interfaces/Prolog Update of /cvs/ppl/ppl/interfaces/Prolog In directory spartacus.cs.unipr.it:/tmp/cvs-serv18026/Prolog Log Message: Directory /cvs/ppl/ppl/interfaces/Prolog added to the repository

1 0

ppl/interfaces
by Roberto Bagnara 26 Oct '01

26 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-26 16:53:03 ppl/interfaces Update of /cvs/ppl/ppl/interfaces In directory spartacus.cs.unipr.it:/tmp/cvs-serv18013/interfaces Log Message: Directory /cvs/ppl/ppl/interfaces added to the repository

1 0

ppl/src Makefile.am
by Roberto Bagnara 26 Oct '01

26 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-26 16:51:54 Modified files: src : Makefile.am Log message: ppl_install.hh depends also on ppl_header.middle. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src Makefile.am ppl_header.middle
by Roberto Bagnara 26 Oct '01

26 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-26 16:46:30 Modified files: src : Makefile.am Added files: src : ppl_header.middle Log message: Get around a bug in GCC versions prior to 3 whereby the <cassert> header is wrongly guarded against multiple inclusion. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.middle.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src Polyhedron.cc Variable.defs.hh
by Roberto Bagnara 26 Oct '01

26 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-26 16:45:16 Modified files: src : Polyhedron.cc Variable.defs.hh Log message: Just formatting. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvs…

1 0