syntest-framework/syntest-solidity issues and pull requests

#162 - Bump web3-utils from 1.8.1 to 4.2.1

Pull Request - State: open - Opened by dependabot[bot] 11 months ago
Labels: dependencies

#161 - Add citation config

Pull Request - State: closed - Opened by mitchellolsthoorn over 1 year ago - 1 comment
Labels: wontfix

#160 - Add zenodo config

Pull Request - State: closed - Opened by mitchellolsthoorn over 1 year ago - 1 comment
Labels: wontfix

#158 - Upgrade to core 0.4.0

Pull Request - State: closed - Opened by dstallenberg over 1 year ago - 1 comment
Labels: wontfix

#157 - Trace: Error: Cannot copy '...' to a subdirectory of itself '...'

Issue - State: closed - Opened by acmLL over 1 year ago - 1 comment
Labels: bug, wontfix

#156 - tool not running: node doesn't exist

Issue - State: closed - Opened by sallywang147 over 1 year ago - 1 comment
Labels: wontfix

#155 - Update to @syntest/[email protected]

Pull Request - State: closed - Opened by dstallenberg about 2 years ago - 1 comment
Labels: wontfix

#154 - Configure lerna CI infrastructure

Issue - State: closed - Opened by dstallenberg about 2 years ago - 1 comment
Labels: enhancement, wontfix

#153 - Emit events using the eventmanager

Issue - State: closed - Opened by dstallenberg about 2 years ago - 1 comment
Labels: enhancement, wontfix

#152 - Upgrade to @syntest/core:0.3.1

Issue - State: closed - Opened by dstallenberg about 2 years ago - 1 comment
Labels: enhancement, wontfix

#151 - Extract CFG generator library

Issue - State: closed - Opened by dstallenberg about 2 years ago - 1 comment
Labels: enhancement, wontfix

#150 - Convert to monorepo structure

Issue - State: closed - Opened by dstallenberg about 2 years ago - 1 comment
Labels: enhancement, wontfix

#149 - Patch variable name error

Pull Request - State: closed - Opened by dstallenberg about 2 years ago - 3 comments
Labels: wontfix

#148 - Implement Array Statement

Issue - State: closed - Opened by dstallenberg about 2 years ago - 1 comment
Labels: enhancement, wontfix

#147 - Refactor Type System

Issue - State: closed - Opened by dstallenberg about 2 years ago - 1 comment
Labels: enhancement, wontfix

#146 - Add npm build back to the prepare script

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

#145 - Prepare for release 0.2.0

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

#144 - Setup style convention infrastructure

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

#143 - Fix linting errors

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

#142 - Refactor and remove .js files

Issue - State: closed - Opened by dstallenberg about 2 years ago - 1 comment
Labels: enhancement, wontfix

#141 - Move decoding into statement files

Issue - State: closed - Opened by dstallenberg about 2 years ago - 1 comment
Labels: enhancement, wontfix

#140 - Fix linting and formatting errors

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

#139 - Specify config files

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

#138 - Update and lock dependency versions

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

#137 - Use correct config files

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

#136 - Release 0.2.0

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

#135 - Change to @syntest/core

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

#134 - Change syntest/framework package to syntest/core

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

#133 - Lock dependency versions

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

#132 - Configure CI Infrastructure

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

#131 - infra: update CI infrastructure settings

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

#130 - Reading in previously created test cases

Issue - State: closed - Opened by dstallenberg about 2 years ago - 1 comment
Labels: enhancement, wontfix

#129 - Allow solc compiler version picking

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

#128 - Update dependencies

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

#127 - Update dependencies to latest versions

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

#126 - Remove the "Solidity" prefixes from the repo files.

Issue - State: closed - Opened by dstallenberg about 2 years ago - 1 comment
Labels: enhancement, wontfix

#125 - Update licence year

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

#124 - Update licence year

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

#123 - Update file header licences to correct year

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

#122 - Move testcase specific code out of framework

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

#120 - Truffle solidity version

Issue - State: closed - Opened by elizabethdinella almost 3 years ago - 1 comment
Labels: wontfix

#119 - Add support for recent solidity compiler versions

Issue - State: closed - Opened by beeb almost 3 years ago - 3 comments
Labels: bug, stale

#118 - Statement immutability

Issue - State: closed - Opened by dstallenberg about 3 years ago - 1 comment
Labels: bug, stale

#117 - Create a better branchId method

Issue - State: closed - Opened by dstallenberg about 3 years ago - 1 comment
Labels: bug, stale

#116 - Skip Abstract Functions and Interfaces

Issue - State: closed - Opened by dstallenberg about 3 years ago - 1 comment
Labels: enhancement, stale

#115 - Repair statement immutability

Pull Request - State: closed - Opened by dstallenberg about 3 years ago - 1 comment
Labels: stale

#114 - Move testcase specific code out of framework

Pull Request - State: closed - Opened by dstallenberg about 3 years ago - 1 comment
Labels: stale

#113 - Repair sampling structure

Pull Request - State: closed - Opened by dstallenberg about 3 years ago - 1 comment
Labels: stale

#112 - Reimplement the CFG generator using the SolidityParser Visitor pattern

Issue - State: closed - Opened by dstallenberg about 3 years ago - 1 comment
Labels: enhancement, stale

#111 - Move targetting to framework

Pull Request - State: closed - Opened by dstallenberg about 3 years ago - 1 comment
Labels: stale

#110 - Repair the commands

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

#109 - Repair the commands

Pull Request - State: closed - Opened by dstallenberg over 3 years ago
Labels: bug

#108 - Add check workflow for checking style and linting errors

Pull Request - State: closed - Opened by mitchellolsthoorn over 3 years ago - 1 comment
Labels: stale

#107 - Update readme

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

#106 - Update install and usage instructions

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

#105 - Test/Coverage command

Issue - State: closed - Opened by dstallenberg over 3 years ago - 1 comment
Labels: enhancement, stale

#104 - Fix broken tests

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

#103 - Include generation info in test-case

Issue - State: closed - Opened by dstallenberg over 3 years ago - 1 comment
Labels: enhancement, stale

#102 - Improve properties workflow

Pull Request - State: closed - Opened by dstallenberg over 3 years ago - 1 comment
Labels: stale

#101 - Fix contract bugs

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

#100 - File selection only works for contract folder

Issue - State: closed - Opened by dstallenberg over 3 years ago - 1 comment
Labels: bug, stale

#99 - Make exception assertions stronger

Issue - State: closed - Opened by mitchellolsthoorn over 3 years ago - 1 comment
Labels: enhancement, stale

#98 - Final test cases fail

Issue - State: closed - Opened by mitchellolsthoorn over 3 years ago
Labels: bug

#97 - Launcher refactor

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

#96 - Fix missing types in CFG factory

Pull Request - State: closed - Opened by mitchellolsthoorn over 3 years ago
Labels: bug

#95 - Integrating the request caller into the encoding

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

#94 - Fix the coveage computation for requires related objectives

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

#93 - Failing test cases

Issue - State: closed - Opened by dstallenberg over 3 years ago - 1 comment
Labels: bug, stale

#92 - Fix multiple issues with address statements

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

#91 - Using properties to decide whether minimizing the test cases

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

#90 - Integrate assertions

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

#89 - Improve CI workflow

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

#88 - Add missing depency required for running the test

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

#87 - 85 constant pool

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

#86 - Target pool

Pull Request - State: closed - Opened by mitchellolsthoorn over 3 years ago
Labels: enhancement

#85 - Integrate constant pool in sampler

Issue - State: closed - Opened by mitchellolsthoorn over 3 years ago - 1 comment
Labels: enhancement

#84 - Make it possible for the output of one function to be used as the input of another

Issue - State: closed - Opened by dstallenberg over 3 years ago - 1 comment
Labels: enhancement, stale

#83 - 24 automate config generation

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

#82 - Make message sender part of the encoding

Issue - State: closed - Opened by mitchellolsthoorn over 3 years ago - 1 comment
Labels: enhancement, stale

#78 - Reading tests from memory

Pull Request - State: closed - Opened by TheOnlyError over 3 years ago - 1 comment
Labels: stale

#77 - CLI User Interface

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

#74 - Implement dynamic constant pool

Issue - State: closed - Opened by mitchellolsthoorn over 3 years ago - 1 comment
Labels: enhancement, stale

#68 - 58 contract selection

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

#67 - MCC (multi-clauses coverage) - replace conditions with multiple clauses into individual ones

Issue - State: closed - Opened by mitchellolsthoorn over 3 years ago - 1 comment
Labels: enhancement, stale

#66 - Replace function calls in branch conditions by the actual function code

Issue - State: closed - Opened by mitchellolsthoorn over 3 years ago - 1 comment
Labels: enhancement, stale

#65 - Integrate assertions into the encoding

Issue - State: closed - Opened by mitchellolsthoorn over 3 years ago - 1 comment
Labels: enhancement, stale

#64 - Add assertions for complex objects

Issue - State: closed - Opened by mitchellolsthoorn over 3 years ago - 1 comment
Labels: enhancement, stale

#63 - Split assertions into separate namespace

Issue - State: closed - Opened by mitchellolsthoorn over 3 years ago - 1 comment
Labels: enhancement, stale

#61 - Model seeding (usage patterns)

Issue - State: closed - Opened by mitchellolsthoorn over 3 years ago - 1 comment
Labels: enhancement, stale

#60 - Initial population seeding

Issue - State: closed - Opened by mitchellolsthoorn over 3 years ago - 1 comment
Labels: enhancement, stale

#59 - Split target selection into a separate namespace

Issue - State: closed - Opened by mitchellolsthoorn over 3 years ago - 1 comment
Labels: enhancement, stale

#58 - Allow individual contract selection within a file

Issue - State: closed - Opened by mitchellolsthoorn over 3 years ago
Labels: enhancement

#55 - Collection: Improve selection mechanism

Issue - State: closed - Opened by mitchellolsthoorn over 3 years ago - 1 comment
Labels: enhancement, stale

#54 - Collection: Improve the seeding of the search algorithm

Issue - State: closed - Opened by mitchellolsthoorn over 3 years ago - 1 comment
Labels: enhancement, stale

#53 - Improve coverage metrics

Issue - State: closed - Opened by mitchellolsthoorn over 3 years ago - 1 comment
Labels: enhancement, stale

#52 - Collection: Improve assertions

Issue - State: closed - Opened by mitchellolsthoorn over 3 years ago - 1 comment
Labels: enhancement, stale

#50 - Collection: Testability transformations

Issue - State: closed - Opened by mitchellolsthoorn over 3 years ago - 1 comment
Labels: enhancement, stale

#49 - Collection: CFG improvements

Issue - State: closed - Opened by mitchellolsthoorn over 3 years ago - 1 comment
Labels: enhancement, stale

#48 - Document architecture

Issue - State: closed - Opened by mitchellolsthoorn over 3 years ago - 1 comment
Labels: documentation, stale

#46 - Trying random address generation

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

GitHub / syntest-framework/syntest-solidity issues and pull requests