| 2022-09-21 |
Jacob Lifshay | add sv.maddld test case
|
commit | commitdiff | tree |
| 2022-09-14 |
Jacob Lifshay | add svp64 fptrans tests
|
commit | commitdiff | tree |
| 2022-09-14 |
Jacob Lifshay | include *all* fprs/gprs/cr-fields in SimState
|
commit | commitdiff | tree |
| 2022-09-14 |
Jacob Lifshay | fix sv_analysis for fpown and frootn
|
commit | commitdiff | tree |
| 2022-09-14 |
Jacob Lifshay | fix some typos
|
commit | commitdiff | tree |
| 2022-09-13 |
Jacob Lifshay | fix X-FORM lines for fptrans -- I forgot Rc
|
commit | commitdiff | tree |
| 2022-09-13 |
Jacob Lifshay | add missing X-FORM lines for fptrans
|
commit | commitdiff | tree |
| 2022-09-13 |
Jacob Lifshay | add comment that fptrans test cases output values are...
|
commit | commitdiff | tree |
| 2022-09-13 |
Jacob Lifshay | add new fptrans unit tests
|
commit | commitdiff | tree |
| 2022-09-13 |
Jacob Lifshay | add fptrans support to isa caller
|
commit | commitdiff | tree |
| 2022-09-13 |
Jacob Lifshay | add fp support to TestRunnerBase
|
commit | commitdiff | tree |
| 2022-09-12 |
Jacob Lifshay | add pseudocode for all fptrans ops
|
commit | commitdiff | tree |
| 2022-09-12 |
Jacob Lifshay | add fptrans helpers, switching existing uses to new...
|
commit | commitdiff | tree |
| 2022-09-12 |
Jacob Lifshay | add fptrans ops to src/openpower/sv/trans/svp64.py
|
commit | commitdiff | tree |
| 2022-09-12 |
Jacob Lifshay | add rest of new fptrans ops to CSVs
|
commit | commitdiff | tree |
| 2022-09-12 |
Jacob Lifshay | fix svanalysis failing due to missing comma in addpcis...
|
commit | commitdiff | tree |
| 2022-09-10 |
Jacob Lifshay | reallocate fcbrt(s) to match new fptrans allocations
|
commit | commitdiff | tree |
| 2022-09-10 |
Jacob Lifshay | move ffadds to not conflict with fptrans -- makes space...
|
commit | commitdiff | tree |
| 2022-09-06 |
Jacob Lifshay | add fixedsync.py to .gitignore
|
commit | commitdiff | tree |
| 2022-09-06 |
Jacob Lifshay | fix incorrect comment
|
commit | commitdiff | tree |
| 2022-09-06 |
Jacob Lifshay | add all fptrans ops to CSVs
|
commit | commitdiff | tree |
| 2022-09-06 |
Jacob Lifshay | add unofficial and comment2 fields to minor_63.csv
|
commit | commitdiff | tree |
| 2022-09-04 |
Jacob Lifshay | reallocate opcodes for ffadds (converted to X-FORM...
|
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 |
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 |
Jacob Lifshay | move fsins/fcoss to fptrans.mdwn -- they are transcendental...
|
commit | commitdiff | tree |
| 2022-09-01 |
Jacob Lifshay | don't install recommended packages in CI
|
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 handled...
|
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 assembling...
|
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-30 |
Jacob Lifshay | remove dead code, sv.svstep and sv.fcoss are now handled...
|
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 assembling...
|
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-29 |
Jacob Lifshay | fix issue with cpython 3.7
|
commit | commitdiff | tree |
| 2022-08-29 |
Jacob Lifshay | svp64_utf_8_validation.py works!
|
commit | commitdiff | tree |
| 2022-08-29 |
Jacob Lifshay | support assembling svp64 instructions with custom suffixes...
|
commit | commitdiff | tree |
| 2022-08-29 |
Jacob Lifshay | allow tests to pass None in order to not have to match...
|
commit | commitdiff | tree |
| 2022-08-29 |
Jacob Lifshay | log memory in a more fancy format, like hexdump -C
|
commit | commitdiff | tree |
| 2022-08-28 |
Jacob Lifshay | stop printing log silence state
|
commit | commitdiff | tree |
| 2022-08-26 |
Jacob Lifshay | working on svp64_utf_8_validation.py -- still broken...
|
commit | commitdiff | tree |
| 2022-08-26 |
Jacob Lifshay | add more logging
|
commit | commitdiff | tree |
| 2022-08-26 |
Jacob Lifshay | add original instruction as a comment, improving debuggability
|
commit | commitdiff | tree |
| 2022-08-26 |
Jacob Lifshay | add support for comments in instructions
|
commit | commitdiff | tree |
| 2022-08-26 |
Jacob Lifshay | add some logging
|
commit | commitdiff | tree |
| 2022-08-26 |
Jacob Lifshay | fix setvl. not setting CR0 properly
|
commit | commitdiff | tree |
| 2022-08-26 |
Jacob Lifshay | convert more `print`s to `log`s
|
commit | commitdiff | tree |
| 2022-08-26 |
Jacob Lifshay | include original svp64 instruction in comment on prefix
|
commit | commitdiff | tree |
| 2022-08-26 |
Jacob Lifshay | log rather than print SKIPPED
|
commit | commitdiff | tree |
| 2022-08-26 |
Jacob Lifshay | make logging more configurable
|
commit | commitdiff | tree |
| 2022-08-26 |
Jacob Lifshay | fix typo
|
commit | commitdiff | tree |
| 2022-08-25 |
Jacob Lifshay | add qemu-system-ppc to .gitlab-ci.yml
|
commit | commitdiff | tree |
| 2022-08-25 |
Jacob Lifshay | mark all known-broken tests so CI passes
|
commit | commitdiff | tree |
| 2022-08-25 |
Jacob Lifshay | skip gdb tests when gdb isn't found
|
commit | commitdiff | tree |
| 2022-08-25 |
Jacob Lifshay | allow crtl tests to run in parallel
|
commit | commitdiff | tree |
| 2022-08-25 |
Jacob Lifshay | add XFAIL because the file improperly accesses pdecode2...
|
commit | commitdiff | tree |
| 2022-08-25 |
Jacob Lifshay | add more generated output to .gitignore
|
commit | commitdiff | tree |
| 2022-08-25 |
Jacob Lifshay | add missing assemblers to .gitlab-ci.yml
|
commit | commitdiff | tree |
| 2022-08-25 |
Jacob Lifshay | add missing on_SmtExpr methods
|
commit | commitdiff | tree |
| 2022-08-25 |
Jacob Lifshay | fix assembling `sv.add.`
|
commit | commitdiff | tree |
| 2022-08-25 |
Jacob Lifshay | format .../trans/svp64.py
|
commit | commitdiff | tree |
| 2022-08-25 |
Jacob Lifshay | make pytest ignore non-test classes, these're the last...
|
commit | commitdiff | tree |
| 2022-08-25 |
Jacob Lifshay | convert all test_caller*.py to work with pytest/unittest...
|
commit | commitdiff | tree |
| 2022-08-25 |
Jacob Lifshay | fix deprecated imports
|
commit | commitdiff | tree |
| 2022-08-25 |
Jacob Lifshay | remove last uses of soc
|
commit | commitdiff | tree |
| 2022-08-25 |
Jacob Lifshay | format test/runner.py
|
commit | commitdiff | tree |
| 2022-08-25 |
Jacob Lifshay | change test cases to use TestRunnerBase in order to...
|
commit | commitdiff | tree |
| 2022-08-24 |
Jacob Lifshay | working on svp64 utf-8 validation -- still broken
|
commit | commitdiff | tree |
| 2022-08-24 |
Jacob Lifshay | fix translation of instructions that require Rc=True...
|
commit | commitdiff | tree |
| 2022-08-24 |
Jacob Lifshay | add self.subTest and src_loc_at support to TestAccumulatorBase
|
commit | commitdiff | tree |
| 2022-08-24 |
Jacob Lifshay | misc cleanup
|
commit | commitdiff | tree |
| 2022-08-24 |
Jacob Lifshay | finished writing svp64 utf-8 validation algorithm ...
|
commit | commitdiff | tree |
| 2022-08-23 |
Jacob Lifshay | add WIP svp64 utf-8 validation algorithm
|
commit | commitdiff | tree |
| 2022-08-14 |
Jacob Lifshay | add rest of missing stuff for cached-property git dependency
|
commit | commitdiff | tree |
| 2022-07-28 |
Jacob Lifshay | DOUBLE2SINGLE: convert doc comments to docstring
|
commit | commitdiff | tree |
| 2022-07-28 |
Jacob Lifshay | re-convert frsp pseudocode
|
commit | commitdiff | tree |
| 2022-07-28 |
Jacob Lifshay | try to add some line numbers to ast -- helps with debugging
|
commit | commitdiff | tree |
| 2022-07-28 |
Jacob Lifshay | switch ast for assignment to tuple to use the python...
|
commit | commitdiff | tree |
| 2022-07-28 |
Jacob Lifshay | fix line number tracking
|
commit | commitdiff | tree |
| 2022-07-28 |
Jacob Lifshay | add handy re-indenting script
|
commit | commitdiff | tree |
| 2022-07-27 |
Jacob Lifshay | gitlab-ci.yml: stop testing after 5 failures
|
commit | commitdiff | tree |
| 2022-07-27 |
Jacob Lifshay | shrink build log
|
commit | commitdiff | tree |
| 2022-07-27 |
Jacob Lifshay | add another test and fix broken fishmv pseudocode
|
commit | commitdiff | tree |
| 2022-07-14 |
Jacob Lifshay | add jit_test for testing icbi and isync
|
commit | commitdiff | tree |
| 2022-06-24 |
Jacob Lifshay | add missed generated csv changes
|
commit | commitdiff | tree |
| 2022-06-19 |
Jacob Lifshay | fix minu[.] to be unsigned
|
commit | commitdiff | tree |
| next |
projects / openpower-isa.git / search