kupl/MicSE

Issues

• Error of comparing sha256 hash value

  #32 opened a year ago by doslahtm
  0

• Incorrect type assignment for LEFT, RIGHT instructions

  #31 opened a year ago by cushionbadak
  1

• Update bootstrap.sh

  #30 opened 2 years ago by cushionbadak
  0

• Stack scheme mistake in type-execution

  #29 opened 2 years ago by cushionbadak
  0

• Support tuple data parsing

  #28 opened 2 years ago by cushionbadak
  1

• Refine Experiment Mode

  #26 opened 3 years ago by jormal
  0

• Benchmark script

  #27 opened 3 years ago by jormal
  0

• More SMT encodings

  #3 opened 3 years ago by jormal
  0

• Bug occurred when transaction_seq_NUM is changed

  #23 opened 3 years ago by jormal
  2

• Stack Overflow

  #22 opened 3 years ago by jormal
  2

• Segmentation Fault in Z3 Solving Process

  #20 opened 3 years ago by jormal
  0

• Type Miss Match from Literal Contract

  #21 opened 3 years ago by jormal
  2

• Z3 time budget option doesn't work well

  #18 opened 3 years ago by jormal
  0

• Some errors in benchmarks/mutez_active

  #17 opened 3 years ago by jormal
  4

• Invalid comparison between different type

  #16 opened 3 years ago by jormal
  0

• CFG translation error

  #15 opened 3 years ago by jormal
  1

• Basic Path Disappears

  #9 opened 3 years ago by cushionbadak
  0

• The bug from verification of contract which has a loop

  #14 opened 3 years ago by jormal
  0

• CFG error at LOOP_LEFT

  #13 opened 3 years ago by jormal
  2

• New Vlang Formula - SigmaEqual

  #8 opened 3 years ago by jormal
  0

• Fix Refuter

  #12 opened 3 years ago by jormal
  1

• Add Main-Exit vertex in Basicpath

  #10 opened 3 years ago by cushionbadak
  0

• Set update in Vlang->SMT

  #11 opened 3 years ago by cushionbadak
  0

• Optimize in converter

  #7 opened 4 years ago by jormal
  1

• Typo in README.md

  #1 opened 4 years ago by henrylee97
  0

• Bug in converter

  #6 opened 4 years ago by jormal
  1

• Make error handlers

  #5 opened 4 years ago by jormal
  0

• New converter design

  #4 opened 4 years ago by jormal
  1