- PPL-devel - BUGSENG Mailman

ppl ./configure.ac interfaces/Prolog/SICStus/M ...
by Roberto Bagnara 27 Oct '01

27 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-27 10:59:47 Modified files: . : configure.ac interfaces/Prolog/SICStus: Makefile.am ppl_sicstus.cc Added files: interfaces/Prolog/SICStus: ppl_check.pl ppl_sicstus.pl Log message: Check to see whether `sicstus' is installed: if it is, tests can be performed. Some progress in the interface itself. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… 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/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 27 Oct '01

27 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-27 10:58:09 Modified files: src : Polyhedron.cc Log message: ConSys and GenSys do not yet provide a `bool empty() const' method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

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

27 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-27 10:55:29 Modified files: src : Makefile.am Log message: Distribute ppl_header.middle. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

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 21:24:21 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc Log message: Exception handling improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl src/Polyhedron.cc tests/Makefile.am tests/ ...
by Enea Zaffanella 26 Oct '01

26 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Branch: space_dim Changes by: zaffanella(a)cs.unipr.it 2001-10-26 19:04:45 Modified files: src : Polyhedron.cc tests : Makefile.am Added files: tests : removedim2.cc Log message: Polyhedron::remove_dimensions(...) rewritten from scratch. Added a new test to check its correctness. 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/tests/removedim2.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

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