I updated the solc version, because the one used does not compile on my Mac. This makes my IDE happy. But I'm not sure of the implications, so if it's a problem, I can revert 74ea66620333dd46145a59ae54d8c3569e347f51.
I also changed the test case to contain one (instead of zero) constraint.
Switched to this fork of matter-labs/bellman, instead of relying on a modified version that's locally available. This fixes at least some CI steps.
As mentioned in the comments of https://github.com/matter-labs/bellman/issues/46, the single core implementation of
bellman_ce
does not seem to work properly. This should be fixed now.Two other changes:
solc
version, because the one used does not compile on my Mac. This makes my IDE happy. But I'm not sure of the implications, so if it's a problem, I can revert 74ea66620333dd46145a59ae54d8c3569e347f51.matter-labs/bellman
, instead of relying on a modified version that's locally available. This fixes at least some CI steps.