Skip to content
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

Ordered quantification (foreach loops and sequence comprehensions - take 2) #10

Open
wants to merge 14 commits into
base: master
Choose a base branch
from
Open

Ordered quantification (foreach loops and sequence comprehensions - take 2) #10

Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
e8125a3
Initial partial rewrite
robin-aws May 11, 2022
f8726d7
Added section on ordered quantification
robin-aws May 11, 2022
b80e931
Mostly finished modulo a few TODOs
robin-aws May 12, 2022
b243b38
Clean-up
robin-aws May 12, 2022
273173b
Filled in the rest
robin-aws May 12, 2022
461e92d
A few more edits
robin-aws May 12, 2022
cc9c9f1
Link typo
robin-aws May 12, 2022
f6747ef
Added implementation plan
robin-aws May 12, 2022
3f00994
Update 0005-ordered-quantification.md
robin-aws May 13, 2022
963abea
Address most feedback
robin-aws May 13, 2022
bc2edc0
Merge branch 'ordered-quantification' of github.com:robin-aws/dafny-r…
robin-aws May 13, 2022
698bf03
Move case patterns on quantifier variable declarations to future poss…
robin-aws May 13, 2022
5c5e290
Per quantified variable domains and ranges
robin-aws May 25, 2022
af30270
PR feedback
robin-aws May 27, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading