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.

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

Fix: Recursive constant initialization was not checked if in constructor #2862

Open
wants to merge 21 commits into
base: master
Choose a base branch
from
Open
Changes from 1 commit
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
0b34697
Fix: Recursive constant initialization was not checked if in constructor
MikaelMayer Oct 7, 2022
dd2ec2e
Update RELEASE_NOTES.md
MikaelMayer Oct 7, 2022
75344fb
Added review comment use case and fixed the code
MikaelMayer Oct 7, 2022
b03a40a
Merge branch 'fix-2727-soundness-constant' of https://github.com/dafn…
MikaelMayer Oct 7, 2022
4f7300f
Merge branch 'master' into fix-2727-soundness-constant
MikaelMayer Oct 7, 2022
f7e90a2
Better handling of alternatives
MikaelMayer Oct 11, 2022
04eeb43
Refactoring
MikaelMayer Oct 11, 2022
a4d3a27
Merge branch 'fix-2727-soundness-constant' of https://github.com/dafn…
MikaelMayer Oct 11, 2022
56dbf3b
Merge branch 'master' into fix-2727-soundness-constant
MikaelMayer Oct 11, 2022
5568664
Fix CI
MikaelMayer Oct 11, 2022
bac8625
Merge branch 'master' into fix-2727-soundness-constant
MikaelMayer Oct 12, 2022
bd717d1
Create 2862.fix
MikaelMayer Oct 12, 2022
e956e87
Merge branch 'fix-2727-soundness-constant' of https://github.com/dafn…
MikaelMayer Oct 12, 2022
0c20291
Merge branch 'master' into fix-2727-soundness-constant
MikaelMayer Oct 14, 2022
baa398f
Merge branch 'master' into fix-2727-soundness-constant
MikaelMayer Oct 14, 2022
2e98a55
Prevent constants to be assigned twice
MikaelMayer Oct 14, 2022
f18254b
Merge branch 'master' into fix-2727-soundness-constant
MikaelMayer Oct 21, 2022
d7fd892
Merge branch 'master' into fix-2727-soundness-constant
MikaelMayer Oct 24, 2022
b53829c
Merge branch 'master' into fix-2727-soundness-constant
MikaelMayer Oct 24, 2022
3ac8137
One more soundness fix
MikaelMayer Oct 26, 2022
5555cde
One more soundness fix
MikaelMayer Oct 26, 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
Prev Previous commit
Next Next commit
Merge branch 'master' into fix-2727-soundness-constant
  • Loading branch information
MikaelMayer committed Oct 24, 2022
commit d7fd8924a5ba7e6409a2c75fd90cef1f503404e3

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.