>@ Ivan “I anticipate the most trouble with representing in-flight values. Because Mill explicitly separates instruction initiation from instruction retire, a sim must model instructions that are in-flight in the pipeline…”
Right, that does sound tricky. But does the end user need a high-performace Sim/emulator for every conASM? If you just want to port genASM code, then building a QUEMU module as a distinct target for the specializer makes sense to me.