Code indexing in gitaly is broken and leads to code not being visible to the user. We work on the issue with highest priority.
RFQ analysis version
Version used for AMR paper
First release. Not fully tested.