Skip to content

Beautify paper: cover page, indices, CLI args, page numbering#1045

Merged
GiggleLiu merged 3 commits intomainfrom
paper-beautify
Apr 14, 2026
Merged

Beautify paper: cover page, indices, CLI args, page numbering#1045
GiggleLiu merged 3 commits intomainfrom
paper-beautify

Conversation

@isPANN
Copy link
Copy Markdown
Collaborator

@isPANN isPANN commented Apr 13, 2026

Summary

  • Add cover page with logo, subtitle, abstract, and table of contents
  • Show CLI arguments (--flag-name) instead of struct field names in problem schema tables
  • Add three index sections: Index of Problems, Index of Reduction Rules (by Source), Index of Reduction Rules (by Target)
  • Use Roman numeral page numbering for front matter, Arabic for main matter
  • Fix spacing between definition text and Complexity bullet
  • Fix KSatisfiability→TimetableDesign reduction layout

Closes #1036
Closes #1037
Closes #1038

🤖 Generated with Claude Code

isPANN added 3 commits April 14, 2026 04:35
…eDesign reduction

- Introduced pre-indexing for graph edges and nodes to optimize lookups, reducing complexity from O(n) to O(1).
- Updated the layout structure by removing unnecessary blocker pairs, simplifying the logic for handling blocked colors.
- Adjusted the expected number of craftsmen and tasks in the test cases to reflect the new encoding scheme.
- Improved documentation for the ellipse drawing function to clarify label positioning options.
….typ

- Adjusted page settings to include a footer with page numbers.
- Updated the rendering of problem CLI arguments and improved table headers for clarity.
- Added indices for problems and reduction rules, enhancing navigation within the document.
- Revised comments and documentation for better understanding of the changes made.
- Updated page settings to replace footer with appropriate numbering options.
- Enhanced comments to clarify the purpose of page numbering in front and main matter.
- Adjusted indices for problems and reduction rules to improve document navigation.
- Standardized text link color for better visibility in the index sections.
@codecov
Copy link
Copy Markdown

codecov bot commented Apr 13, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 97.94%. Comparing base (d8a6168) to head (f33f005).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #1045      +/-   ##
==========================================
- Coverage   97.97%   97.94%   -0.03%     
==========================================
  Files         979      979              
  Lines      100912   100890      -22     
==========================================
- Hits        98865    98816      -49     
- Misses       2047     2074      +27     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@GiggleLiu GiggleLiu merged commit f2a3648 into main Apr 14, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

2 participants