From till at informatik.uni-bremen.de  Tue Jun 29 17:51:01 2010
From: till at informatik.uni-bremen.de (Till Mossakowski)
Date: Tue, 29 Jun 2010 17:51:01 +0200
Subject: [Hets-devel] [Hets] #66: implement static analysis of
	refinements
In-Reply-To: <053.c5a015005453d0f4c34cf5cb3a62cbaa@informatik.uni-bremen.de>
References: <044.cdb47a1d2a06e51d2dd02146362fc15c@informatik.uni-bremen.de>
	<053.c5a015005453d0f4c34cf5cb3a62cbaa@informatik.uni-bremen.de>
Message-ID: <4C2A1665.3070602@informatik.uni-bremen.de>

good work!

Best, Till

Hets schrieb:
> #66: implement static analysis of refinements
> --------------------------------+-------------------------------------------
>   Reporter:  till               |       Owner:  mcodescu
>       Type:  feature            |      Status:  closed  
>   Priority:  major              |   Milestone:  0.97    
>  Component:  development-graph  |     Version:  0.66    
> Resolution:  fixed              |    Keywords:          
> --------------------------------+-------------------------------------------
> Changes (by mcodescu):
> 
>   * status:  new => closed
>   * resolution:  => fixed
> 
> 
> Comment:
> 
>  works for steam boiler control example and the other refinements from WADT
>  2004 paper.
> 
>  Report bugs to me :)
>