Skip to content

Add support for uninterpreted function in cvc5 (#654)#657

Draft
filipeom wants to merge 2 commits into
mainfrom
filipe/issue-654
Draft

Add support for uninterpreted function in cvc5 (#654)#657
filipeom wants to merge 2 commits into
mainfrom
filipe/issue-654

Conversation

@filipeom

@filipeom filipeom commented Jul 24, 2026 •
edited
Loading

Copy link
Copy Markdown
Member

Depends on cvc5 dev formalsec/ocaml-cvc5#47

Closes #654

@filipeom
filipeom requested a review from a team as a code owner July 24, 2026 09:27
@coderabbitai

coderabbitai Bot commented Jul 24, 2026 •
edited
Loading

Copy link
Copy Markdown

Important

Review skipped

Auto reviews are disabled on base/target branches other than the default branch.

🗂️ Base branches to auto review (1)
  • main

Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: CHILL

Plan: Pro Plus

Run ID: 64d81304-14f3-4d90-94f2-384e282af701

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

  • 🔍 Trigger review

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

@filipeom
Fix rotate operator serialization (#655)
1511d61 
This issue was probably introduced by #629. Should have done a better
job testing our parser at that point.

Closes #655
@filipeom
filipeom marked this pull request as draft July 25, 2026 09:29
Base automatically changed from filipe/issue-655 to main July 25, 2026 10:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@filipeom