issues
search
costa-group
/
gasol-optimizer
GNU General Public License v3.0
107
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Optimization options
#48
alexcere
closed
1 month ago
0
Problem with memory accesses and KECCAK256
#47
genaim
closed
1 month ago
1
SDIV
#46
genaim
closed
1 month ago
1
Paper "Super-optimization of Smart Contracts" Appx. D may contain an incorrect rewrite rule
#45
msooseth
opened
9 months ago
4
Optional Extra Verification using Forves
#44
alexcere
opened
9 months ago
0
PUSH0 instruction
#43
alexcere
opened
9 months ago
0
SMT refactor including commits in main
#42
alexcere
closed
9 months ago
0
**SFS JSON file generation**
#41
tutugordillo
closed
1 year ago
1
Smt refactor
#40
alexcere
closed
1 year ago
0
New optimization rule
#39
tutugordillo
closed
1 year ago
1
Processing GAS opcode
#38
alexcere
closed
1 year ago
0
LT vs SLT
#37
tutugordillo
closed
1 year ago
0
ISZERO(GT(X,0))=ISZERO(X) is applied to SGT
#36
genaim
closed
1 year ago
1
Reordering of overlapping MSTORE
#35
genaim
closed
1 year ago
0
Smt refactor
#34
alexcere
closed
1 year ago
0
Can not optimize ASM JSON file
#32
gsscoder
closed
2 years ago
2
Rule simplification order
#31
tutugordillo
closed
1 year ago
0
SFS commutativity encoding
#30
tutugordillo
closed
2 years ago
0
Add infor about simplification rules to SMS
#29
tutugordillo
closed
2 years ago
0
Disable simplification rules flag
#28
tutugordillo
closed
2 years ago
0
Multiple KECCAK256 are not coherent
#27
tutugordillo
closed
2 years ago
0
Mstore8 wrong type
#26
alexcere
closed
2 years ago
0
Lower bound is incorrect with indirect memory/storage references
#25
alexcere
closed
1 year ago
0
Debugging Information
#24
tutugordillo
closed
2 years ago
0
Update parser_asm
#23
alexcere
closed
1 year ago
0
Two MSTORE8 can lead to a type error
#22
RicoloveFeng
closed
2 years ago
2
Partial order constraints using direct comparisons
#21
alexcere
closed
1 year ago
0
Revert encoding
#20
alexcere
opened
2 years ago
0
Encoding without u_i_j
#19
alexcere
closed
2 years ago
0
SMT solver wrappers
#18
alexcere
opened
2 years ago
0
Manage all configurations
#17
alexcere
closed
1 year ago
0
Fix -backend generation
#16
alexcere
closed
2 years ago
0
Refactor soft constraint generation
#15
alexcere
closed
2 years ago
0
Merge v0.2.0 into SMT refactor branch
#14
alexcere
closed
2 years ago
0
Release of version with memory and byte-size tested
#13
alexcere
closed
2 years ago
0
Update Reports/README from master branch
#12
alexcere
closed
2 years ago
0
Log generation
#11
alexcere
closed
2 years ago
0
Instruction Bounds
#10
alexcere
closed
2 years ago
0
Refactor hard constraint generation
#9
alexcere
closed
2 years ago
0
Enable log generation from memory
#8
alexcere
closed
2 years ago
0
Refactor ASM representation
#7
alexcere
closed
2 years ago
0
Refactor assembly representation
#6
alexcere
closed
2 years ago
0
Merge main into branch
#5
alexcere
closed
3 years ago
0
Dev asm version
#4
alexcere
closed
3 years ago
0
README update from main
#3
alexcere
closed
3 years ago
0
Log only optimized
#2
alexcere
closed
3 years ago
0
Log only optimized
#1
alexcere
closed
3 years ago
0