This repository was a demonstration to the IBEX developers of the feasibility to migrate the IBEX library svn SourceForge repository to git and Github. Do not use it.
The official IBEX repository is now at:
https://github.com/ibex-team/ibex-lib
And the official IBEX website is: