Refinement in Chalice

Mar 5, 2013 at 5:13 PM

I would like to experiment with Chalice to do some stepwise refinement, but when I run chalice on my example, I get an error message stating that stepwise refinements are currently not supported. I am using the default development version (default branch).

Which version do I have to use to experiment with stepwise refinement?

Many thanks in advance,
Mar 6, 2013 at 12:50 AM
Hi Joao,

Stepwise refinement has stopped being supported when a major change to how functions and predicates are handled has been implemented (fixing a soundness issue). I believe the latest revision before this change was 1233b86dbd15.

Note however, that we have fixed several bugs and made other improvements to Chalice in the mean-time. You might find certain things not working correctly.


PS: Also note that Chalice now has its own repository at