lou1306/CIV

Issues

• GetWeakTransitions bug

  #25 opened 7 years ago
  1

• Support HML wildcard

  #24 opened 7 years ago
  0

• Handle parsing errors

  #20 opened 7 years ago
  0

• I18n

  #19 opened 7 years ago
  0

• More unit tests

  #18 opened 7 years ago
  0

• AND formula not working?

  #15 opened 7 years ago
  1

• Max-Fixpoint HML formulae

  #12 opened 7 years ago
  0

• Min-Fixpoint HML formulae

  #11 opened 7 years ago
  0

• Support bisimulation

  #10 opened 7 years ago
  0

• Support CAAL format

  #9 opened 7 years ago
  0

• Override GetHashCode() and Equals() in CcsProcess hierarchy

  #7 opened 7 years ago
  0

• Fully dynamic proxies

  #6 opened 7 years ago
  0

• Add documentation to CCS project

  #5 opened 7 years ago
  0

• HML should go in a separate project

  #4 opened 7 years ago
  0