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

Proof AGS_INITIALIZATION #563 #670

Merged
merged 3 commits into from
May 21, 2020
Merged

Proof AGS_INITIALIZATION #563 #670

merged 3 commits into from
May 21, 2020

Conversation

CheAle14
Copy link
Contributor

Hi! Figured I'd have a stab at proofing #563

@github-actions github-actions bot added the Type: Proof Comanche55 and Luminary99 files label May 16, 2020
@wopian wopian self-requested a review May 20, 2020 00:26
@wopian wopian self-assigned this May 20, 2020
@wopian wopian merged commit a7ba305 into chrislgarry:master May 21, 2020
@wopian
Copy link
Collaborator

wopian commented May 21, 2020

Thank you 👍

@wopian wopian added this to the Luminary099 milestone Jun 9, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@wopian wopian wopian approved these changes

@shiya-kohn shiya-kohn shiya-kohn approved these changes

Assignees

@wopian wopian

Labels
Type: Proof Comanche55 and Luminary99 files
Projects
None yet
Milestone
Luminary099
Development

Successfully merging this pull request may close these issues.
3 participants
@CheAle14 @wopian @shiya-kohn