Skip to content

Document Kvasir option --dyncomp-unhandled-ops - #891

Closed
mernst wants to merge 1 commit into
codespecs:masterfrom
mernst:dyncomp-unop-cases
Closed

mernst wants to merge 1 commit into
codespecs:masterfrom
mernst:dyncomp-unop-cases

Conversation

@mernst

@mernst mernst commented Oct 10, 2026 •

Copy link
Copy Markdown
Member

Documents the new Kvasir option --dyncomp-unhandled-ops=panic|warn, added in codespecs/fjalar#85, in the Daikon manual and the changelog.

Merge this after codespecs/fjalar#85.

@coderabbitai

coderabbitai Bot commented Oct 10, 2026

Copy link
Copy Markdown

Warning

Review limit reached

  • Run on-demand review

This review includes 2 billable files and costs up to $0.50.

Or wait 9 minutes for your next included review.

Check out review usage here.

View limit details

Limit details: You’ve used all 2 included reviews currently available.

Learn how review limits work.

Review configuration:

⚙️ Run configuration
  • Configuration used: Repository: codespecs/daikon/.coderabbit.yaml
  • Review profile: ASSERTIVE
  • Plan: Advanced
  • Run ID: 7a92e338-78d4-4b82-a199-22d267ea76f4

📥 Commits

Reviewing files that changed from the base of the PR and between 779e30d and e2c8131.


📒 Files selected for processing (2)
  • doc/CHANGELOG.md
  • doc/daikon.texinfo

  • Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Comment @coderabbitai help to get the list of available commands.

@mernst

mernst commented Oct 10, 2026

Copy link
Copy Markdown
Member Author

Replaced by #894 (same commit; the branch was renamed to dyncomp-unhandled-ops to match codespecs/fjalar#85).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant