Giters
kupl
/
MicSE
The Michelson Symbolic vErifier
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
13
Watchers:
4
Issues:
28
Forks:
0
kupl/MicSE Issues
Error of comparing sha256 hash value
Updated
2 years ago
Incorrect type assignment for LEFT, RIGHT instructions
Closed
2 years ago
Comments count
1
Update bootstrap.sh
Updated
2 years ago
Stack scheme mistake in type-execution
Updated
2 years ago
Support tuple data parsing
Updated
2 years ago
Comments count
1
Refine Experiment Mode
Closed
3 years ago
Benchmark script
Closed
3 years ago
More SMT encodings
Closed
3 years ago
Bug occurred when transaction_seq_NUM is changed
Closed
4 years ago
Comments count
2
Stack Overflow
Closed
4 years ago
Comments count
2
Segmentation Fault in Z3 Solving Process
Closed
4 years ago
Type Miss Match from Literal Contract
Closed
4 years ago
Comments count
2
Z3 time budget option doesn't work well
Closed
4 years ago
Some errors in benchmarks/mutez_active
Closed
4 years ago
Comments count
4
Invalid comparison between different type
Closed
4 years ago
CFG translation error
Closed
4 years ago
Comments count
1
Basic Path Disappears
Closed
4 years ago
The bug from verification of contract which has a loop
Closed
4 years ago
CFG error at LOOP_LEFT
Closed
4 years ago
Comments count
2
New Vlang Formula - SigmaEqual
Closed
4 years ago
Fix Refuter
Closed
4 years ago
Comments count
1
Add Main-Exit vertex in Basicpath
Closed
4 years ago
Set update in Vlang->SMT
Closed
4 years ago
Optimize in converter
Closed
4 years ago
Comments count
1
Typo in README.md
Closed
4 years ago
Bug in converter
Closed
4 years ago
Comments count
1
Make error handlers
Closed
4 years ago
New converter design
Closed
4 years ago
Comments count
1