- PPL-devel - BUGSENG Mailman

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

02 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-02 17:27:15 Added files: interfaces/Prolog: exceptions.hh Log message: Exceptions to be used by the Prolog interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/exceptions.…

1 0

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

02 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-02 17:25:53 Modified files: interfaces/Prolog: ppl_prolog.outlines.hh interfaces/Prolog/SICStus: ppl_sicstus.cc ppl_sicstus.pl interfaces/Prolog/SWI: ppl_swi.cc Log message: Progress on the SWI and SICStus interfaces. More error checking added. 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/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/SWI/ppl_swi…

1 0

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

02 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-02 14:32:34 Modified files: interfaces/Prolog: ppl_prolog.outlines.hh interfaces/Prolog/SICStus: ppl_sicstus.cc interfaces/Prolog/SWI: ppl_swi.cc Log message: SICStus and SWI interfaces reconciled. 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/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0

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

02 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-02 09:25:29 Modified files: src : Polyhedron.cc Log message: In add_constraints(), corrected a bug whereby we were mixing constraints having different row's capoacities into a single constraint system. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src minimize.cc
by Enea Zaffanella 02 Mar '02

02 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-02 09:23:28 Modified files: src : minimize.cc Log message: Small change in a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…

1 0

ppl/src Generator.defs.hh
by Enea Zaffanella 02 Mar '02

02 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-02 09:20:33 Modified files: src : Generator.defs.hh Log message: Added the right doxygen comments to enumeration Generator::Type. The special command \hideinitializer allows to mask implementation details. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv…

1 0

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

02 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-02 07:15:33 Modified files: interfaces/Prolog: ppl_prolog.outlines.hh interfaces/Prolog/SICStus: ppl_sicstus.cc interfaces/Prolog/SWI: ppl_swi.cc Log message: Some progress on the combined SICStus/SWI interface. 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/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0

ppl/src Polyhedron.defs.hh minimize.cc
by Enea Zaffanella 01 Mar '02

01 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-01 16:55:49 Modified files: src : Polyhedron.defs.hh minimize.cc Log message: Polished the function add_and_minimize(...). No longer using variable `index', which was useless. Some style changes to made the code more uniform wrt what is done in function minimize(...). Also, con_to_ray renamed into con_to_gen. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…

1 0

ppl/interfaces/Prolog/SWI ppl_swi.cc
by Roberto Bagnara 01 Mar '02

01 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-01 16:14:06 Added files: interfaces/Prolog/SWI: ppl_swi.cc Log message: This will become the SWI-Prolog stub. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus.cc
by Roberto Bagnara 01 Mar '02

01 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-01 15:54:16 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc Log message: Use ppl_prolog.outlines.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0