November 2005 - PPL-devel - BUGSENG Mailman

[Fwd: New version of CLooG]
by Roberto Bagnara 23 Nov '05

23 Nov '05

-------- Original Message -------- Subject: New version of CLooG Date: Wed, 23 Nov 2005 01:22:47 +0100 From: Bastoul Cédric <cedric.bastoul(a)inria.fr> Reply-To: polylib(a)u-strasbg.fr To: polylib(a)u-strasbg.fr Hi @ the PolyLib crew, this message to give some news about the CLooG code generator since the first announce here in late 2002: - a new version is available since few days, 0.14.0, with significant improvements (GMP support, improved space/time scalability, better generated code, many bug fixes, new documentation...), - a new home with online access (even if the input is still not really human-friendy) at http://www.cloog.org CLooG is a PolyLib plugin providing a free software and library generating loops for scanning Z-polyhedra. That is, it finds a code (e.g. in C, FORTRAN...) that reaches each integral point of one or more parameterized polyhedra. It has been originally written to solve the code generation problem for optimizing compilers based on the polytope model (as Kelly's Omega CodeGen or Quilleré's LoopGen). CLooG is now used in various teams from both academic and industry to solve various problems, from building control automata for high-level synthesis to finding the best polynomial approximation of a function. Basically, news are good :-) ! Best regards, Cédric Bastoul -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/src Grid_public.cc Grid_nonpublic.cc Grid_ ...
by Matthew Mundell 23 Nov '05

23 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-23 00:06:35 Modified files: src : Grid_public.cc Grid_nonpublic.cc Grid_minimize.cc Grid.defs.hh Congruence_System.cc Log message: Move the code in the static minimize methods into update_congruences and update_generators. Call update_congruences and update_generators instead of the static minimize methods in methods add_recycled_congruences_and_minimize and add_recycled_generators_and_minimize. In OK test congruence to generator conversion via a temporary grid instead of a temporary congruence system. 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_minimize.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0

ppl/src Grid_conversion.cc
by Matthew Mundell 22 Nov '05

22 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-22 12:08:19 Modified files: src : Grid_conversion.cc Log message: Improve two comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c…

1 0

ppl/src Grid_conversion.cc Grid.defs.hh
by Matthew Mundell 22 Nov '05

22 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-22 11:34:47 Modified files: src : Grid_conversion.cc Grid.defs.hh Log message: Make conversion void of return. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 22 Nov '05

22 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-22 11:21:00 Modified files: src : Grid_public.cc Log message: Leave dim_kinds at the end of the ASCII dump. Resign to reading dim_kind into a short temporary int in ascii_load. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/tests/Grid congruence1.cc
by Matthew Mundell 22 Nov '05

22 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-22 11:01:46 Modified files: tests/Grid : congruence1.cc Log message: Use a local namespace. Merge test10 and test11. Add is_trivial_* tests of the form b %= 0 mod m where b <> 0 mod m. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruence1.cc.dif…

1 0

ppl/src Congruence.defs.hh Congruence.cc
by Matthew Mundell 22 Nov '05

22 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-22 10:38:19 Modified files: src : Congruence.defs.hh Congruence.cc Log message: Consider b %= 0 mod m where b <> 0 mod m as false in is_trivial_false. Leave the constant term be after factoring out the modulus in normalize. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroo…

1 0

ppl/src Rounding_Dir.defs.hh
by Roberto Bagnara 22 Nov '05

22 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-11-22 07:33:51 Modified files: src : Rounding_Dir.defs.hh Log message: Added new rounding modes ROUND_NOT_NEEDED and ROUND_DONT_CARE. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rounding_Dir.defs.hh.diff…

1 0

ppl/src Rounding_Dir.defs.hh
by Roberto Bagnara 22 Nov '05

22 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-11-22 07:31:47 Modified files: src : Rounding_Dir.defs.hh Log message: Added a couple of comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rounding_Dir.defs.hh.diff…

1 0

ppl/tests/Grid isuniverse1.cc
by Matthew Mundell 21 Nov '05

21 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-21 16:29:09 Modified files: tests/Grid : isuniverse1.cc Log message: Use a local namespace. Insert test4, where the gird is zero dimension empty. Add tests with the systems in various states of minimization and up-to-date'ness. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/isuniverse1.cc.dif…

1 0