MuChecker / Blog: Recent posts

Version 0.0.5 now uploaded.

http://sourceforge.net/projects/muchecker/files/Releases/muchecker-0.0.5-distribution.tar.gz/download

Changes in this version are:

• Command line client is now based on Apache Commons CLI
• Android client is now back in working shape. Included in the maven build and uploaded to the release directory. http://sourceforge.net/projects/muchecker/files/Releases/muchecker-android-0.0.5.apk/download

Release 0.0.4 uploaded.

https://sourceforge.net/projects/muchecker/files/Releases/

Changes from 0.0.3

• Mu Calculus grammar is now not left recursive and can thus handle much larger files. Old version had a limit on 100 symbols. Downside now is that operator binding is a bit wonked, ex. a&b|c=(a&b)|c != c|b&a=(c|b)&a.
• Number of worker threads solving fixed points are now limited, and configurable on command line.
  ./muchecker my-file cfp-file N
  gives N worker threads. Default is 5, since that appeared to be the best performing number on my somewhat ad hoc tests.
• A few more performance bottlenecks removed in fixed point computations.... read more

I just uploaded release 0.0.3.

Key features of this release:

• Improved performance on computers with more than one processor core.
• Reuse of old results when computing results for more than one symbol.
• Option to output resulting variable valuation after execution.

Plan for the future is to look into profiling the application and see if there are any more performance gains to be made.