The user guide (stan-reference-2.17.0.pdf) describes the inc_beta function as being the first integral in section F.2. Stan actually implements the inc_beta function as the second integral, i.e. as the regularised incomplete beta function.
This is the same design choice made in several other languages (for instance, scipy implements it this way), but the documentation should make this clear!