September 2005 - PPL-devel - BUGSENG Mailman

ppl ./COPYING ./Makefile.am ./NEWS ./README ./ ...
by Roberto Bagnara 02 Sep '05

02 Sep '05

1 0

ppl/src Grid.inlines.hh
by Matthew Mundell 02 Sep '05

02 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-02 17:00:56 Modified files: src : Grid.inlines.hh Log message: Take reference to pending rows out of comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr…

1 0

ppl/utils timings.cc
by Roberto Bagnara 02 Sep '05

02 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-02 17:00:53 Modified files: utils : timings.cc Log message: Fixed print_clock(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/timings.cc.diff?cvsroot…

1 0

ppl/src Grid_public.cc Grid_nonpublic.cc Grid. ...
by Matthew Mundell 02 Sep '05

02 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-02 17:00:08 Modified files: src : Grid_public.cc Grid_nonpublic.cc Grid.defs.hh Log message: Add add_constraint, add_constraints and Grid(cs). Add throw_dimension_incompatible methods for Constraints and Constraint_Systems. 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.defs.hh.diff?cvsroot…

1 0

ppl/src Congruence.inlines.hh
by Matthew Mundell 02 Sep '05

02 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-02 11:42:10 Modified files: src : Congruence.inlines.hh Log message: Check for all cases of trivially true congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.dif…

1 0

ppl/src Congruence_System.cc Congruence.defs.hh
by Matthew Mundell 02 Sep '05

02 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-02 11:41:19 Modified files: src : Congruence_System.cc Congruence.defs.hh Log message: Strong normalize congruences before outputting them from the congruence system. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c…

1 0

ppl/src Congruence.cc
by Matthew Mundell 02 Sep '05

02 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-02 11:39:22 Modified files: src : Congruence.cc Log message: In the output operator only output the modulus for proper congruences, and use `=' instead of `=='. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroo…

1 0

ppl/src Congruence_System.cc
by Matthew Mundell 02 Sep '05

02 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-02 10:53:32 Modified files: src : Congruence_System.cc Log message: Use `while (true)' instead of `while (1)'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0

ppl/src Generator_System.cc
by Roberto Bagnara 02 Sep '05

02 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: roberto(a)cs.unipr.it 2005-09-02 10:08:24 Modified files: src : Generator_System.cc Log message: Use booleans when booleans are intended. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?…

1 0

ppl/src Grid_public.cc
by Roberto Bagnara 02 Sep '05

02 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: roberto(a)cs.unipr.it 2005-09-02 10:01:16 Modified files: src : Grid_public.cc Log message: Print only the minimized congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0