ftsrg/seviz

Issues

• About SEViz

  #3 opened 3 years ago by davidhonfi
  1

• Code is deprecated, Please Update this for VS2022

  #10 opened 3 years ago by alixsep
  1

• Z3 call locations are not recognized

  #7 opened 9 years ago by davidhonfi
  0

• Incremental path condition not works as expected

  #8 opened 9 years ago by davidhonfi
  0

• Leaf nodes are not colored as expected

  #9 opened 9 years ago by davidhonfi
  0

• GraphControl not refreshing when ViewModel gets new value

  #6 opened 9 years ago by davidhonfi
  0

• Opening renamed .sviz files cause Viewer to crash

  #1 opened 9 years ago by davidhonfi
  0

• Multiple instances of Viewer

  #2 opened 9 years ago by davidhonfi
  0

• Code mapping silent error

  #4 opened 9 years ago by davidhonfi
  0

• Viewer resizable left column

  #5 opened 9 years ago by davidhonfi
  0