[PPL-devel] minimized_constraints() problem in 0.4.2

[Roberto Bagnara]

kmixter at longshot.com wrote:
> I'm doing a first pass at integrating PPL with the Action Language
> Verifier under Dr. Tevfik Bultan at UC Santa Barbara.  I've run into what
> appears to be a problem in the most recent 0.4.2 release. Please let me
> know as soon as possible if I'm doing something wrong or if it's a genuine
> problem.  I'd like to have an integration I can show next week.
> 
> The problem is that minimized_constraints is crashing when it gets down
> into strongly_minimize_constraints:
> 
> if (topologically_closed || !strict_inequals_saturate_all_rays) {
>     assert(cs_rows < cs.num_rows());
>     ...
> 
> The condition topologically_closed is true, but cs_rows == cs.num_rows().
> 
> Here is the testcase which reproduces the condition:

Dear Ken,

we have solved the bug you have reported.  The quickest way to let you have
a workaround is, we believe, providing you with a snapshot of what will become
PPL version 0.5.  You can find it in our snapshots' area, accessible by FTP at

   ftp://ftp.cs.unipr.it/pub/ppl/snapshots/

and by HTTP at

   http://www.cs.unipr.it/ppl/Download/ftp/snapshots/

Of course, this operation is a bit rushed and not without risks since
the snapshot did not undergo thorough testing and because version 0.5
brings some changes that are not backward compatible (_most_ of which
are listed in the NEWS file).  However, we will give you the maximum
of assistance we can.  Please do not hesitate to post the questions
you may have to ppl-devel at cs.unipr.it (you have just been given full
write permission to that mailing list) for the quickest response time.
Thanks a lot for helping us improve PPL.
Cheers

     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