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

Jump to bottom

Nested foralls patch #998

Merged
merged 23 commits into from
Mar 30, 2023
Merged

Nested foralls patch #998

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
cacd457
Merge pull request #343 from utwente-fmt/dev
Dec 4, 2019
e4a462b
Merge branch 'dev'
Feb 3, 2021
c42ff88
bump version
Feb 3, 2021
9a7f843
Merge branch 'dev'
Jan 21, 2022
d7e198e
Support for more nested foralls
sakehl Dec 15, 2022
4ca4032
Fixed subtle bug in collecting bounds of SimplifyQuantifiers
sakehl Dec 20, 2022
df86ba2
Substituting the index correctly now
sakehl Dec 20, 2022
b4b91ea
Merge branch 'dev'
Dec 23, 2022
76e789d
Bugfix for nested quantifiers and more patterns
sakehl Jan 31, 2023
72c7119
Merge remote-tracking branch 'utwente-fmt/dev' into nested-foralls-patch
sakehl Feb 2, 2023
4919d29
More simplified minus in simplified quantifiers
sakehl Feb 10, 2023
ba8c682
Merge remote-tracking branch 'utwente-fmt/dev' into nested-foralls-patch
sakehl Feb 10, 2023
bd2d8cf
Merge branch 'dev'
pieter-bos Mar 13, 2023
04ee726
update version
pieter-bos Mar 13, 2023
f1da2d7
Merge remote-tracking branch 'utwente-fmt/master' into nested-foralls…
sakehl Mar 13, 2023
2b64b32
merge fix in printer
sakehl Mar 13, 2023
781b4fb
Process pointer_length
sakehl Mar 13, 2023
504ab89
Merge remote-tracking branch 'utwente-fmt/dev' into nested-foralls-patch
sakehl Mar 23, 2023
7c9fa9d
Removed commented code
sakehl Mar 23, 2023
82b0a09
Merge remote-tracking branch 'utwente-fmt/dev' into nested-foralls-patch
sakehl Mar 27, 2023
8d8036d
Invariant bug fix
sakehl Mar 27, 2023
81c8888
Merge branch 'dev' into nested-foralls-patch
pieter-bos Mar 29, 2023
bde445a
Merge branch 'dev' into nested-foralls-patch
pieter-bos Mar 30, 2023
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