- PPL-devel - BUGSENG Mailman

ppl src/GenSys.cc src/GenSys.defs.hh src/Makef ...
by Enea Zaffanella 06 Mar '02

06 Mar '02

1 0

ppl/interfaces/Prolog SICStus/Makefile.am SICS ...
by Roberto Bagnara 06 Mar '02

06 Mar '02

1 0

ppl/interfaces/Prolog ppl_prolog.outlines.hh t ...
by Roberto Bagnara 06 Mar '02

06 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-06 13:59:01 Modified files: interfaces/Prolog: ppl_prolog.outlines.hh track_allocation.hh interfaces/Prolog/SICStus: ppl_sicstus.cc ppl_sicstus.pl Log message: GNU Prolog, SICStus Prolog and SWI-Prolog interfaces now share most of the code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/track_alloc… 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…

1 0

ppl/src GenSys.cc
by Enea Zaffanella 06 Mar '02

06 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-06 11:39:44 Modified files: src : GenSys.cc Log message: In GenSys::affine_image(), rays and lines can be mapped into the origin only if the transformation is NOT invertible. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 06 Mar '02

06 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-06 11:27:11 Modified files: src : Polyhedron.cc Log message: Invertible affine transformations preserve both the minimality and the saturation relations of constraints and generators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/interfaces/Prolog exceptions.hh ppl_prolog ...
by Roberto Bagnara 06 Mar '02

06 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-06 08:00:47 Modified files: interfaces/Prolog: exceptions.hh ppl_prolog.outlines.hh interfaces/Prolog/GNU: ppl_gprolog.cc interfaces/Prolog/SWI: ppl_swiprolog.cc Added files: interfaces/Prolog: track_allocation.hh Log message: GNU Prolog interface fixed. More common code between the GNU Prolog and the SWI Prolog interfaces. Allocation tracking implemented in a separate file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/track_alloc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/exceptions.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0

w3ppl/htdocs/Links Links.raw
by Roberto Bagnara 06 Mar '02

06 Mar '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-03-06 07:44:25 Modified files: htdocs/Links : Links.raw Log message: URI for GNU Prolog fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0

ppl/interfaces/Prolog/GNU ppl_gprolog.cc
by Roberto Bagnara 05 Mar '02

05 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-05 20:15:39 Modified files: interfaces/Prolog/GNU: ppl_gprolog.cc Log message: Work around a couple of bugs in GNU Prolog 1.2.8. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr…

1 0

ppl/src GenSys.cc
by Enea Zaffanella 05 Mar '02

05 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-05 19:07:23 Modified files: src : GenSys.cc Log message: Now GenSys::satisfy() correctly handles the case when c is an equality. Still have to check the case of c being an inequality. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/tests satisfies4.cc
by Enea Zaffanella 05 Mar '02

05 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-05 16:46:59 Modified files: tests : satisfies4.cc Log message: Corrected the test just inserted (and set NOISY = 0). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/satisfies4.cc.diff?cvsr…

2 1