- PPL-devel - BUGSENG Mailman

ppl/src ConSys.cc GenSys.cc Generator.defs.hh ...
by Roberto Bagnara 01 Sep '02

01 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-09-01 15:06:33 Modified files: src : ConSys.cc GenSys.cc Generator.defs.hh LinExpression.defs.hh Log message: Minor formatting changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif…

1 0

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 01 Sep '02

01 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-09-01 15:06:02 Modified files: src : Polyhedron.inlines.hh Log message: Make sure inlines are defined before they are used. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl ./NEWS ./configure.ac interfaces/C/ppl_c.c ...
by Roberto Bagnara 01 Sep '02

01 Sep '02

1 0

ppl/interfaces/Prolog Prolog_interface.dox pl_ ...
by Patricia Hill 22 Aug '02

22 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-08-22 15:41:50 Modified files: interfaces/Prolog: Prolog_interface.dox pl_check.pl Log message: Updated for concatenate_assign. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/src PowerSet.inlines.hh
by Roberto Bagnara 22 Aug '02

22 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-22 10:45:44 Modified files: src : PowerSet.inlines.hh Log message: PowerSet<CS>::add_constraint() and PowerSet<CS>::add_constraints() fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl/tests hypercubes.cc
by Enea Zaffanella 22 Aug '02

22 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-08-22 01:10:40 Modified files: tests : hypercubes.cc Log message: Some more tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/hypercubes.cc.diff?cvsr…

1 0

ppl/src PowerSet.inlines.hh
by Roberto Bagnara 20 Aug '02

20 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-20 17:21:07 Modified files: src : PowerSet.inlines.hh Log message: Several corrections. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl/src Polyhedron.defs.hh
by Roberto Bagnara 19 Aug '02

19 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-19 22:38:43 Modified files: src : Polyhedron.defs.hh Log message: Avoid unnecessary qualification. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src ConSys.cc ConSys.defs.hh GenSys.cc Gen ...
by Roberto Bagnara 19 Aug '02

19 Aug '02

1 0

ppl/src Status.defs.hh Status.cc Polyhedron.cc
by Roberto Bagnara 19 Aug '02

19 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-19 16:56:57 Modified files: src : Status.defs.hh Status.cc Polyhedron.cc Log message: The input and output operators on Status have been replaced by methods void ASCII_dump(std::ostream&) const and bool ASCII_load(std::istream&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0