WIP: Replace fields in power_decoder with signals of the same name

add break (leave) statement

sigh add in do while syntax

add support for for-loops

add token-preprocessing step to make code look more like python

get if/else comparisons working with python3

add concatenation of signals (by way of global function, "concat")

annoying.  convert to python3

Update proof_decoder2 to handle signed immediates

Fix issue 271, remove unneeded fields in power_fieldsn.py

add listmaker

start to convert to POWER decoder, add slice/subscript

add while statement to GardenSnake.  cute!

add support for ELSE statement, enable debug etc.

add ply to dependencies

add first python-ply recovered working version of GardenSnake.py since 2006!

add TODO for cry_in==CA

add TODO for cry_in==CA

fix 1-overflow

brackets to be safe

Add tests for subfic and neg

Sub instruction working

add newline to stop gnu-as whining

seeing spurious failures on gdb connection

missed cd build

add README describing build process for simulator (gdb ppc)

add pygdbmi to dependencies

wait for communication with closing program and close the stdin/out pipes

Directly compare simulator with qemu

I'm getting an error where it says some files are still open, but I
can't figure out what they are

Assemble whole program instead of instruction by instruction

Add rudimentary python qemu interface

Add instructions for how to launch qemu

Add qemu test directory

change name of test function in addr_split

whitespace

whitespace cleanup

add cross-references to bugreports and wiki

add routing of store data through splitters

move ashift out to common area

Implement load and store of bytes, halfwords, and words

Properly sign extend immediates

Fix broken test

Add support for extended/indexed ld/st

hmm start adding st in (half done)

Add memory loads and stores to simulator

Begin adding backend simulator

Move gnu assembler interface to separate file

split sim classes out into separate module

add twin partial address mapper class
designed to be used with LDSTSplitter which creates two addresses for
misaligned LD/STs across cache-lines

sort out unit test for address split

get AddrSplitter working for data len=8

working on simulation to test Address Splitter

link up output from ld1/ld2 and merge into request

start putting LDSTSplitter together

set bigendian=1 in formal proofs of decoder (TODO: bigendian=0)

whoops cut/paste error

start on address splitter, idea is to use Queues

mention instruction fetch mapping section

shorten variables, add comments

add option to switch endianness on gnu as

add big/little byte-reversing

Fix proof_decoder2

Delete log messages in power_fields and power_fieldsn

Minor cleanup

Add test for branch to lr/ctr

Add tests for branch instructions

Add test for rotate/shift instructions

Remove unneeded condition register decoder

Add test for cmp with register

Add tests for load/store with immediate offset

Add ld and st instructions to the reg/reg test

Add checks for the decoding of RC (the . in some instructions)

Add tests for register+immediate ops

Fix issue with decoder where a signed shifted immediate wasn't shifted
by the right amount

Factor out instruction generation and testing from simulation

Cleanup test_decoder_gas.py

Add assertions for input registers

fix silly errors in power_fieldsn.py

invert bits of field in decoder (not instruction bits)

Begin adding a test using GNU AS

Add proof that all other opcodes decode to INVALID

Fix bug where enum values weren't getting set to int

use function which reverses bit-order

comment reverse-order of bit-fields

done, bugs.libre-riscv.org/show_bug.cgi?id=261

Create SPR enum from sprs.csv

Add more to decoder proof

Begin adding proof for decoder stage 1

add comment about SPRs CSV

add comments

import absolute paths

clarify is_match manually

add exploratory unit test for partial address matching

comment out addr_we_i, seems not to be used

connect up expander output, set up is_match to check bitmap and wrapped bitmap
(crossing cache line boundary)

connect LenExpanders into PartialAddrBitmap

crossreference to bugreport

add description of how PartialAddrBitmap works

 add beginnings of link to lenexpanders

add a LenExpand class which takes a (length, addr) pair,
turns it into a bitmap of bytes that would be affected by that LD/ST

add beginnings of PartialAddrBitmap elaborate