search

kiniry / Mobius

4 stars 8 forks source link

fx7 VCgen is broken #61

Open atiti opened 11 years ago

atiti commented 11 years ago

fx7 VCgen worked in the 2.0b2 release, but it no longer works. Someone mucking about in escjava.sortedProver broke things. In particular, Lifter is throwing a NullPointerException when dealing with equality. We think it is INRIA's fault. :)

atiti commented 11 years ago

From: jcharles (GH: kiniry) Date: Tue Nov 6 16:59:30 2007

The null pointer exception is not thrown anymore. The main bug was a problem in the type hierarchy, which is fixed.

Maybe the main bug is different from what I saw. If so it was not introduced by us (INRIA + ETH).