epfl-lara/smart

Issues

• Compilation fails

  #18 opened 5 years ago by cgrigis
  7

• Strange permissions in archive release

  #12 opened 5 years ago by cgrigis
  1

• Solidity file generated for source file without contract

  #15 opened 5 years ago by cgrigis
  1

• Dependencies (imports) in generated Solidity files are missing

  #16 opened 5 years ago by cgrigis
  3

• Missing `isInstanceOf` information in concrete functions of ContractInterface

  #7 opened 5 years ago by jad-hamza
  2

• Unexpected behavior for invariant checking

  #6 opened 5 years ago by jad-hamza
  3