Norcroft : Jopcodes doc?

About Norcroft…

It compiles C code and inline assembler to an intermediate instruction set (“jopcodes”), and the ARM backend can generate ARMv5 and a few ARMv6 instructions from these jopcodes.

Are the specs of jopcodes public (with a jopcode compiler of course)?

I’m working on C frontends for some programming languages (Basic, OPL, Pascal, etc.). Jopcode frontends would be much better :)

Most of my work will be available in open source form (or commercial, if integrated in Norcroft). A long term project “a la Acornsoft”.

Nota: I have today a fast opcode interpreter (made in C) and I work on my own parser/translator.

Très bien, super, bravo, etc.¹

¹ Someone else will probably actually be able to answer your question!

Nota: I can sign a NDA to get access to these technologies.