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 INTERPRETIVE_CONSTANT #596 #729

Closed
wants to merge 1 commit into from
Closed

Proof INTERPRETIVE_CONSTANT #596 #729

wants to merge 1 commit into from

Conversation

eldan-dex
Copy link
Contributor

No description provided.

@eldan-dex
Copy link
Contributor Author

eldan-dex commented Oct 7, 2020 •
edited
Loading

I have no idea why it added eight commits to this PR instead of just the last one. There are no changes against origin/master to anything besides INTERPRETIVE_CONSTANT.agc, so I have no idea how to revert this. Will it bother you too much to try and merge this somehow?

@github-actions github-actions bot added Type: Meta Translations and other changes outside source code Type: Proof Comanche55 and Luminary99 files labels Oct 8, 2020
@wopian
Copy link
Collaborator

wopian commented Oct 8, 2020 •
edited
Loading

Your master branch is dirty from #702 that was made from eldan-dex/master instead of a new branch on your fork. I'll cherry pick the required commits.

@wopian wopian force-pushed the proof_lum_interpretive_constant branch from cf80d48 to 4490530 Compare October 8, 2020 20:04
@wopian wopian self-requested a review October 8, 2020 20:05
@wopian wopian self-assigned this Oct 8, 2020
@wopian wopian removed the Type: Meta Translations and other changes outside source code label Oct 8, 2020
@wopian wopian added this to the Luminary099 milestone Oct 8, 2020
@wopian wopian linked an issue Oct 8, 2020 that may be closed by this pull request
Proof INTERPRETIVE_CONSTANT #596
Open
@wopian wopian mentioned this pull request Oct 8, 2020
Closed
@eldan-dex eldan-dex closed this Oct 16, 2020
@wopian wopian removed a link to an issue Oct 19, 2020
Proof INTERPRETIVE_CONSTANT #596
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@wopian wopian Awaiting requested review from wopian

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.
2 participants
@eldan-dex @wopian