robdockins
robdockins
I've updated EdisonAPI and EdisonCore with the outstanding updates to build on recent GHC, and pushed new versions (1.3.3) to Hackage.
@Lysxia has volunteered to assist and perhaps take over maintenance, so hopefully that will help keep things more responsive.
Backing up to c0f3626c60114863b4d23dae53ee9d0f1517971f does not seem like it makes a difference for this example.
Backing up to c0f3626c60114863b4d23dae53ee9d0f1517971f removes the desync issue, although the widening problems remain. ``` GraphNode ConcreteAddress 0x10ba8 vs. ConcreteAddress 0x10ba8 additional analysis errors * Error during widening: Could not find...
To be clear, I'm not sure this is about conditional calls. I'm not 100% what to make of the listed instructions.
NB, backing up to c0f3626c60114863b4d23dae53ee9d0f1517971f gives slightly different results. I'm not sure what to make of the difference. ``` ConcreteAddress 0x10778 program control flow desynchronized Original: 0x1079c analysis failure Just...
FWIW, I've just run a quick experiment. The test suite is currently failing if we switch to CVC4 or Z3. I can't tell for certain what the issues are, but...