syntest-framework/syntest-solidity

Issues

• Trace: Error: Cannot copy '...' to a subdirectory of itself '...'

  #157 opened a year ago by acmLL
  1

• tool not running: node doesn't exist

  #156 opened a year ago by sallywang147
  1

• Upgrade to @syntest/core:0.3.1

  #152 opened a year ago by dstallenberg
  1

• Emit events using the eventmanager

  #153 opened 2 years ago by dstallenberg
  1

• Configure lerna CI infrastructure

  #154 opened 2 years ago by dstallenberg
  1

• Move decoding into statement files

  #141 opened 2 years ago by dstallenberg
  1

• Refactor Type System

  #147 opened 2 years ago by dstallenberg
  1

• Implement Array Statement

  #148 opened 2 years ago by dstallenberg
  1

• Extract CFG generator library

  #151 opened 2 years ago by dstallenberg
  1

• Convert to monorepo structure

  #150 opened 2 years ago by dstallenberg
  1

• Refactor and remove .js files

  #142 opened 2 years ago by dstallenberg
  1

• Reading in previously created test cases

  #130 opened 2 years ago by dstallenberg
  1

• Remove the "Solidity" prefixes from the repo files.

  #126 opened 2 years ago by dstallenberg
  1

• Configure CI Infrastructure

  #132 opened 2 years ago by dstallenberg
  0

• Fix linting and formatting errors

  #140 opened 2 years ago by dstallenberg
  0

• Use correct config files

  #137 opened 2 years ago by dstallenberg
  0

• Change syntest/framework package to syntest/core

  #134 opened 2 years ago by dstallenberg
  0

• Lock dependency versions

  #133 opened 2 years ago by dstallenberg
  0

• Update dependencies to latest versions

  #127 opened 2 years ago by dstallenberg
  0

• Update file header licences to correct year

  #123 opened 2 years ago by dstallenberg
  0

• Truffle solidity version

  #120 opened 2 years ago by elizabethdinella
  1

• Add support for recent solidity compiler versions

  #119 opened 2 years ago by beeb
  3

• Statement immutability

  #118 opened 3 years ago by dstallenberg
  1

• Skip Abstract Functions and Interfaces

  #116 opened 3 years ago by dstallenberg
  1

• Create a better branchId method

  #117 opened 3 years ago by dstallenberg
  1

• Reimplement the CFG generator using the SolidityParser Visitor pattern

  #112 opened 3 years ago by dstallenberg
  1

• Test/Coverage command

  #105 opened 3 years ago by dstallenberg
  1

• Include generation info in test-case

  #103 opened 3 years ago by dstallenberg
  1

• File selection only works for contract folder

  #100 opened 3 years ago by dstallenberg
  1

• Failing test cases

  #93 opened 3 years ago by dstallenberg
  1

• Make exception assertions stronger

  #99 opened 3 years ago by mitchellolsthoorn
  1

• Make message sender part of the encoding

  #82 opened 3 years ago by mitchellolsthoorn
  1

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

  #67 opened 3 years ago by mitchellolsthoorn
  1

• Make it possible for the output of one function to be used as the input of another

  #84 opened 3 years ago by dstallenberg
  1

• Model seeding (usage patterns)

  #61 opened 3 years ago by mitchellolsthoorn
  1

• Initial population seeding

  #60 opened 3 years ago by mitchellolsthoorn
  1

• Split target selection into a separate namespace

  #59 opened 3 years ago by mitchellolsthoorn
  1

• Replace function calls in branch conditions by the actual function code

  #66 opened 3 years ago by mitchellolsthoorn
  1

• Integrate assertions into the encoding

  #65 opened 3 years ago by mitchellolsthoorn
  1

• Add assertions for complex objects

  #64 opened 3 years ago by mitchellolsthoorn
  1

• Split assertions into separate namespace

  #63 opened 3 years ago by mitchellolsthoorn
  1

• Implement dynamic constant pool

  #74 opened 3 years ago by mitchellolsthoorn
  1

• Final test cases fail

  #98 opened 3 years ago by mitchellolsthoorn
  0

• Allow individual contract selection within a file

  #58 opened 3 years ago by mitchellolsthoorn
  0

• Integrate constant pool in sampler

  #85 opened 3 years ago by mitchellolsthoorn
  1

• Add exception assertions

  #62 opened 3 years ago by mitchellolsthoorn
  0

• Support contracts with parameters in the constructor (does not work with the automatic migration generation)

  #57 opened 3 years ago by mitchellolsthoorn
  0

• Implement contract linking

  #71 opened 3 years ago by dstallenberg
  0

• Remove migrations logic

  #69 opened 3 years ago by mitchellolsthoorn
  3

• Implementing static constant pool

  #56 opened 3 years ago by mitchellolsthoorn
  0