Issues

• Cases expressions don't work

  symphonytool/symphony#306 · Filter by author Pytheas01 opened on Mar 4, 2015

• initial keyword not highlighted

  symphonytool/symphony#305 · Filter by author Pytheas01 opened on Feb 16, 2015

• Null-pointer exception cascade

  symphonytool/symphony#304 · Filter by author Pytheas01 opened on Feb 16, 2015

• Internal error with model checker

  bug
  symphonytool/symphony#303 · Filter by author richardpaynea55 opened on Sep 19, 2014
  7

  

• Interpreter: bug in parallel action and assignment?

  bug
  symphonytool/symphony#293 · Filter by author richardpaynea55 opened on Aug 21, 2014 · 0.5.0
  4

  

• Parser test set needs to be extended to handle negative tests

  bugenhancement
  symphonytool/symphony#258 · Filter by author joey-coleman opened on Jun 24, 2014 · 0.3.6
  

• Protect against launching the theorem prover multiple times

  enhancement
  symphonytool/symphony#220 · Filter by author pglvdm opened on May 29, 2014 · 0.3.6
  1