2022-09-03 |
Dmitry Selyutin | power_fields: allow slicing fields |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | power_fields: create arrays from Array class |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | sv_binutils: shorten and simplify the output |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | create list of opcodes by dict entry |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | correct table header |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | use opcode directly |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | divpoint 2 to match v3.1 |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | create correct divpoint to make match against v3.0... |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | complete markdown table |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | correct table-matching |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | enumeration almost there |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | MSB0-order, xomask 31-start |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | add power_table.py start of creating markdown Appendix... |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | add svshape2 offset test demonstrating RA being offset... |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | Revert "add inv option to svshape2 (only 1 bit)" |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | add inv option to svshape2 (only 1 bit) |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | update sv_analysis to create separate SVMode.LDST_IDX... |
commit | commitdiff | tree |
2022-09-03 |
Jacob Lifshay | fix test_caller_svshape2.py |
commit | commitdiff | tree |
2022-09-03 |
Jacob Lifshay | format code |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | add test_caller_svshape2.py and make corrections to... |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | add first svshape2 pseudocode, based on svindex |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | add svshape2 to ISACaller |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | add svshape2 to sv/trans/svp64.py |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | add svshape2 to list of instructions in power_enums.py |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | whoops bit 25 is sk not vf in svshape2. matches with... |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | disallow reserved SVrm values in svshape, svp64.py |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | add svshape2 (stub pseudocode) fields, Form, and CSV... |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | add explicit 13 patterns for svshape which make a hole... |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | shuffle down numbering after SVM to make room for SVM2 |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | add fix of out_sel in power_decoder.py formal proof |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | fix RCOE.RC_ONLY in formal test_decoder2.py |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: drop custom Record representation |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: support opcode merging |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: support AA matching |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: support LK matching |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: refactor name matching algorithm |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: refactor databases composition |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: refactor operands |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: introduce binutils-like representation |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | pysvp64dis: refactor instruction loading |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_fields: allow comparing references |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: disable disassembly for prefixed instructions |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: switch target_addr to real fields |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: support GPR and FPR operands |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: support target_addr operands |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: hide operand classes |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: introduce operand disassembly |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | pysvp64dis: disassemble word instruction operands |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: support operands |
commit | commitdiff | tree |
2022-09-02 |
Jacob Lifshay | make tests pass again |
commit | commitdiff | tree |
2022-09-02 |
Jacob Lifshay | add formal_test_temp to .gitignore |
commit | commitdiff | tree |
2022-09-02 |
Jacob Lifshay | format code |
commit | commitdiff | tree |
2022-09-02 |
Jacob Lifshay | rename proof_decoder*.py -> test_decoder*.py so it... |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | ghostmansd found that extswsli is incorrectly declared |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | remove hard-coded list of operations in DecodeOE which rc_only |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | missed rlwm* in conversion to RC_ONLY |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | update CSV files marking those instructions that are... |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | drat have to use RCOE.RC not RCOE.RC_OE for now otherwise |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | add missing case name RC_OE RC_ONLY in power_insn.py |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | rename RC to RCOE in power_insns.py |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | rename FLAGS to RCOE |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | begin rename of RC to FLAGS and add RC_OE/RC_ONLY |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | rename RC to FLAGS |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | begin doing RC_OE / RC_ONLY |
commit | commitdiff | tree |
2022-09-01 |
Dmitry Selyutin | svbranch.mdwn: replace target_addr with BD |
commit | commitdiff | tree |
2022-09-01 |
Dmitry Selyutin | pagereader: skip empty dynamic and static operands |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | move fsins/fcoss to fptrans.mdwn -- they are transcende... |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | don't install recommended packages in CI sv_maxu_works |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | remove support for unnamed arguments for @_custom_insns... |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | silence default LogKind for CI, to avoid pytest running... |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | remove dead code, sv.svstep and sv.fcoss are now handle... |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | switch ci tests to verbose |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | make sv.instr use CUSTOM_INSNS by default for assemblin... |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | use a decorator for constructing CUSTOM_INSNS |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | fix comment location |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | format code |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | Revert "silence default LogKind for CI, to avoid pytest... |
commit | commitdiff | tree |
2022-08-31 |
Jacob Lifshay | test less cases of utf-8 validation, to avoid taking... |
commit | commitdiff | tree |
2022-08-31 |
Jacob Lifshay | silence default LogKind for CI, to avoid pytest running... |
commit | commitdiff | tree |
2022-08-31 |
Luke Kenneth... | target_addr in b and bc pseudo-code has no corresponding |
commit | commitdiff | tree |
2022-08-30 |
Dmitry Selyutin | bcd.mdwn: fix cbcdtd operands |
commit | commitdiff | tree |
2022-08-30 |
Dmitry Selyutin | bcd.mdwn: fix cdtbcd operands |
commit | commitdiff | tree |
2022-08-30 |
Dmitry Selyutin | fixedlogical.mdwn: fix bpermd operands |
commit | commitdiff | tree |
2022-08-30 |
Dmitry Selyutin | pagereader: validate input |
commit | commitdiff | tree |
2022-08-30 |
Luke Kenneth... | remove space from arguments in popcnt, should not have... |
commit | commitdiff | tree |
2022-08-30 |
Luke Kenneth... | Revert "format code" |
commit | commitdiff | tree |
2022-08-30 |
Luke Kenneth... | Revert "fix comment location" |
commit | commitdiff | tree |
2022-08-30 |
Luke Kenneth... | Revert "use a decorator for constructing CUSTOM_INSNS" |
commit | commitdiff | tree |
2022-08-30 |
Luke Kenneth... | Revert "make sv.instr use CUSTOM_INSNS by default for... |
commit | commitdiff | tree |
2022-08-30 |
Luke Kenneth... | Revert "switch ci tests to verbose" |
commit | commitdiff | tree |
2022-08-30 |
Luke Kenneth... | Revert "remove dead code, sv.svstep and sv.fcoss are... |
commit | commitdiff | tree |
2022-08-30 |
Luke Kenneth... | Revert "remove fuck-up by programmerjake not reading... |
commit | commitdiff | tree |
2022-08-30 |
Luke Kenneth... | remove fuck-up by programmerjake not reading the specif... |
commit | commitdiff | tree |
2022-08-30 |
Luke Kenneth... | correct the bitmanip pseudocode to remove spaces from... |
commit | commitdiff | tree |
2022-08-30 |
Dmitry Selyutin | pagereader.ISA: support iteration |
commit | commitdiff | tree |
2022-08-30 |
Dmitry Selyutin | pysvp64dis: stop interation upon empty suffix |
commit | commitdiff | tree |
2022-08-30 |
Dmitry Selyutin | power_insn: fix Fields methods |
commit | commitdiff | tree |
2022-08-30 |
Dmitry Selyutin | selectable_int: support slicing by iterable |
commit | commitdiff | tree |
2022-08-30 |
Jacob Lifshay | remove dead code, sv.svstep and sv.fcoss are now handle... |
commit | commitdiff | tree |
2022-08-30 |
Jacob Lifshay | switch ci tests to verbose |
commit | commitdiff | tree |
next |