| 2020-04-02 | 
Luke Kenneth...  | add docstring for pagereader module | 
commit | commitdiff | tree | 
| 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 | 
| next |