User login

Weekly Report for week ending 9 September 2011




Spent some time refactoring portions of the state machine generation code
so that it is a lot more readable and sections requiring work are more
obvious. Significantly cut down the duration of a verification run by
being smarter about writing output and removing some very slow tree
accesses. Started to generate test data on a wider scale to get a better
variety of locations and times.

Put some time into making new AMP packages and putting together a bit of
documentation for a possible new test deployment. Could be interesting to
get some feedback from people outside of the project about how well they
think it works and what options they would like to see.