| 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 |
| 2022-08-30 |
Jacob Lifshay | make sv.instr use CUSTOM_INSNS by default for assemblin... |
commit | commitdiff | tree |
| 2022-08-30 |
Jacob Lifshay | use a decorator for constructing CUSTOM_INSNS |
commit | commitdiff | tree |
| 2022-08-30 |
Jacob Lifshay | fix comment location |
commit | commitdiff | tree |
| 2022-08-30 |
Jacob Lifshay | format code |
commit | commitdiff | tree |
| 2022-08-30 |
Dmitry Selyutin | svp64dis: simplify database lookups |
commit | commitdiff | tree |
| 2022-08-30 |
Dmitry Selyutin | power_insn: fix representation |
commit | commitdiff | tree |
| 2022-08-30 |
Dmitry Selyutin | power_insn: remove obsolete comment |
commit | commitdiff | tree |
| 2022-08-30 |
Dmitry Selyutin | pysvp64dis: remove obsolete imports |
commit | commitdiff | tree |
| 2022-08-30 |
Dmitry Selyutin | power_insn: rename unit field to function |
commit | commitdiff | tree |
| 2022-08-30 |
Dmitry Selyutin | power_insn: convert PO field name to lower case |
commit | commitdiff | tree |
| 2022-08-29 |
Luke Kenneth... | add a "ffmadds." test, not yet actually checking Rc=1 |
commit | commitdiff | tree |
| 2022-08-29 |
Luke Kenneth... | remove insertion of instruction as a comment |
commit | commitdiff | tree |
| 2022-08-29 |
Luke Kenneth... | gaah what a frickin mess |
commit | commitdiff | tree |
| 2022-08-29 |
Luke Kenneth... | fix test_issuer.py nosvp64 mul, "mullw." was getting |
commit | commitdiff | tree |
| 2022-08-29 |
Dmitry Selyutin | sv_binutils: hack |
commit | commitdiff | tree |
| 2022-08-29 |
Dmitry Selyutin | sv_binutils: remove unused imports |
commit | commitdiff | tree |
| 2022-08-29 |
Dmitry Selyutin | sv_binutils: generate instruction getters/setters |
commit | commitdiff | tree |
| 2022-08-29 |
Dmitry Selyutin | sv_binutils: perform massive refactoring |
commit | commitdiff | tree |
| 2022-08-29 |
Dmitry Selyutin | selectable_int: deprecate obsolete mappings |
commit | commitdiff | tree |
| 2022-08-29 |
Dmitry Selyutin | sv_binutils: deprecate obsolete fields |
commit | commitdiff | tree |
| 2022-08-29 |
Dmitry Selyutin | caller.py: switch to new fields |
commit | commitdiff | tree |
| 2022-08-29 |
Dmitry Selyutin | pysvp64asm: switch to new fields |
commit | commitdiff | tree |
| 2022-08-29 |
Dmitry Selyutin | power_fields: support traversal |
commit | commitdiff | tree |
| 2022-08-29 |
Dmitry Selyutin | power_insn: simplify fields |
commit | commitdiff | tree |
| 2022-08-29 |
Dmitry Selyutin | selectable_int: support FSI integer conversion |
commit | commitdiff | tree |
| 2022-08-29 |
Dmitry Selyutin | selectable_int: introduce more checks |
commit | commitdiff | tree |
| 2022-08-29 |
Dmitry Selyutin | selectable_int: fix FSI negate method |
commit | commitdiff | tree |
| 2022-08-29 |
Dmitry Selyutin | power_insn: switch to new fields |
commit | commitdiff | tree |
| 2022-08-29 |
Dmitry Selyutin | power_fields: introduce new-style fields classes |
commit | commitdiff | tree |
| next |
projects / openpower-isa.git / shortlog