2020-04-02 |
Luke Kenneth Casso... | add form-extraction parsing |
tree | commitdiff |
2020-04-02 |
Luke Kenneth Casso... | add docstring for pagereader module |
tree | commitdiff |
2020-04-02 |
Luke Kenneth Casso... | read all files from openpower/isa directory successfully |
tree | commitdiff |
2020-04-02 |
Luke Kenneth Casso... | add pagereader for openpower/isa/*.mdwn |
tree | commitdiff |
2020-04-02 |
Luke Kenneth Casso... | add in ability to concat ints |
tree | commitdiff |
2020-04-02 |
Luke Kenneth Casso... | success using SelectableInt in cnttzd test |
tree | commitdiff |
2020-04-01 |
Michael Nolan | Add many more operators to selectable_int |
tree | commitdiff |
2020-04-01 |
Michael Nolan | selectable_int now in power ordering, add setitem |
tree | commitdiff |
2020-04-01 |
Michael Nolan | Add rudimentary int class with bit index |
tree | commitdiff |
2020-04-01 |
Luke Kenneth Casso... | add bit of code ready for IntClass with an eq function |
tree | commitdiff |
2020-04-01 |
Luke Kenneth Casso... | move demo code for lexer |
tree | commitdiff |
2020-04-01 |
Luke Kenneth Casso... | split parser into separate module |
tree | commitdiff |
2020-04-01 |
Luke Kenneth Casso... | move IndentLexer to separate module |
tree | commitdiff |
2020-04-01 |
Michael Nolan | Fix bug in test_decoder_gas |
tree | commitdiff |
2020-04-01 |
Luke Kenneth Casso... | semi-functional prototype which reads code-fragments... |
tree | commitdiff |
2020-03-31 |
Michael Nolan | Minor cleanup |
tree | commitdiff |
2020-03-31 |
Michael Nolan | Add more comments to helpers.py |
tree | commitdiff |
2020-03-31 |
Luke Kenneth Casso... | identify GPR read and add some helpers |
tree | commitdiff |
2020-03-31 |
Luke Kenneth Casso... | assume 32-to-64 bit zero-extension |
tree | commitdiff |
2020-03-31 |
Luke Kenneth Casso... | split out sig set from sig setup |
tree | commitdiff |
2020-03-31 |
Luke Kenneth Casso... | whitespace cleanup |
tree | commitdiff |
2020-03-31 |
Luke Kenneth Casso... | add list of gprs which need to access GPR functions... |
tree | commitdiff |
2020-03-31 |
Luke Kenneth Casso... | add sigdecoder |
tree | commitdiff |
2020-03-30 |
Michael Nolan | Add tests for EXTS64, fix EXTS64 |
tree | commitdiff |
2020-03-30 |
Michael Nolan | Add ROTL32 and ROTL64 |
tree | commitdiff |
2020-03-30 |
Michael Nolan | Begin adding helper functions for PPC pseudocode compiler |
tree | commitdiff |
2020-03-30 |
Michael Nolan | Fix bug in GAS test where it would load and update... |
tree | commitdiff |
2020-03-30 |
Michael Nolan | Fix tests broken by df295b5 |
tree | commitdiff |
2020-03-30 |
Michael Nolan | Minor cleanup |
tree | commitdiff |
2020-03-30 |
Luke Kenneth Casso... | bit of a mess, turn lexer and parser into classes |
tree | commitdiff |
2020-03-30 |
Luke Kenneth Casso... | add signals for all fields, accessible by named tuples... |
tree | commitdiff |
2020-03-30 |
Luke Kenneth Casso... | add binary number support |
tree | commitdiff |
2020-03-30 |
Luke Kenneth Casso... | use = rather than == for compare |
tree | commitdiff |
2020-03-30 |
Michael Nolan | WIP: Replace fields in power_decoder with signals of... |
tree | commitdiff |
2020-03-30 |
Luke Kenneth Casso... | add break (leave) statement |
tree | commitdiff |
2020-03-30 |
Luke Kenneth Casso... | sigh add in do while syntax |
tree | commitdiff |
2020-03-30 |
Luke Kenneth Casso... | add support for for-loops |
tree | commitdiff |
2020-03-30 |
Luke Kenneth Casso... | add token-preprocessing step to make code look more... |
tree | commitdiff |
2020-03-30 |
Luke Kenneth Casso... | get if/else comparisons working with python3 |
tree | commitdiff |
2020-03-30 |
Luke Kenneth Casso... | add concatenation of signals (by way of global function... |
tree | commitdiff |
2020-03-29 |
Luke Kenneth Casso... | annoying. convert to python3 |
tree | commitdiff |
2020-03-29 |
Michael Nolan | Update proof_decoder2 to handle signed immediates |
tree | commitdiff |
2020-03-29 |
Michael Nolan | Fix issue 271, remove unneeded fields in power_fieldsn.py |
tree | commitdiff |
2020-03-29 |
Luke Kenneth Casso... | add listmaker |
tree | commitdiff |
2020-03-29 |
Luke Kenneth Casso... | start to convert to POWER decoder, add slice/subscript |
tree | commitdiff |
2020-03-29 |
Luke Kenneth Casso... | add while statement to GardenSnake. cute! |
tree | commitdiff |
2020-03-29 |
Luke Kenneth Casso... | add support for ELSE statement, enable debug etc. |
tree | commitdiff |
2020-03-29 |
Luke Kenneth Casso... | add first python-ply recovered working version of Garde... |
tree | commitdiff |
2020-03-26 |
Luke Kenneth Casso... | add TODO for cry_in==CA |
tree | commitdiff |
2020-03-26 |
Luke Kenneth Casso... | add TODO for cry_in==CA |
tree | commitdiff |
2020-03-26 |
Luke Kenneth Casso... | fix 1-overflow |
tree | commitdiff |
2020-03-26 |
Luke Kenneth Casso... | brackets to be safe |
tree | commitdiff |
2020-03-26 |
Michael Nolan | Add tests for subfic and neg |
tree | commitdiff |
2020-03-26 |
Michael Nolan | Sub instruction working |
tree | commitdiff |
2020-03-26 |
Luke Kenneth Casso... | add newline to stop gnu-as whining |
tree | commitdiff |
2020-03-26 |
Luke Kenneth Casso... | seeing spurious failures on gdb connection |
tree | commitdiff |
2020-03-26 |
Luke Kenneth Casso... | wait for communication with closing program and close... |
tree | commitdiff |
2020-03-25 |
Michael Nolan | Directly compare simulator with qemu |
tree | commitdiff |
2020-03-25 |
Michael Nolan | Assemble whole program instead of instruction by instru... |
tree | commitdiff |
2020-03-25 |
Michael Nolan | Add rudimentary python qemu interface |
tree | commitdiff |
2020-03-25 |
Michael Nolan | Add instructions for how to launch qemu |
tree | commitdiff |
2020-03-25 |
Michael Nolan | Add qemu test directory |
tree | commitdiff |
2020-03-24 |
Luke Kenneth Casso... | change name of test function in addr_split |
tree | commitdiff |
2020-03-24 |
Luke Kenneth Casso... | whitespace |
tree | commitdiff |
2020-03-24 |
Luke Kenneth Casso... | whitespace cleanup |
tree | commitdiff |
2020-03-24 |
Luke Kenneth Casso... | add cross-references to bugreports and wiki |
tree | commitdiff |
2020-03-24 |
Luke Kenneth Casso... | add routing of store data through splitters |
tree | commitdiff |
2020-03-24 |
Luke Kenneth Casso... | move ashift out to common area |
tree | commitdiff |
2020-03-23 |
Michael Nolan | Implement load and store of bytes, halfwords, and words |
tree | commitdiff |
2020-03-23 |
Michael Nolan | Properly sign extend immediates |
tree | commitdiff |
2020-03-23 |
Michael Nolan | Fix broken test |
tree | commitdiff |
2020-03-23 |
Michael Nolan | Add support for extended/indexed ld/st |
tree | commitdiff |
2020-03-23 |
Luke Kenneth Casso... | hmm start adding st in (half done) |
tree | commitdiff |
2020-03-23 |
Michael Nolan | Add memory loads and stores to simulator |
tree | commitdiff |
2020-03-23 |
Michael Nolan | Begin adding backend simulator |
tree | commitdiff |
2020-03-23 |
Michael Nolan | Move gnu assembler interface to separate file |
tree | commitdiff |
2020-03-23 |
Luke Kenneth Casso... | split sim classes out into separate module |
tree | commitdiff |
2020-03-23 |
Luke Kenneth Casso... | add twin partial address mapper class |
tree | commitdiff |
2020-03-23 |
Luke Kenneth Casso... | sort out unit test for address split |
tree | commitdiff |
2020-03-22 |
Luke Kenneth Casso... | get AddrSplitter working for data len=8 |
tree | commitdiff |
2020-03-22 |
Luke Kenneth Casso... | working on simulation to test Address Splitter |
tree | commitdiff |
2020-03-22 |
Luke Kenneth Casso... | link up output from ld1/ld2 and merge into request |
tree | commitdiff |
2020-03-22 |
Luke Kenneth Casso... | start putting LDSTSplitter together |
tree | commitdiff |
2020-03-21 |
Luke Kenneth Casso... | set bigendian=1 in formal proofs of decoder (TODO:... |
tree | commitdiff |
2020-03-21 |
Luke Kenneth Casso... | whoops cut/paste error |
tree | commitdiff |
2020-03-21 |
Luke Kenneth Casso... | start on address splitter, idea is to use Queues |
tree | commitdiff |
2020-03-21 |
Luke Kenneth Casso... | mention instruction fetch mapping section |
tree | commitdiff |
2020-03-21 |
Luke Kenneth Casso... | shorten variables, add comments |
tree | commitdiff |
2020-03-21 |
Luke Kenneth Casso... | add option to switch endianness on gnu as |
tree | commitdiff |
2020-03-21 |
Luke Kenneth Casso... | add big/little byte-reversing |
tree | commitdiff |
2020-03-20 |
Michael Nolan | Fix proof_decoder2 |
tree | commitdiff |
2020-03-20 |
Michael Nolan | Delete log messages in power_fields and power_fieldsn |
tree | commitdiff |
2020-03-20 |
Michael Nolan | Minor cleanup |
tree | commitdiff |
2020-03-20 |
Michael Nolan | Add test for branch to lr/ctr |
tree | commitdiff |
2020-03-20 |
Michael Nolan | Add tests for branch instructions |
tree | commitdiff |
2020-03-20 |
Michael Nolan | Add test for rotate/shift instructions |
tree | commitdiff |
2020-03-20 |
Michael Nolan | Remove unneeded condition register decoder |
tree | commitdiff |
2020-03-19 |
Michael Nolan | Add test for cmp with register |
tree | commitdiff |
2020-03-19 |
Michael Nolan | Add tests for load/store with immediate offset |
tree | commitdiff |
2020-03-19 |
Michael Nolan | Add ld and st instructions to the reg/reg test |
tree | commitdiff |
next |