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