params: add multi-level verbosity
[model-checker.git] / hashtable.h
2013-04-16 Brian Norrishashtable: update documentation
2013-04-16 Brian Norrishashtable: enforce, document non-zero keys
2013-04-11 Brian Norrisimprove documentation + Doxygen formatting
2013-01-04 Brian Norrishashtable: style
2013-01-04 Brian Norrishashtable: style
2013-01-03 Brian Norrishashtable: add const
2013-01-03 Brian Norrishashtable: fixup style
2012-11-16 Brian Norrisprintf -> model_print
2012-11-15 Brian Demskymake compile on linux...needed string.h
2012-11-15 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-11-15 Brian Demskyoptimize hashtable so we don't always build new ones...
2012-11-15 Brian Demskyremove hashtable functionality
2012-10-03 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-10-03 Brian Norrisreplace malloc/calloc/free with snapshot_{malloc/calloc...
2012-08-16 Brian NorrisMerge branch 'norris'
2012-08-11 Brian Norrishashtable: document get_safe_ptr()
2012-08-11 Brian Norrishashtable: rename ensureptr() to get_safe_ptr()
2012-08-11 Brian Norrishashtable: bugfix - increment size only when new bins...
2012-08-11 Brian Norrishashtable: some refactoring, signed-ness
2012-08-02 Brian Norrishashtable: add some documentation
2012-08-02 Brian Norrismore reformatting/indentation
2012-08-02 Brian Norrisfixup whitespace
2012-08-02 Brian Demskymore hashtable fixes
2012-08-02 Brian Demskyfix some allocation/free bugs when we put non objects...
2012-08-02 Brian Demskyswitch everything over to our own hashtable
2012-08-02 Brian Demskyhashtable: make more flexible
2012-08-02 Brian DemskyAdd documentation
2012-07-12 Brian NorrisMerge branch 'master' into brian
2012-07-11 Brian Norrisremove EOL spaces, fix indentation
2012-07-10 Brian Demskyfix bug
2012-06-21 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-06-21 Brian NorrisMerge branch 'sandbox' (remove finalize())
2012-06-18 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-06-18 Brian Demskybuilds
2012-06-17 Brian Demskyadd hashtable