July 2003 - PPL-devel - BUGSENG Mailman

ppl/src PowerSet.defs.hh PowerSet.inlines.hh P ...
by Roberto Bagnara 10 Jul '03

10 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-10 17:39:30 Modified files: src : PowerSet.defs.hh PowerSet.inlines.hh PowerSet.types.hh Log message: Several improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.types.hh.diff?cv…

1 0

ppl/src AskTell.defs.hh AskTell.inlines.hh Ask ...
by Roberto Bagnara 10 Jul '03

10 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-10 17:38:31 Modified files: src : AskTell.defs.hh AskTell.inlines.hh AskTell.types.hh Removed files: src : LCompare.defs.hh LCompare.inlines.hh LCompare.types.hh Log message: Started reimplementing the AskTell class from scratch. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.types.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LCompare.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LCompare.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LCompare.types.hh.diff?cv…

1 0

ppl TODO
by Roberto Bagnara 10 Jul '03

10 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-10 17:34:18 Modified files: . : TODO Log message: We must not forget to harmonize all the methods void PPL::Polyhedron::throw_...(): now they build error messages according to (confusingly) different styles. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.54…

1 0

ppl/tests mc91.cc
by Roberto Bagnara 05 Jul '03

05 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-05 17:53:50 Modified files: tests : mc91.cc Log message: Call PowerSet:add_disjunct() instead of the no longer existing PowerSet::inject(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mc91.cc.diff?cvsroot=pp…

1 0

ppl/Watchdog Watchdog.cc
by Roberto Bagnara 05 Jul '03

05 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-05 17:52:35 Modified files: Watchdog : Watchdog.cc Log message: Delete statement uncommented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.cc.diff?cvs…

1 0

ppl/src algorithms.hh
by Roberto Bagnara 05 Jul '03

05 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-05 17:48:47 Modified files: src : algorithms.hh Log message: Added simple widening on powersets of polyhedra. They are based on the extrapolation operators but enforce a maximum number of polyhedra in the destination powerset. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/src PowerSet.defs.hh PowerSet.inlines.hh
by Roberto Bagnara 05 Jul '03

05 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-05 17:45:59 Modified files: src : PowerSet.defs.hh PowerSet.inlines.hh Log message: Added template <typename CS> void PowerSet<CS>::pop_back(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl/src PowerSet.defs.hh PowerSet.inlines.hh a ...
by Roberto Bagnara 01 Jul '03

01 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-01 15:54:25 Modified files: src : PowerSet.defs.hh PowerSet.inlines.hh algorithms.hh Log message: PowerSet::inject() renamed PowerSet::add_disjunct(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/src AskTell.defs.hh AskTell.inlines.hh
by Roberto Bagnara 01 Jul '03

01 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-01 15:49:24 Modified files: src : AskTell.defs.hh AskTell.inlines.hh Log message: AskTell::inject() renamed AskTell::add_pair(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.inlines.hh.diff?c…

1 0

ppl/src Polyhedron.inlines.hh PowerSet.defs.hh
by Enea Zaffanella 01 Jul '03

01 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-07-01 09:31:53 Modified files: src : Polyhedron.inlines.hh PowerSet.defs.hh Log message: Corrected minor typo. Renamed PowerSet::add_disjunct as PowerSet::inject. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs…

1 0