instances: Rework automatic instantiation completely to be less compiler heavy.
Most work is now done by instances generator when it is run (that is when compiling DIVINE). Contrary to situation with old automatic instantiation, the select function is now also auto generated, therefore the run-time overhead of instantiation should be less then or equal to previous version.
parent
ad6ad394
Please register or sign in to comment