issues
search
Orbis-Tertius
/
tinyram
A vnTinyRAM emulator.
Apache License 2.0
4
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Haskell testing branch
#101
derekverbrugge
closed
2 years ago
0
update cmpaNegTestCaseL expectation
#100
morganthomas
closed
2 years ago
0
notPreFlagTestCase Coq bug.
#99
derekverbrugge
opened
2 years ago
0
Not pre flag test case bug
#98
derekverbrugge
opened
2 years ago
0
notFlagTestCase Coq discrepancy
#97
derekverbrugge
opened
2 years ago
0
Not flag test case bug
#96
derekverbrugge
opened
2 years ago
0
xorPreFlagTestCase Coq Discrepancy
#95
derekverbrugge
opened
2 years ago
0
Xor pre flag test case bug
#94
derekverbrugge
opened
2 years ago
0
orPreFlagTestCase Coq bug
#93
derekverbrugge
opened
2 years ago
0
demonstrates bug with orPreFlagTestCase
#92
derekverbrugge
opened
2 years ago
0
xorFlagTestCase Coq discrepancy bug.
#91
derekverbrugge
opened
2 years ago
0
Xor flag test case bug
#90
derekverbrugge
opened
2 years ago
0
adds the orFlagTestCase
#89
derekverbrugge
closed
2 years ago
0
AndFlagTestCase Coq discrepancy.
#88
derekverbrugge
opened
2 years ago
0
demonstrates bug with andFlagTestCase
#87
derekverbrugge
opened
2 years ago
0
Haskell testing branch
#86
derekverbrugge
closed
2 years ago
0
cmpgeNegTestCaseL Coq discrepency test.
#85
derekverbrugge
opened
2 years ago
0
Cmpge neg test case lbug
#84
derekverbrugge
opened
2 years ago
0
cmpeNegTestCaseL Coq bug
#83
derekverbrugge
opened
2 years ago
0
Cmpe neg test case lbug
#82
derekverbrugge
opened
2 years ago
0
Haskell test branch
#81
derekverbrugge
closed
2 years ago
0
cmpaNegTestCaseE Coq discrepancy bug
#80
derekverbrugge
opened
2 years ago
0
Cmpa neg test case ebug
#79
derekverbrugge
closed
2 years ago
0
cmpaNegTestCaseL Coq discrepancy bug.
#78
derekverbrugge
opened
2 years ago
0
Cmpa neg test case lbug
#77
derekverbrugge
closed
2 years ago
0
cmpaeGreaterTestCaseL bug
#76
derekverbrugge
closed
2 years ago
0
Cmpae greater test case lbug
#75
derekverbrugge
opened
2 years ago
0
cmpaeEqualTestCaseL Coq discrepancy bug.
#74
derekverbrugge
opened
2 years ago
0
Cmpae equal test case l bug
#73
derekverbrugge
opened
2 years ago
0
Adds flag tests for cmpaeEqualTestCase
#72
derekverbrugge
closed
2 years ago
0
Lint
#71
morganthomas
closed
2 years ago
1
notTestCase Coq discrepancy
#70
derekverbrugge
opened
2 years ago
0
cmpaNegTestCase Coq discrepancy
#69
derekverbrugge
opened
2 years ago
0
cmpeGreaterTestCase Coq discrepancy bug
#68
derekverbrugge
opened
2 years ago
0
cmpeLessTestCase Coq discrepancy
#67
derekverbrugge
opened
2 years ago
0
cmpeNegTestCase Coq discrepancy
#66
derekverbrugge
opened
2 years ago
0
cmpgeLessTestCase Coq discrepancy.
#65
derekverbrugge
opened
2 years ago
0
Adds Xor but Haskell and Coq produce different results.
#64
morganthomas
opened
2 years ago
0
XorTestCase Coq discrepancy.
#63
derekverbrugge
opened
2 years ago
0
Haskell test branch
#62
derekverbrugge
closed
2 years ago
0
Added udiv test
#61
derekverbrugge
closed
2 years ago
0
Answer Register not 0 bug.
#60
derekverbrugge
opened
2 years ago
0
Answer Register Bug
#59
derekverbrugge
opened
2 years ago
0
TinyRam and Coq Answer Discrepancy Bug in regards to the Or Instruction.
#58
derekverbrugge
closed
2 years ago
1
orTestCase and addTestCase
#57
derekverbrugge
closed
2 years ago
0
Progress
#56
derekverbrugge
closed
2 years ago
0
Handle TinyRAM stdout
#55
marcinbugaj
closed
2 years ago
0
Preload tapes at the end of address space in TinyRAM emulator
#54
marcinbugaj
opened
2 years ago
0
Convert native records to vinyl extensible records
#53
morganthomas
opened
2 years ago
0
comply with coding standards
#52
morganthomas
closed
2 years ago
1
Next