Skip to content

refactor: Extract constant folding into separate file#4921

Merged
RustanLeino merged 28 commits into
dafny-lang:masterfrom
RustanLeino:constant-folding-refactor
Jan 2, 2024
Merged

refactor: Extract constant folding into separate file#4921
RustanLeino merged 28 commits into
dafny-lang:masterfrom
RustanLeino:constant-folding-refactor

Conversation

@RustanLeino

Copy link
Copy Markdown
Collaborator

This PR does a refactoring of the code that partially evaluates expressions--that is, that performs constant folding. It also fixes a null dereference error along the way.

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.

@RustanLeino RustanLeino marked this pull request as ready for review December 29, 2023 23:20
@RustanLeino RustanLeino enabled auto-merge (squash) January 2, 2024 02:42

@keyboardDrummer keyboardDrummer left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is great, thanks

@RustanLeino RustanLeino merged commit 34e50ac into dafny-lang:master Jan 2, 2024
@RustanLeino RustanLeino deleted the constant-folding-refactor branch January 2, 2024 16:48
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