Pushing the PICsim final version (for credit)