Ecosyste.ms: Issues

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

GitHub / sri-csl/smart-contract-explorer issues and pull requests

#49 - sc-examples: generating wrong positive and negative examples

Issue - State: closed - Opened by beillahi over 5 years ago

#48 - sc-simulation: parsing of s-experssions

Issue - State: closed - Opened by beillahi over 5 years ago

#46 - Invalid expressions passed to the evaluator.

Issue - State: closed - Opened by michael-emmi over 5 years ago - 5 comments

#44 - Evaluation for nested mappings.

Issue - State: closed - Opened by michael-emmi over 5 years ago - 1 comment

#43 - Unsupported features

Issue - State: closed - Opened by beillahi over 5 years ago

#42 - Dealing with complex observation functions.

Issue - State: closed - Opened by michael-emmi over 5 years ago - 3 comments

#40 - Uncaught invocation revert exceptions.

Issue - State: closed - Opened by beillahi over 5 years ago - 2 comments

#39 - Storage access paths with struct types.

Issue - State: closed - Opened by michael-emmi over 5 years ago

#38 - Simulation-example accessors for arrays.

Issue - State: closed - Opened by michael-emmi over 5 years ago

#37 - Parse array-valued return values.

Issue - State: closed - Opened by michael-emmi over 5 years ago

#35 - should solc-verify handle equality between memory array and storage array ?

Issue - State: closed - Opened by beillahi over 5 years ago - 2 comments

#34 - Simulation check for contracts which mutate common state

Issue - State: closed - Opened by beillahi over 5 years ago - 1 comment

#33 - Parsing if-else for seed-features that contain maps

Issue - State: closed - Opened by beillahi over 5 years ago - 1 comment

#32 - Importing modifies from internal function

Issue - State: closed - Opened by beillahi over 5 years ago

#30 - Adding sum over maps as fields for sc-examples

Issue - State: closed - Opened by beillahi over 5 years ago

#28 - Issue with generating bytes4 values for sc-examples

Issue - State: closed - Opened by beillahi over 5 years ago

#27 - Should not generate constants as fields for sc-examples

Issue - State: closed - Opened by beillahi over 5 years ago

#26 - Evaluation for maps

Issue - State: closed - Opened by beillahi over 5 years ago

#25 - Simulation relation for ERC20

Issue - State: closed - Opened by beillahi over 5 years ago - 1 comment

#23 - Parsing map fields types

Issue - State: closed - Opened by beillahi over 5 years ago

#23 - Parsing map fields types

Issue - State: closed - Opened by beillahi over 5 years ago

#18 - Evaluate equality experssions over maps

Issue - State: closed - Opened by beillahi over 5 years ago

#17 - Array-valued invocation arguments.

Issue - State: closed - Opened by michael-emmi over 5 years ago - 2 comments

#16 - Use of generalized verifier sum function.

Issue - State: closed - Opened by michael-emmi over 5 years ago - 3 comments

#15 - Resolution of imports.

Issue - State: closed - Opened by michael-emmi over 5 years ago

#14 - Handle failed requirements in exploration.

Issue - State: closed - Opened by michael-emmi over 5 years ago

#13 - Should not be treating many warnings as errors.

Issue - State: closed - Opened by michael-emmi over 5 years ago

#12 - Not generating required values.

Issue - State: closed - Opened by michael-emmi over 5 years ago

#11 - Duplicate identifiers for identical structure types.

Issue - State: closed - Opened by michael-emmi over 5 years ago

#11 - Duplicate identifiers for identical structure types.

Issue - State: closed - Opened by michael-emmi over 5 years ago

#10 - Undeclared identifiers in simulation check

Issue - State: closed - Opened by michael-emmi over 5 years ago - 1 comment

#9 - Multi-statement observer functions.

Issue - State: closed - Opened by michael-emmi over 5 years ago - 1 comment

#8 - External methds call from SimulationExamples contract

Issue - State: closed - Opened by beillahi over 5 years ago

#7 - Updated dependencies.

Pull Request - State: closed - Opened by michael-emmi over 5 years ago

#6 - Caching evaluator

Pull Request - State: closed - Opened by michael-emmi over 5 years ago - 2 comments

#5 - Merge pull request #2 from michael-emmi/updates-to-explorer

Pull Request - State: closed - Opened by beillahi over 5 years ago

#4 - Updates to explorer

Pull Request - State: closed - Opened by beillahi over 5 years ago

#3 - Incorrect negative examples generation

Issue - State: closed - Opened by beillahi over 5 years ago - 1 comment

#2 - Some updates explorer

Pull Request - State: closed - Opened by beillahi over 5 years ago

#1 - Sim product

Pull Request - State: closed - Opened by beillahi over 5 years ago