issues
search
mojtaba-eshghie
/
PreDi
PreDi: Semantic Solidity Predicate Difference Tool
https://pypi.org/project/predi/
MIT License
3
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Problem processing predicates with more than one disjunction
#43
mojtaba-eshghie
opened
2 days ago
0
Bug in comparison of inequivalence to equivalence
#42
mojtaba-eshghie
opened
2 days ago
0
Mistake with multiplying integer amounts
#41
mojtaba-eshghie
opened
2 days ago
0
Interesting cases (correct but misleading)
#40
mojtaba-eshghie
opened
2 days ago
0
Incorrect results when comparing variabels to numericals
#39
Kasche153
opened
3 days ago
0
Long name variabel error
#38
Kasche153
opened
1 week ago
0
Incorrect results for less than or equal and greater than or equal
#37
Kasche153
opened
1 week ago
0
Incorrect results for arithmetic expression
#36
Kasche153
opened
1 week ago
0
Comparator tests are deprecated
#35
mojtaba-eshghie
opened
2 months ago
0
Numerous issues with setup.py
#34
mojtaba-eshghie
closed
2 months ago
0
Feat issue 32
#33
mojtaba-eshghie
closed
2 months ago
0
Simplify negations properly
#32
mojtaba-eshghie
closed
2 months ago
0
Feat issue 28
#31
mojtaba-eshghie
closed
2 months ago
0
_msgSender() should be interpreted as msg.sender
#30
mojtaba-eshghie
opened
2 months ago
2
Feat issue 28
#29
mojtaba-eshghie
closed
2 months ago
0
Handle Scientific numbers properly
#28
mojtaba-eshghie
closed
2 months ago
0
Feat issue 25
#27
mojtaba-eshghie
closed
2 months ago
0
Feat issue 25
#26
mojtaba-eshghie
closed
2 months ago
0
Time constructs are not handeled properly by PreDi
#25
mojtaba-eshghie
closed
2 months ago
1
fix: resolved simplification issue for inequalities #23
#24
mojtaba-eshghie
closed
2 months ago
0
Not enough simplification for linear inequalities
#23
mojtaba-eshghie
closed
2 months ago
0
fix: all of the cases related to #19 are fixed in simplifier and comp…
#22
mojtaba-eshghie
closed
2 months ago
0
Bug issue 19
#21
mojtaba-eshghie
closed
2 months ago
0
Bug issue 19
#20
mojtaba-eshghie
closed
2 months ago
0
SPi outputs `equivalent` in cases where they are not
#19
mojtaba-eshghie
closed
2 months ago
0
Merge pull request #17 from mojtaba-eshghie/main
#18
mojtaba-eshghie
closed
2 months ago
0
Merge pull request #16 from mojtaba-eshghie/bug_issue_15
#17
mojtaba-eshghie
closed
2 months ago
0
fix: resolving #15 with iterative satisfiability checking of inequali…
#16
mojtaba-eshghie
closed
2 months ago
0
Incorrect strength identification when numerical inequalities are involved
#15
mojtaba-eshghie
closed
2 months ago
1
fix: fixed a small issue with tokenizer
#14
mojtaba-eshghie
closed
2 months ago
0
Problematic cases
#13
mojtaba-eshghie
opened
2 months ago
11
fix: resolved the #8 by manually breaking down and checking sub-expre…
#12
mojtaba-eshghie
closed
2 months ago
0
Bug issue 8
#11
mojtaba-eshghie
closed
2 months ago
0
Overlooked keywords in Solidity syntax
#10
mojtaba-eshghie
closed
2 months ago
0
feat: removing unnecessary files #5
#9
mojtaba-eshghie
closed
2 months ago
0
Using LRA distinctly only for numerical inequalities
#8
mojtaba-eshghie
closed
2 months ago
4
feat: using a smaller test dataset for #5
#7
mojtaba-eshghie
closed
2 months ago
0
Feat issue 5
#6
mojtaba-eshghie
closed
2 months ago
0
Create a CI/CD pipeline
#5
mojtaba-eshghie
closed
2 months ago
0
Docs
#4
mojtaba-eshghie
closed
2 months ago
0
Fix parser bugs identified by the diversified predicates
#3
mojtaba-eshghie
closed
2 months ago
0
Add a distributed logging mechanism
#2
mojtaba-eshghie
closed
2 months ago
0
Add a dataset of predicates for testing the SPi
#1
mojtaba-eshghie
closed
2 months ago
0