conp-solutions

The Travis checks fail with an error that is hard to understand given the current output. Interestingly, it does not seem to fail for Riss, alghouth Riss uses almost the...

There is no clear reason. I quickly managed to produce a static build, hence, i just used that. It might be possible to just drop the static keyword, I simply...

I applied the proposed the above fix to RIss' cmake. In case this change passes travis, I'm happy to push the change, so that the STP build works again: https://github.com/conp-solutions/riss/pull/8...

I added the memaccess check to Riss' build system. Can you retry the build now please? Before I look into the above commit-ID stuff, there is other things in Riss'...

For the actual competition submission, where should this code land? I would suggest to create a separate branch in the main repository, or, as done for the cloud track, create...

Yes, that works.For the dedicated branch: i could at least create the pull request, and when merging without merge commit, the git hash would stay the same.Just let me know...

This is the branch merged on top of the current origin/master. This is what I'd hand in to the competition.

That works for me. However, i unfortunately do not have much bandwidth to contribute other than the few bursts per year to adapt to competition configurations and related nits. If...