An implementation of the Petra Object Model in Julia
Automates checking type stability of Julia functions