Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / ise-uiuc/nnsmith issues and pull requests

#140 - Instruction of TVM COV

Issue - State: closed - Opened by shaoyuyoung 6 months ago - 4 comments
Labels: user question

#139 - Help Wanted - How does one generate minimum code examples from NNSmith bug reports

Issue - State: closed - Opened by talha-ahsan 7 months ago - 3 comments
Labels: user question

#138 - [Help Wanted] How to only generate sequential models

Issue - State: open - Opened by winnylyc 8 months ago - 2 comments
Labels: user question

#137 - [Help Wanted] Problems encountered when converting the onnx model to tvm.relay

Issue - State: open - Opened by Zeus1116 8 months ago - 3 comments
Labels: user question

#136 - 🐛 [BUG] - <An error occurred when loading the onnx model generated by nnsmith using tvm.delay.>

Issue - State: open - Opened by Zeus1116 8 months ago - 1 comment
Labels: user question

#135 - [User Question] integer type annotation in TVM

Issue - State: closed - Opened by Zeus1116 8 months ago - 2 comments
Labels: user question

#134 - fix(materialize): onnx loading with torch model available

Pull Request - State: closed - Opened by ganler 8 months ago

#133 - [Help wanted] How to get the result of executing model_exec.py?

Issue - State: closed - Opened by Zeus1116 8 months ago - 7 comments
Labels: bug

#132 - [Help wanted] How to get the shape of the output tensor of a operator

Issue - State: closed - Opened by Zeus1116 11 months ago - 5 comments
Labels: help wanted

#131 - feat(cli): bug report synthesis

Pull Request - State: closed - Opened by ganler 11 months ago

#130 - fix: update at-style pip fragment annotation

Pull Request - State: closed - Opened by ganler 11 months ago - 1 comment

#129 - refactor: update bug finding status

Pull Request - State: closed - Opened by ganler 11 months ago

#128 - fix: github markdown style in bug.md

Pull Request - State: closed - Opened by ganler 11 months ago

#127 - fix: onnx usage in ort and trt

Pull Request - State: closed - Opened by ganler 11 months ago - 1 comment

#126 - Problems encountered while compiling the onnx model

Issue - State: closed - Opened by Zeus1116 11 months ago - 4 comments
Labels: help wanted

#125 - Some questions about the replication of the experiment

Issue - State: closed - Opened by shaoyuyoung about 1 year ago - 6 comments
Labels: help wanted

#124 - 🐛 [BUG] - There is a problem with relative import in `fuzz.py`

Issue - State: closed - Opened by shaoyuyoung about 1 year ago - 2 comments
Labels: question

#123 - feat(doc): update README and bug finding

Pull Request - State: closed - Opened by ganler about 1 year ago

#122 - fix(render): nn.Parameter codegen

Pull Request - State: closed - Opened by ganler about 1 year ago

#121 - Render seems to not work

Issue - State: closed - Opened by ntcmp2u about 1 year ago - 6 comments
Labels: bug, help wanted

#120 - 🐛 [BUG] - <`ONNXModelCPU_tvm_0.9.0_cpu.yaml` file was empty, can't get opset properly properly>

Issue - State: closed - Opened by sdhuie over 1 year ago - 11 comments
Labels: bug

#119 - feat: impl single input-output gen via backward-cut

Pull Request - State: closed - Opened by ganler over 1 year ago

#118 - 💡 [REQUEST] - Tutorial of adding a new operator for GIR

Issue - State: closed - Opened by ChijinZ over 1 year ago - 4 comments
Labels: feature request

#117 - [Question] Customize the number of input/output variables in generated graphs

Issue - State: closed - Opened by ntcmp2u over 1 year ago - 9 comments

#116 - refactor: pre-trim profdata to reduce peak disk usage

Pull Request - State: closed - Opened by Co1lin over 1 year ago

#115 - Support gradient checking / autodiff validation

Pull Request - State: closed - Opened by ganler over 1 year ago

#114 - [Dev] `hydra` -> `click`

Issue - State: open - Opened by ganler over 1 year ago
Labels: enhancement

#113 - fix: readme of experiments

Pull Request - State: closed - Opened by Co1lin over 1 year ago - 1 comment

#112 - Optimize test saving by disabling graphviz

Pull Request - State: closed - Opened by ganler over 1 year ago

#111 - TF Coverage Scripts and Tutorial

Issue - State: open - Opened by Kristoff-starling over 1 year ago - 1 comment
Labels: enhancement

#110 - 💡 [REQUEST] TF Coverage Tutorial and Script

Issue - State: closed - Opened by Kristoff-starling over 1 year ago
Labels: feature request

#109 - feat: improve documentation

Pull Request - State: closed - Opened by ganler over 1 year ago

#108 - 💡 [Dynamic Graph] - Does nnsmith support dynamic graphs?

Issue - State: closed - Opened by LRY89757 over 1 year ago - 3 comments
Labels: feature request

#107 - [UX] Bug report/test-case rendering for PyTorch

Pull Request - State: closed - Opened by ganler over 1 year ago - 2 comments

#106 - refactor: make python_version>=3.8 mandatory

Pull Request - State: closed - Opened by ganler over 1 year ago

#105 - refactor: use f-string with equals operator

Pull Request - State: closed - Opened by Kristoff-starling over 1 year ago - 1 comment

#104 - [Tracking] Make Python >= 3.8 mandatory

Issue - State: closed - Opened by ganler over 1 year ago
Labels: enhancement

#102 - [Backend] Support PyTorch 2.0 (aka `torch.compile`)

Pull Request - State: closed - Opened by ganler over 1 year ago - 2 comments

#101 - [Torch][Codegen] SymbolNet -> `torch.fx.GraphModule`

Pull Request - State: closed - Opened by ganler over 1 year ago - 5 comments

#100 - refactor(README): use png logo for portability

Pull Request - State: closed - Opened by ganler over 1 year ago

#99 - [Doc] Add Hidet bug finding

Pull Request - State: closed - Opened by ganler over 1 year ago

#97 - [TF][Spec] Reverse, Cholesky and Eigh

Pull Request - State: closed - Opened by ganler over 1 year ago

#96 - refact: defaultify symbolic-cinit

Pull Request - State: closed - Opened by ganler over 1 year ago

#95 - fix: tfmm backward deduction

Pull Request - State: closed - Opened by ganler over 1 year ago

#94 - feat: cancel wip workflow if new commits

Pull Request - State: closed - Opened by ganler over 1 year ago

#93 - fix: GH disallow inline css. use fixed sizes

Pull Request - State: closed - Opened by ganler over 1 year ago

#91 - refact: use check bottom over check mark

Pull Request - State: closed - Opened by ganler over 1 year ago

#90 - [Refactor] Upload report links and simplify README

Pull Request - State: closed - Opened by ganler over 1 year ago

#89 - [Model] Specialize model execution devices over CPU and CUDA

Pull Request - State: closed - Opened by ganler over 1 year ago

#88 - Torchonnx

Pull Request - State: closed - Opened by pjjajal over 1 year ago - 1 comment

#87 - 💡 [REQUEST] - Consider warn for reports folder existed instead of cached

Issue - State: closed - Opened by tjuwhy almost 2 years ago - 3 comments
Labels: good first issue, question, feature request

#86 - feat: adding `doc/CONTRIBUTING.md`

Pull Request - State: closed - Opened by ganler almost 2 years ago

#85 - fix: consective cast for pgrelu

Pull Request - State: closed - Opened by ganler almost 2 years ago

#84 - 🐛 [BUG] Half precision kernels not implemented for CPU

Issue - State: closed - Opened by soodoshll almost 2 years ago - 4 comments
Labels: bug

#83 - 🐛 [BUG] Error: 'Key 'dtype_choices' is not in struct'

Issue - State: closed - Opened by theworld3 almost 2 years ago - 2 comments
Labels: question

#82 - feat: add code of conduct

Pull Request - State: closed - Opened by ganler almost 2 years ago

#81 - feat: add issue template for feature request

Pull Request - State: closed - Opened by ganler almost 2 years ago

#80 - feat: configure issue templates for bug reporting

Pull Request - State: closed - Opened by ganler almost 2 years ago

#79 - feat: torch JIT

Pull Request - State: closed - Opened by Co1lin almost 2 years ago

#78 - [RELEASE] nnsmith v0.1.0 Release Note

Issue - State: closed - Opened by ganler almost 2 years ago - 4 comments
Labels: release

#77 - fix: use torch.sigmoid over ..nn.functional.. suggested by torch

Pull Request - State: closed - Opened by ganler almost 2 years ago

#76 - fix: adapt f16 relu

Pull Request - State: closed - Opened by ganler almost 2 years ago

#75 - Fuzz Error when using nnsmith.fuzz

Issue - State: closed - Opened by CelestineSmith almost 2 years ago - 9 comments
Labels: good first issue, question

#74 - [DataType] Add more supports and controls over dtypes

Pull Request - State: closed - Opened by ganler almost 2 years ago - 1 comment

#73 - Does NNSmith support fp16?

Issue - State: closed - Opened by soodoshll almost 2 years ago - 3 comments
Labels: good first issue, feature request

#72 - User-defined data type and rank constraints

Pull Request - State: closed - Opened by ganler almost 2 years ago - 1 comment

#71 - fix: constrain hydra-color>=1.2.0

Pull Request - State: closed - Opened by ganler almost 2 years ago - 1 comment

#70 - [Colab] `nnsmith/**/*.yaml` lost with colab pypi installation

Issue - State: closed - Opened by ganler almost 2 years ago - 1 comment

#69 - approach/setting to control search space of a specific attribute

Issue - State: closed - Opened by jakc4103 almost 2 years ago - 6 comments
Labels: feature request

#68 - fix: hydra version should be >= 1.2

Pull Request - State: closed - Opened by ganler almost 2 years ago

#67 - TypeError: main() got an unexpected keyword argument 'version_base'

Issue - State: closed - Opened by jakc4103 almost 2 years ago - 6 comments

#66 - feat bundle: concolic generation, adapting latest TF, and more

Pull Request - State: closed - Opened by ganler almost 2 years ago

#65 - Unify Graph Generation Infra with GraphIR Integration

Pull Request - State: closed - Opened by ganler almost 2 years ago - 1 comment

#64 - Upstream sharpened GraphIR

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

#63 - Improve versioning of nnsmith/backend/model

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

#62 - feat: use tvm pre-release

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

#61 - Simple Graph IR to unify and facilitate DNN graph manipulation

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

#60 - feat: enabling coverage viz for fuzz-test

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

#59 - running with `crash_safe=true` is much slower

Issue - State: open - Opened by Co1lin about 2 years ago - 1 comment
Labels: enhancement

#58 - [util] save intermediate tests & fallback to `fuzz.crash_safe=false`

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

#57 - refact: same_inp_dims as class-level constraint

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

#56 - Improving filter for undef behavior and vulops

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

#55 - implement some existed operators for TF

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

#54 - feat: crash safety in fuzzing loop

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

#53 - [fuzz] a patchable bug filter

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

#52 - [gen][fuzz] impl backend constraints and fuzzing loop generation exp safety

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

#51 - refact(torch): better logging; simplify constant as parameter

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

#50 - Adding `backend_target` for `ModelType.init` for working around TF-XLA

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

#49 - Add TF_LOG and refine TF spec

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

#48 - Fix XLA backend

Pull Request - State: closed - Opened by Co1lin about 2 years ago - 1 comment

#47 - fix: matmul, torch-reduce-sum. check concrete types with abs types

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

#46 - refactor: iree_fn and context manager for run_functions_eagerly

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

#45 - support IREE as a TF backend

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

#44 - [LOG] Replace printing with modularized logging

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

#43 - fix: relax constraints and fix nnsmith.fuzz

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

#42 - [TRACKING] Follow-up Enhancements

Issue - State: closed - Opened by ganler about 2 years ago - 2 comments
Labels: enhancement

#41 - [CLI] model_exec & fuzz

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