Skip to content

Conversation

@johnzhou721
Copy link

@johnzhou721 johnzhou721 commented Oct 18, 2025

@wopian question: I read the contributing guide as a first-timer here, but do we ignore all the columns before BRANCH, CCS, and MPAC? Thanks!

This is incomplete, I plan to proof to 1139 of INTERPRETER

Refs #217.

https://www.ibiblio.org/apollo/ScansForConversion/Comanche055/

@johnzhou721 johnzhou721 changed the title Proof INTERPRETER #216 1130 [draft] Proof INTERPRETER #216 1130-1132 [draft] Oct 18, 2025
@github-actions github-actions bot added the Type: Proof Comanche55 and Luminary99 files label Oct 18, 2025
@wopian
Copy link
Collaborator

wopian commented Oct 18, 2025

Correct, the first few columns (excluding comment blocks) are the line numbers, labels/references, banked memory addresses and the octal representation of the assembly instruction. We are only interested in the assembly instructions themselves and any comments.

@johnzhou721 johnzhou721 changed the title Proof INTERPRETER #216 1130-1132 [draft] Proof INTERPRETER #216 1130-1133 [draft] Oct 18, 2025
@johnzhou721 johnzhou721 marked this pull request as ready for review October 28, 2025 02:36
@johnzhou721
Copy link
Author

@wopian I don't have the time to prove more pages, will appreciate a review on these 4 pages though. Thanks, and sorry for wasting time on a small PR like this!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Type: Proof Comanche55 and Luminary99 files

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants