microsoft/BioModelAnalyzer

Issues

• This repo is missing important files

  #23 opened a year ago by microsoft-github-policy-service
  1

• no limitation for "%s" while calling fscanf()

  #21 opened 4 years ago by QiAnXinCodeSafe
  0

• no limitation for "%s" while calling fscanf()

  #20 opened 5 years ago by QiAnXinCodeSafe
  0

• Make clear outputted attractor states are in no particular order in ATTRACTORS

  #18 opened 6 years ago by swoodhouse
  0

• Graph Trace Visual Bug

  #16 opened 7 years ago by shorthouse-mrc
  0

• Building the Project on Mac

  #15 opened 7 years ago by ea409
  0

• Build Issue

  #7 opened 8 years ago by davidshorthouse
  1

• Not saving changes to target function when editor still open

  #12 opened 7 years ago by nirpiterman
  0

• Inelegant errors for stability checking

  #11 opened 7 years ago by hallba
  0

• Model returns unknown stability result

  #8 opened 7 years ago by hallba
  1

• Compiling in VS2017 gives binaries that can't find libz3.dll

  #10 opened 7 years ago by hallba
  0

• Connection lost to onedrive after period of time

  #6 opened 8 years ago by hallba
  0

• Chatbot doesn't call bma api correctly

  #2 opened 8 years ago by hallba
  1

• Chatbot deployment via git fails when testing via botframework

  #3 opened 8 years ago by hallba
  0

• LTL results incorrect when using variables with singleton-ranges

  #4 opened 8 years ago by hallba
  1

• Explicit calculations and Z3 calculations (stability check) give different results for singleton variables

  #5 opened 8 years ago by hallba
  1