diff options
| author | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-30 16:17:03 +0000 |
|---|---|---|
| committer | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-30 16:17:03 +0000 |
| commit | 469cf0eb8ebe007ed2ed6d9b694396fb8216f80b (patch) | |
| tree | 6ee8a30891a81097ba2d655fa691ba6cf13ba377 /gcc/ada/prj-proc.ads | |
| parent | 047f48c557dc453bb972b875ec808a942dd7bf6b (diff) | |
| download | gcc-469cf0eb8ebe007ed2ed6d9b694396fb8216f80b.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@147008 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/prj-proc.ads')
0 files changed, 0 insertions, 0 deletions