Skip to content

Issues: Orbis-Tertius/tinyram

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

29 Open 12 Closed
29 Open 12 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

notPreFlagTestCase Coq bug. Coq Bug Coq Discrepancy Bug
#99 opened Oct 30, 2022 by derekverbrugge
notFlagTestCase Coq discrepancy Coq Bug Coq Discrepancy Bug
#97 opened Oct 27, 2022 by derekverbrugge
xorPreFlagTestCase Coq Discrepancy Coq Bug Coq Discrepancy Bug
#95 opened Oct 27, 2022 by derekverbrugge
orPreFlagTestCase Coq bug Coq Bug Coq Discrepancy Bug
#93 opened Oct 27, 2022 by derekverbrugge
xorFlagTestCase Coq discrepancy bug. Coq Bug Coq Discrepancy Bug
#91 opened Oct 27, 2022 by derekverbrugge
AndFlagTestCase Coq discrepancy. Coq Bug Coq Discrepancy Bug
#88 opened Oct 27, 2022 by derekverbrugge
cmpgeNegTestCaseL Coq discrepency test. Coq Bug Coq Discrepancy Bug
#85 opened Oct 18, 2022 by derekverbrugge
cmpeNegTestCaseL Coq bug Coq Bug Coq Discrepancy Bug
#83 opened Oct 18, 2022 by derekverbrugge
cmpaNegTestCaseE Coq discrepancy bug Coq Bug Coq Discrepancy Bug
#80 opened Oct 18, 2022 by derekverbrugge
cmpaNegTestCaseL Coq discrepancy bug. Coq Bug Coq Discrepancy Bug
#78 opened Oct 18, 2022 by derekverbrugge
cmpaeEqualTestCaseL Coq discrepancy bug. Coq Bug Coq Discrepancy Bug
#74 opened Oct 11, 2022 by derekverbrugge
notTestCase Coq discrepancy Coq Bug Coq Discrepancy Bug
#70 opened Sep 20, 2022 by derekverbrugge
cmpaNegTestCase Coq discrepancy Coq Bug Coq Discrepancy Bug
#69 opened Sep 17, 2022 by derekverbrugge
cmpeGreaterTestCase Coq discrepancy bug Coq Bug Coq Discrepancy Bug
#68 opened Sep 17, 2022 by derekverbrugge
cmpeLessTestCase Coq discrepancy Coq Bug Coq Discrepancy Bug
#67 opened Sep 17, 2022 by derekverbrugge
cmpeNegTestCase Coq discrepancy Coq Bug Coq Discrepancy Bug
#66 opened Sep 17, 2022 by derekverbrugge
cmpgeLessTestCase Coq discrepancy. Coq Bug Coq Discrepancy Bug
#65 opened Sep 17, 2022 by derekverbrugge
XorTestCase Coq discrepancy. Coq Bug Coq Discrepancy Bug
#63 opened Sep 13, 2022 by derekverbrugge
Answer Register not 0 bug.
#60 opened Sep 6, 2022 by derekverbrugge
Preload tapes at the end of address space in TinyRAM emulator
#54 opened Aug 31, 2022 by marcinbugaj
@marcinbugaj
Convert native records to vinyl extensible records tech debt
#53 opened Aug 26, 2022 by morganthomas
Behavior of jump instructions is inconsistent with Coq TinyRAM bug Something isn't working
#41 opened Jun 14, 2022 by morganthomas
Add load.b and store.b instructions
#40 opened Jun 14, 2022 by morganthomas
Improve instruction decoding & evaluation
#38 opened Jun 13, 2022 by marcinbugaj
@marcinbugaj @derekverbrugge
Unaligned load/store detection in emulator
#36 opened Jun 9, 2022 by marcinbugaj
1
ProTip! What’s not been updated in a month: updated:<2024-11-12.