chrislgarry / Apollo-11

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

Other

57.52k stars 6.85k forks source link

Proof INTERPRETIVE_CONSTANT #596 #771

Open Atknssl opened 3 years ago

Atknssl commented 3 years ago

596 Completely proofed.

Atknssl commented 3 years ago

@wopian I accidentally commited an unnecessary commit, please ignore it. Sorry for inconvenience.

wopian commented 3 years ago

I've added the hacktoberfest-accepted label to ensure your contribution counts towards Hacktoberfest, as I haven't been able to review as many PRs as I had hoped over the past few days during my free time.

PRs are being throughly reviewed from oldest to newest 👍