Skip to content

Fix array model conversion#102

Merged
Saloed merged 2 commits intomainfrom
bitwuzla-array-model-fix
Apr 21, 2023
Merged

Fix array model conversion#102
Saloed merged 2 commits intomainfrom
bitwuzla-array-model-fix

Conversation

@Saloed
Copy link
Copy Markdown
Collaborator

@Saloed Saloed commented Apr 20, 2023

  • Fix array model retrieval for muliindexed arrays
  • Recognize array store pattern to avoid lambda expressions in model

@Saloed Saloed requested a review from CaelmBleidd April 20, 2023 19:02
@Saloed Saloed merged commit 39046b5 into main Apr 21, 2023
@Saloed Saloed deleted the bitwuzla-array-model-fix branch April 21, 2023 10:55
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.

2 participants