Ecosyste.ms: Issues

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

GitHub / WaizKhan7/SmartMuv issues and pull requests

#19 - Minor changes

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

#18 - fixed #17 and other minor bugs

Pull Request - State: closed - Opened by WaizKhan7 12 months ago

#17 - Issue with complex variable extraction

Issue - State: closed - Opened by WaizKhan7 12 months ago
Labels: bug

#16 - fixed #15 and other minor bugs

Pull Request - State: closed - Opened by WaizKhan7 12 months ago

#15 - State Variable Declaration Detector does not check contract "diamond inheritance problem"

Issue - State: closed - Opened by WaizKhan7 12 months ago
Labels: bug, enhancement

#14 - minor changes

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

#13 - fixed issues #10 #11 #12

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

#12 - "Immutable" variables are not stored in contract storage

Issue - State: closed - Opened by WaizKhan7 about 1 year ago
Labels: bug

#11 - Key backtracking related bug

Issue - State: closed - Opened by WaizKhan7 about 1 year ago
Labels: bug

#10 - Misses mapping key node marking

Issue - State: closed - Opened by WaizKhan7 about 1 year ago
Labels: bug

#9 - improved key back tracking

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

#8 - fixed #7

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

#7 - Issue with sequence in reach analysis

Issue - State: closed - Opened by WaizKhan7 about 1 year ago
Labels: bug

#6 - Update README.md

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

#5 - fixed #4

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

#4 - Issue with "bytes" type mapping keys

Issue - State: closed - Opened by WaizKhan7 about 1 year ago
Labels: bug

#3 - fixed #1 and #2

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

#2 - Error in struct extraction

Issue - State: closed - Opened by WaizKhan7 about 1 year ago
Labels: bug

#1 - Error in State Extraction when key type is string

Issue - State: closed - Opened by WaizKhan7 about 1 year ago
Labels: bug