[cfe-dev] Bugs 2746 and 3261

Roberto Bagnara bagnara at cs.unipr.it
Mon Jan 12 05:08:48 PST 2009


These are complete show-stoppers for us.  Is there any hope
they may be fixed soon?  Are there workarounds (even dirty
ones) we might use so as to proceed with our work?
Many thanks,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it



More information about the cfe-dev mailing list