| #
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.
|