aqjune/mlir-tv issues and pull requests

#344 - Add command-line option `--specify-output-dims`

Pull Request - State: closed - Opened by strikef about 2 years ago

#211 - Integer summation must be commutative as well

Issue - State: closed - Opened by aqjune almost 3 years ago - 1 comment

#101 - Implement wrapper class for solver and result

Pull Request - State: closed - Opened by strikef about 3 years ago

#101 - Implement wrapper class for solver and result

Pull Request - State: closed - Opened by strikef about 3 years ago

#100 - Give concrete semantic when checking source is always UB

Issue - State: closed - Opened by makesource about 3 years ago - 1 comment

#100 - Give concrete semantic when checking source is always UB

Issue - State: closed - Opened by makesource about 3 years ago - 1 comment

#99 - Fix linking issue on linkers without automatic tsort

Pull Request - State: closed - Opened by strikef about 3 years ago

#99 - Fix linking issue on linkers without automatic tsort

Pull Request - State: closed - Opened by strikef about 3 years ago

#98 - Add inverseMappings to MemRef Layout encoding

Pull Request - State: closed - Opened by makesource about 3 years ago

#98 - Add inverseMappings to MemRef Layout encoding

Pull Request - State: closed - Opened by makesource about 3 years ago

#97 - Implement `smt::Sort`

Pull Request - State: closed - Opened by strikef about 3 years ago

#97 - Implement `smt::Sort`

Pull Request - State: closed - Opened by strikef about 3 years ago

#96 - Fn can return multiple values

Issue - State: closed - Opened by aqjune about 3 years ago

#96 - Fn can return multiple values

Issue - State: closed - Opened by aqjune about 3 years ago

#95 - Support SparseTensor

Issue - State: open - Opened by aqjune about 3 years ago - 2 comments

#95 - Support SparseTensor

Issue - State: open - Opened by aqjune about 3 years ago - 2 comments

#94 - Fix bug in smt-solver logic selection

Pull Request - State: closed - Opened by makesource about 3 years ago

#94 - Fix bug in smt-solver logic selection

Pull Request - State: closed - Opened by makesource about 3 years ago

#93 - Implement more solver-independent wrappers

Pull Request - State: closed - Opened by strikef about 3 years ago - 2 comments

#93 - Implement more solver-independent wrappers

Pull Request - State: closed - Opened by strikef about 3 years ago - 2 comments

#92 - Support Sparse Tensor Constant

Pull Request - State: closed - Opened by KKimj about 3 years ago - 4 comments

#92 - Support Sparse Tensor Constant

Pull Request - State: closed - Opened by KKimj about 3 years ago - 4 comments

#91 - Implement prototype smt::Expr

Pull Request - State: closed - Opened by strikef about 3 years ago

#91 - Implement prototype smt::Expr

Pull Request - State: closed - Opened by strikef about 3 years ago

#90 - Print counter example instruction in pretty format

Pull Request - State: closed - Opened by makesource about 3 years ago

#90 - Print counter example instruction in pretty format

Pull Request - State: closed - Opened by makesource about 3 years ago

#89 - Implement memref.subview rank reduction cases

Pull Request - State: closed - Opened by makesource about 3 years ago

#89 - Implement memref.subview rank reduction cases

Pull Request - State: closed - Opened by makesource about 3 years ago

#88 - Encode memref inbounds check for SubViewOp when load, store memory

Pull Request - State: closed - Opened by makesource about 3 years ago

#88 - Encode memref inbounds check for SubViewOp when load, store memory

Pull Request - State: closed - Opened by makesource about 3 years ago

#87 - Fix issue with cmake -D variables

Pull Request - State: closed - Opened by strikef about 3 years ago

#87 - Fix issue with cmake -D variables

Pull Request - State: closed - Opened by strikef about 3 years ago

#86 - Encode subview parameters and calculate transformed layout

Pull Request - State: closed - Opened by makesource about 3 years ago

#86 - Encode subview parameters and calculate transformed layout

Pull Request - State: closed - Opened by makesource about 3 years ago

#85 - Detach freshBlock parameter in MemRef

Pull Request - State: closed - Opened by makesource about 3 years ago

#85 - Detach freshBlock parameter in MemRef

Pull Request - State: closed - Opened by makesource about 3 years ago

#84 - MemRef should be able to point to a MemBlock with a negative offset.

Issue - State: open - Opened by makesource about 3 years ago - 2 comments

#84 - MemRef should be able to point to a MemBlock with a negative offset.

Issue - State: open - Opened by makesource about 3 years ago - 2 comments

#83 - Add encoding memref.subview operation

Pull Request - State: closed - Opened by makesource about 3 years ago - 2 comments

#83 - Add encoding memref.subview operation

Pull Request - State: closed - Opened by makesource about 3 years ago - 2 comments

#82 - Update CMakeLists

Pull Request - State: closed - Opened by strikef about 3 years ago - 1 comment

#82 - Update CMakeLists

Pull Request - State: closed - Opened by strikef about 3 years ago - 1 comment

#81 - Implement dimension-wise inbounds check for Memref

Pull Request - State: closed - Opened by makesource about 3 years ago

#81 - Implement dimension-wise inbounds check for Memref

Pull Request - State: closed - Opened by makesource about 3 years ago

#80 - Fix compile failures in latest c++ stdlibs

Pull Request - State: closed - Opened by strikef about 3 years ago

#80 - Fix compile failures in latest c++ stdlibs

Pull Request - State: closed - Opened by strikef about 3 years ago

#79 - Implement local memory blocks

Pull Request - State: closed - Opened by makesource about 3 years ago - 3 comments

#79 - Implement local memory blocks

Pull Request - State: closed - Opened by makesource about 3 years ago - 3 comments

#78 - A command line argument for assigning different bids to memref

Issue - State: closed - Opened by aqjune about 3 years ago - 1 comment

#78 - A command line argument for assigning different bids to memref

Issue - State: closed - Opened by aqjune about 3 years ago - 1 comment

#77 - Setup CI system

Pull Request - State: closed - Opened by KKimj about 3 years ago

#77 - Setup CI system

Pull Request - State: closed - Opened by KKimj about 3 years ago

#76 - Implement local memory blocks

Issue - State: closed - Opened by makesource about 3 years ago - 1 comment

#76 - Implement local memory blocks

Issue - State: closed - Opened by makesource about 3 years ago - 1 comment

#75 - memref::BufferCastOp must return a fresh block

Issue - State: closed - Opened by aqjune about 3 years ago - 1 comment

#75 - memref::BufferCastOp must return a fresh block

Issue - State: closed - Opened by aqjune about 3 years ago - 1 comment

#74 - Partially implement smt-switch terms for value types

Pull Request - State: closed - Opened by strikef about 3 years ago - 1 comment

#74 - Partially implement smt-switch terms for value types

Pull Request - State: closed - Opened by strikef about 3 years ago - 1 comment

#73 - Improve buffer_cast encoding when memref has an identity map

Pull Request - State: closed - Opened by makesource about 3 years ago - 2 comments

#73 - Improve buffer_cast encoding when memref has an identity map

Pull Request - State: closed - Opened by makesource about 3 years ago - 2 comments

#72 - Use z3::ugt rather than z3::sgt

Pull Request - State: closed - Opened by makesource about 3 years ago

#72 - Use z3::ugt rather than z3::sgt

Pull Request - State: closed - Opened by makesource about 3 years ago

#71 - Use UFBV logic when expression has Quantifier

Pull Request - State: closed - Opened by makesource about 3 years ago

#71 - Use UFBV logic when expression has Quantifier

Pull Request - State: closed - Opened by makesource about 3 years ago

#70 - Update CMakeLists to change dependencies

Pull Request - State: closed - Opened by strikef about 3 years ago

#70 - Update CMakeLists to change dependencies

Pull Request - State: closed - Opened by strikef about 3 years ago

#69 - Renamed to mlir-tv in tests, comments, and READMEs

Pull Request - State: closed - Opened by strikef about 3 years ago

#69 - Renamed to mlir-tv in tests, comments, and READMEs

Pull Request - State: closed - Opened by strikef about 3 years ago

#68 - Fix linalg.generic encoding when zero sized tensor.

Pull Request - State: closed - Opened by makesource over 3 years ago

#68 - Fix linalg.generic encoding when zero sized tensor.

Pull Request - State: closed - Opened by makesource over 3 years ago

#67 - Specify exit codes for various iree-tv exit conditions

Pull Request - State: closed - Opened by strikef over 3 years ago

#67 - Specify exit codes for various iree-tv exit conditions

Pull Request - State: closed - Opened by strikef over 3 years ago

#66 - Support memref.buffer_cast op

Pull Request - State: closed - Opened by makesource over 3 years ago

#66 - Support memref.buffer_cast op

Pull Request - State: closed - Opened by makesource over 3 years ago

#65 - Support symbol encoding in affine apply

Pull Request - State: closed - Opened by makesource over 3 years ago

#65 - Support symbol encoding in affine apply

Pull Request - State: closed - Opened by makesource over 3 years ago

#64 - Support affineMapped Memref

Pull Request - State: closed - Opened by makesource over 3 years ago - 2 comments

#64 - Support affineMapped Memref

Pull Request - State: closed - Opened by makesource over 3 years ago - 2 comments

#63 - Specify exit codes for `iree-tv` results

Issue - State: closed - Opened by strikef over 3 years ago - 3 comments

#63 - Specify exit codes for `iree-tv` results

Issue - State: closed - Opened by strikef over 3 years ago - 3 comments

#62 - Lambda

Issue - State: closed - Opened by aqjune over 3 years ago

#61 - Support dynamically shaped Memref

Pull Request - State: closed - Opened by makesource over 3 years ago

#60 - litmus/linalg-ops/dot test failed after supporting dynamic shaped tensor

Issue - State: closed - Opened by makesource over 3 years ago

#60 - litmus/linalg-ops/dot test failed after supporting dynamic shaped tensor

Issue - State: closed - Opened by makesource over 3 years ago

#59 - Support dynamically shaped Tensor

Pull Request - State: closed - Opened by makesource over 3 years ago

#59 - Support dynamically shaped Tensor

Pull Request - State: closed - Opened by makesource over 3 years ago

#58 - Implement `NO-IDENTITY` test keyword

Pull Request - State: closed - Opened by strikef over 3 years ago

#58 - Implement `NO-IDENTITY` test keyword

Pull Request - State: closed - Opened by strikef over 3 years ago

#57 - Share source arguments when encoding target

Pull Request - State: closed - Opened by makesource over 3 years ago - 1 comment

#57 - Share source arguments when encoding target

Pull Request - State: closed - Opened by makesource over 3 years ago - 1 comment

#56 - Support dynamic shaped Memref when verifying

Pull Request - State: closed - Opened by makesource over 3 years ago - 1 comment

#56 - Support dynamic shaped Memref when verifying

Pull Request - State: closed - Opened by makesource over 3 years ago - 1 comment

#55 - Fix value refinement using == operator

Pull Request - State: closed - Opened by makesource over 3 years ago - 4 comments

#55 - Fix value refinement using == operator

Pull Request - State: closed - Opened by makesource over 3 years ago - 4 comments

#54 - Fix bug in MLIRTest

Pull Request - State: closed - Opened by strikef over 3 years ago

#54 - Fix bug in MLIRTest

Pull Request - State: closed - Opened by strikef over 3 years ago

#53 - Support double

Issue - State: closed - Opened by aqjune over 3 years ago - 4 comments

#53 - Support double

Issue - State: closed - Opened by aqjune over 3 years ago - 4 comments

#52 - two linalg.init_tensors in src and tgt should yield identical tensors

Issue - State: closed - Opened by aqjune over 3 years ago - 3 comments

#52 - two linalg.init_tensors in src and tgt should yield identical tensors

Issue - State: closed - Opened by aqjune over 3 years ago - 3 comments

GitHub / aqjune/mlir-tv issues and pull requests