#
d939d4de |
|
28-Mar-2005 |
Hasan Amjad <ha227@cam.ac.uk> |
Lots of tweaks and bug fixes. No new features as such. Additions: * Input arguments to holCheck folded into a model structure. This should freeze the signature of holCheck and aid modularity. * Profiling and debugging infrastructure. Still evolving. * Lazification. Not complete yet but has made big difference to response times. * A simple mod-8 counter example to get people going. * Documentation added for new model structure. Modifications: * Improved abstraction function. Slightly less accurate than before but much faster. Refinement is also faster but could do better. * Tons of bugs fixed (and new ones introduced no doubt). FIXME count: 64. * Improved trace generation (still has some issues). * holCheck documentation fixed/changed as required. * Some refactoring to make my life easier.
|