This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r147008 - in /branches/melt-branch/gcc: ChangeL...
- From: bstarynk at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Thu, 30 Apr 2009 16:17:04 -0000
- Subject: r147008 - in /branches/melt-branch/gcc: ChangeL...
Author: bstarynk
Date: Thu Apr 30 16:17:03 2009
New Revision: 147008
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=147008
Log:
2009-04-30 Basile Starynkevitch <basile@starynkevitch.net>
* gcc/basilys.h (basilys_raw_new_ppl_empty_constraint_system)
(basilys_raw_new_ppl_unsatisfiable_constraint_system)
(basilys_raw_clone_ppl_consstraint_system): Added new
functions. Also, added spaces and corrected typos in some
comments.
* gcc/melt/warmelt-first.melt: Added discr_ppl_polyhedron.
* gcc/melt/ana-base.melt: added raw_new_ppl_empty_constraint_system &
raw_new_ppl_unsatisfiable_constraint_system.
* gcc/melt/ana-simple.melt: using abenv_pplpoly not abenv_pplconsys
field. Using polyhedrons, not constraint systems as main
lattice. Still incomplete.
Modified:
branches/melt-branch/gcc/ChangeLog.MELT
branches/melt-branch/gcc/basilys.h
branches/melt-branch/gcc/melt/ana-base.melt
branches/melt-branch/gcc/melt/ana-simple.melt
branches/melt-branch/gcc/melt/warmelt-first.melt