ibex-team/ibex-lib — pull request #86 by msis (2014-12-15 14:38:29+00:00)
Title: Adds bwd_atan2().

Note that when y AND x contains zero, it is undefined, therefore not_implemented is called.