885 B
885 B
Pull request checklist
-
The PR has a proper title. Use Semantic Commit Messages. (No more branch-name title please)
-
Make sure this is ready to be merged into the relevant branch. Please don't create a PR and let it hang for a few days.
-
Ensure you can run the codes you submitted succesfully. These submissions will be prioritized for review:
Introduce improvements in program execution speed;
Introduce improvements in synthesis quality;
Fix existing bugs reported by user feedback (or you met);
Introduce more convenient user operations.
PR type
- Bug fix / new feature / synthesis quality improvement / program execution speed improvement
Description
- Describe what this pull request is for.
- What will it affect.
Screenshot
- Please include a screenshot if applicable