RefChecker is a model checker for systems with a dynamic structure, such as e.g. Object Petri Nets.
Be the first to post a text review of RefChecker. Rate and review a project by clicking thumbs up or thumbs down in the right column.
2001-09-25 Thomas Mailund <mailund@sunfire.daimi.au.dk> <ul> <li> configure.in: bumped to version 0.1.9. <li> src/statespace.cc (get_state): Fixed get_state so it actually uses the hash table as a hash table, not as a linked list. </ul> 2001-09-24 Thomas Mailund <mailund@sunfire.daimi.au.dk> <ul> <li> python/refcheck/Makefile.am (install-data-local): installation of python files. <li> tools/cire.pl: matching 'end ...' to the right begin. <li> src/klass.hh: Added a method for checking enableness. Changed the different tests and tools to support this. I haven't exported this method to Python yet, 'cause I'm not sure if it will be neede there. It is mostly aimed at the GC code that should get done real soon now. </ul> 2001-09-23 Thomas Mailund <mailund@sunfire.daimi.au.dk> <ul> <li> src/profile.hh: added some profiling stuff. </ul> 2001-09-19 Mads Sig Ager Jensen <mads@daimi.au.dk> <ul> <li> src/statespace.[hh,cc]: changed representation of states from a vector into a hash_set. Still need to play with the hash-function a lot. </ul> 2001-09-17 Thomas Mailund <mailund@sunfire.daimi.au.dk> <ul> <li> python/refcheck/properties.py (Property.dispatcher): collecting invariant violations rather than raising an exception. </ul>
Be the first person to add a text review.
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
Thanks for your rating!
Would you also like to write a review?