May 2005 - PPL-devel - BUGSENG Mailman

ppl/src Grid_public.cc
by Matthew Mundell 25 May '05

25 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-25 14:46:58 Modified files: src : Grid_public.cc Log message: Take the extra temporary congruence system out of the OK minimize test. Modify add_recycled_congruences and add_recycled_congruences_and_minimize to update the congruences before adding new ones. Also improve the empty handling in both these methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl ./config.guess ./config.sub ./install-sh . ...
by Roberto Bagnara 25 May '05

25 May '05

1 0

ppl ./config.guess ./config.sub ./ltmain.sh Wa ...
by Roberto Bagnara 25 May '05

25 May '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-05-25 07:50:47 Modified files: . : config.guess config.sub ltmain.sh Watchdog : config.guess config.sub ltmain.sh Log message: Updated from Libtool 1.5.16. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&r1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.guess.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.sub.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ltmain.sh.diff?cvsro…

1 0

ppl TODO
by Roberto Bagnara 25 May '05

25 May '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-05-25 07:49:39 Modified files: . : TODO Log message: Added one issue to be checked before releasing PPL 0.8. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.14…

1 0

ppl/interfaces/Prolog/SWI Makefile.am
by Roberto Bagnara 25 May '05

25 May '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-05-25 07:47:36 Modified files: interfaces/Prolog/SWI: Makefile.am Log message: The `libppl_swiprolog' library must be linked also with `libpwl'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl/src Grid_public.cc Grid_nonpublic.cc Grid_ ...
by Matthew Mundell 24 May '05

24 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-24 21:27:28 Modified files: src : Grid_public.cc Grid_nonpublic.cc Grid_chdims.cc Grid.inlines.hh Grid.defs.hh Log message: Take out all code for handling pending rows. Add a check for pending rows to method OK. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 24 May '05

24 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-24 21:23:37 Modified files: src : Grid_simplify.cc Log message: Use unset_pending_rows instead of clearing the pending rows manually. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 24 May '05

24 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-24 19:17:49 Modified files: src : Grid_public.cc Log message: Always adjust the space dimension of con_sys in constructor Grid(num_dimensions, kind). Clean a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_minimize.cc
by Matthew Mundell 24 May '05

24 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-24 18:23:03 Modified files: src : Grid_minimize.cc Log message: Take out tracing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_minimize.cc.diff?cvs…

1 0

ppl tests/Grid/removespacedims2.cc tests/Grid/ ...
by Matthew Mundell 24 May '05

24 May '05

1 0