All pull requests

Pull requests

• Bump Newtonsoft.Json from 12.0.3 to 13.0.2 in /Sources/SolidityAST

  dependencies
  #278·dependabot[bot] opened Dec 8, 2022Bot·

  ·

• Celestial

  #272·Chandrika Bhardwaj (chandrikabhardwaj) opened Oct 30, 2020·

  ·
  1

• the function TranslateCallStatement ( NULL Pointer Dereference )

  #270·BigGan opened Jul 20, 2020·

  ·
  1

• new test for VeriSol.Modifies; VeriSolContracts.sol extended for Modifies

  #261·ellab123 opened Apr 22, 2020Collaborator·

  ·

• Adding test case that fails if contracts can initiate transactions.

  #255·Jon Stephens (stephensj2) opened Apr 15, 2020Collaborator·

  ·
  2