Fixed FPU load/store first parameter (should be frX, was rX)
Forgot to add 64-bit instructions :-)
Added binary file for testing
Changed default model to Generic-32, and replaced register names by request (r1 instead sp etc.). Missed non-important {} in if-else.
Initial check-in