kmixter@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@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