@dmaziuk
Shearwater uses open versions of VPM and Buhlmann ZHL. Unadulterated, open source, you can model exactly what that computer will do with any software out there.
Models, yes. Software: no.
A fortran program (Erik Baker's) may be considered software if it runs in the computer as is. If you have to reimplement it in a programming language your computer understands, it's not software anymore. At best it's "an algorithm". And a textual description of the model with some formulae thrown in is not even that. There is an unknown distance between what you're talking about and what is actually running inside any given dive computer.
From an instructor standpoint, that is a safety thing and I refuse to dive any computer that can lock me out when I'm teaching.
I get it, but there are certain pesky laws of physics that don't change when you're teaching as an instructor. As a simple contrived example, if your CPU has 8-bit registers, it can only count to 255. It can't tell 256 from 1001, so any gas loading over 255 it's calculations are totally screwed. As a computer programmer I'm telling you, there is a point where it's gotta go titsup. Part of the definition of "proprietary" is we don't know what/where it is.