mojtaba-eshghie/SINA

Issues

• PreDi outputs `equivalent` in cases where they are not

  #19 opened 9 months ago by mojtaba-eshghie
  0

• The CI.yml file should include release script as well

  #48 opened 6 months ago by mojtaba-eshghie
  0

• Bug in comparison when using long variable names

  #38 opened 6 months ago by Kasche153
  1

• Interesting cases (correct but misleading)

  #40 opened 7 months ago by mojtaba-eshghie
  1

• Mistake with multiplying integer amounts

  #41 opened 6 months ago by mojtaba-eshghie
  1

• Incorrect results for arithmetic expression

  #36 opened 7 months ago by Kasche153
  1

• Incorrect results when comparing variabels to numericals

  #39 opened 7 months ago by Kasche153
  2

• Bug in comparison of inequivalence to equivalence

  #42 opened 7 months ago by mojtaba-eshghie
  0

• Incorrect results for less than or equal and greater than or equal

  #37 opened 7 months ago by Kasche153
  0

• Problem processing predicates with more than one disjunction

  #43 opened 7 months ago by mojtaba-eshghie
  0

• Problematic cases

  #13 opened 9 months ago by mojtaba-eshghie
  11

• _msgSender() should be interpreted as msg.sender

  #30 opened 9 months ago by mojtaba-eshghie
  2

• Comparator tests are deprecated

  #35 opened 9 months ago by mojtaba-eshghie
  0

• Numerous issues with setup.py

  #34 opened 9 months ago by mojtaba-eshghie
  0

• Simplify negations properly

  #32 opened 9 months ago by mojtaba-eshghie
  0

• Not enough simplification for linear inequalities

  #23 opened 9 months ago by mojtaba-eshghie
  0

• Handle Scientific numbers properly

  #28 opened 9 months ago by mojtaba-eshghie
  0

• Time constructs are not handeled properly by PreDi

  #25 opened 9 months ago by mojtaba-eshghie
  1

• Incorrect strength identification when numerical inequalities are involved

  #15 opened 9 months ago by mojtaba-eshghie
  1

• Add a distributed logging mechanism

  #2 opened 9 months ago by mojtaba-eshghie
  0

• Create a CI/CD pipeline

  #5 opened 9 months ago by mojtaba-eshghie
  0

• Docs

  #4 opened 9 months ago by mojtaba-eshghie
  0

• Overlooked keywords in Solidity syntax

  #10 opened 9 months ago by mojtaba-eshghie
  0

• Using LRA distinctly only for numerical inequalities

  #8 opened 9 months ago by mojtaba-eshghie
  4

• Fix parser bugs identified by the diversified predicates

  #3 opened 9 months ago by mojtaba-eshghie
  0

• Add a dataset of predicates for testing the SPi

  #1 opened 9 months ago by mojtaba-eshghie
  0