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