Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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.
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
feat: Compute matching patterns for automatic induction #5835
base: master
Are you sure you want to change the base?
feat: Compute matching patterns for automatic induction #5835
Changes from 20 commits
8c4c4a6
e62d2b6
ad1c724
29d715a
4cfbe21
b17c662
cee8d58
dda37cb
fa79ba3
0028a3a
394c635
659d4ba
6b5b207
3fc56d3
73d2d61
73406c6
f4815f4
e4e4ce8
3a0f1c0
703c661
54e9ddb
b46f0dc
022685c
4cb3f5a
a213285
72c15fe
704af8c
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / build-refman (ubuntu-22.04)
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / build-refman (ubuntu-22.04)
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / singletons
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / singletons
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / singletons
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / singletons
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / xunit-tests / ubuntu-20.04 (1)
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / xunit-tests / ubuntu-20.04 (1)
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / xunit-tests / ubuntu-20.04 (1)
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / xunit-tests / ubuntu-20.04 (1)
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / xunit-tests / ubuntu-20.04 (1)
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / xunit-tests / ubuntu-20.04 (1)
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / xunit-tests / ubuntu-20.04 (1)
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / xunit-tests / ubuntu-20.04 (1)
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / xunit-tests / win (1)
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / xunit-tests / win (1)
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / xunit-tests / win (1)
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / xunit-tests / osx (1)
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / xunit-tests / osx (1)
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / xunit-tests / osx (1)
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / doctests
Check warning on line 177 in Source/DafnyCore/Rewriters/InductionHeuristic.cs
GitHub Actions / doctests