Skip to content

Specialized model function interpretations #101

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
Saloed merged 10 commits into from
Apr 27, 2023
Merged

Specialized model function interpretations #101

Saloed merged 10 commits into from
Apr 27, 2023

Conversation

@Saloed
Copy link
Collaborator

@Saloed Saloed commented Apr 19, 2023 •
edited
Loading

  • Track function interpretation vars usage during creation to avoid redundant variable substitutions during evaluation.
  • Add specialized versions of function interpretation entries to reduce memory usage and speed up some operations.
  • Add model validity checks in Bitwuzla and Cvc5.

@Saloed Saloed force-pushed the model-function-interpretations branch from 505f73b to 3648934 Compare April 19, 2023 13:38
@Saloed Saloed marked this pull request as ready for review April 20, 2023 09:24
@Saloed Saloed requested a review from CaelmBleidd April 20, 2023 09:24
@Saloed Saloed force-pushed the model-function-interpretations branch from e9c7d07 to 322d3cd Compare April 20, 2023 19:01
@Saloed Saloed changed the base branch from main to bitwuzla-array-model-fix April 20, 2023 19:01
Base automatically changed from bitwuzla-array-model-fix to main April 21, 2023 10:55
@Saloed Saloed force-pushed the model-function-interpretations branch 2 times, most recently from 3e13236 to d53aab0 Compare April 24, 2023 15:17
@Saloed Saloed force-pushed the model-function-interpretations branch from d53aab0 to 26fe959 Compare April 25, 2023 09:39
@Saloed Saloed merged commit 2fd0701 into main Apr 27, 2023
@Saloed Saloed deleted the model-function-interpretations branch April 27, 2023 17:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@CaelmBleidd CaelmBleidd CaelmBleidd approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@Saloed @CaelmBleidd