Open
Conversation
The warning falsely reported 4 missing rules because .get() only sees state accumulated before the current location. Rules defined after the check were invisible. Using .final() sees all rules in the document. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
…SetCovering) - MinimumMaximalMatching: add @xiao2014 citation, O*(1.3160^n) complexity - PartitionIntoPathsOfLength2: upgrade canonical example from trivial 6-vertex (two disjoint paths) to 9-vertex 3×3 grid with 12 edges and 10 distinct valid groupings; add figure, pred commands, fixture - MinimumSumMulticenter: replace prose citations with @karivhakimi1979, @cohenaddad2022 - MinMaxMulticenter: replace prose citations with @karivhakimi1979, @hochbaumshmoys1985, @hsunemhauser1979; add per-vertex distances - MultipleCopyFileAllocation: upgrade degenerate canonical example (all vertices host copies) to path P_6 with varied usage/storage showing storage-vs-access tradeoff; enrich background with CDN, database replication, UFL connection Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
Codecov Report✅ All modified and coverable lines are covered by tests. Additional details and impacted files@@ Coverage Diff @@
## main #1051 +/- ##
=======================================
Coverage 97.94% 97.94%
=======================================
Files 979 979
Lines 100890 100893 +3
=======================================
+ Hits 98816 98819 +3
Misses 2074 2074 ☔ View full report in Codecov by Sentry. 🚀 New features to boost your workflow:
|
Closes #1050 — users can now refer to the decision vertex cover problem as "VC", "VertexCover", or "DMVC" (legacy). The internal registered name remains DecisionMinimumVertexCover to avoid breaking the proc macro name extraction in #[reduction]. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
isPANN
changed the title
Move trailing punctuation (periods, commas) from outside display math closing `$` to inside the formula content, e.g. `$.\n` → content line gets `.` appended and closing becomes `$\n`. Affects 100 instances across both multi-line and single-line display equations. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
…and reduction rules This new skill allows users to review the Typst paper for quality issues, evaluating 10 entries per session and generating structured reports on mechanical and critical issues. The skill includes detailed checklists for both problem definitions and reduction rules, ensuring thorough evaluations without modifying any files. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
@xiao2014citation and O*(1.3160^n) complexity for edge dominating set equivalence@karivhakimi1979,@cohenaddad2022@karivhakimi1979,@hochbaumshmoys1985,@hsunemhauser1979; add per-vertex distance enumerationTest plan
cargo test— all 138 tests passtypst compile— paper builds cleanly, no warningsexport_examples🤖 Generated with Claude Code