Özgür Akgün

Hi @ott2 - It's been a while a realise. I am trying to reproduce this but it seems with current Conjure the first two models work. For reference, the following...

I edited the test case to run each example (with m=3). For me 1 and 3 runs without any problems, but 2 hits the SR bug* you see. It would...

Oh I see now. I must have made a mistake when I copied the files over. You'll see if you look at the files in the [test directory](https://github.com/conjure-cp/conjure/tree/16c3e4ba99d5fcf227658be9f80e938f8ae6a9ba/tests/custom/issues/395). I'll fix...

Fixed now, we are in the same place. The commit above (d8d81ee) fixes the copy/paste error.

Yeeees, I normally do rm -r conjure-output. I can add a check I suppose...

This seems to be about undefinedness handling. At some point the following transformation is applied. ``` Rule: sequence-image{ExplicitBounded}-not-a-bool Input: image(plan_ExplicitVarSizeWithMarkerR14_Values[q2], q1 - 1) Output: { plan_ExplicitVarSizeWithMarkerR14_Values_ExplicitBounded_Values[q2, q1 - 1] @...

Hi Andras, As discussed before: Conjure's modelling mode isn't really suited for handling large amounts of data. (I realised these functions aren't very large, but alas). However when the data...

Sorry I missed this. I agree we can give a bit more context from the original expression. We can get away with the current error messages most of the time...

Are you after `log2` only? I assume this does not need to work on decision variables?

Is this close enough to what you want @Revilotom? See the example in the above commit. It's towards the end.