Changes between Version 1 and Version 2 of ModelChecker


Ignore:
Timestamp:
12/27/13 15:44:06 (12 years ago)
Author:
zirkel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ModelChecker

    v1 v2  
    88* Implement atomic.  Let the user specify what things are atomic, but also if you can find sections of code which you know can be made atomic without affecting some property of interest, do that automatically.
    99* Optimize SARL.  Try different implementations of persistent data structures.   Try updating clj-ds.  Consider not sorting the terms of a polynomial, the factors of a monomial, etc.
     10* Are we canonicalizing too often?
     11* Optimize simplify()
     12* What is a good heuristic for which states to save and which to discard?
     13* Investigate hashmap collisions.  Should we make them bigger to start in some cases?  Do we need to modify our hashes?
     14