README: more formatting, correct statement about bench.sh
[model-checker.git] / common.h
2013-04-19 Brian NorrisTMP: improve debugging, remove print_trace()
2013-04-16 Brian Norriscommon: drop model_print_summary()
2013-04-04 Brian Norriscommon: make model_print() use OS file descriptor,...
2012-12-15 Brian Norrisclean up some DEBUG() messages
2012-11-17 Brian Norrisoutput redirection
2012-11-16 Brian Norrisprintf -> model_print
2012-11-15 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-11-14 Brian Norriscommon/config: allow enable/disable ASSERT() easily
2012-11-04 Brian NorrisMerge branch 'master' into pldi13
2012-11-03 Brian NorrisMerge remote-tracking branch 'origin/master' into pldi13
2012-11-03 Brian NorrisMerge remote-tracking branch 'origin/master' into pldi13
2012-11-03 Brian NorrisMerge remote-tracking branch 'origin/master' into pldi13
2012-11-02 Brian Norriscommon/config: disable ASSERT() by default
2012-10-03 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-10-03 Brian Norriscommon: remove excess semicolon
2012-10-02 Brian DemskyTwo change:
2012-09-19 Brian Demskyfix
2012-09-19 Brian Demskymerge in master
2012-09-18 Brian NorrisMerge branch 'norris'
2012-09-18 Brian Norriscommon: print tracing info for ASSERT() failures
2012-09-13 Brian Norriscommon: add print_trace() for backtracing
2012-08-11 Brian Norriscommon: add error_msg() function
2012-08-02 Brian Demskymove more configurables and add documentation
2012-06-21 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-06-06 Brian Demsky1) Add more comments.
2012-05-31 Brian Norrisuse EXIT_SUCCESS and EXIT_FAILURE
2012-05-30 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-05-26 Brian NorrisMakefile: add 'make debug'
2012-05-26 Brian Norriscommon: remove unneeded macros/includes
2012-05-21 Brian NorrisMerge commit: branch 'work'
2012-05-21 Brian Norriscommon: disable debugging
2012-05-19 Brian Demskyget rid of redundant mallocs
2012-05-18 Brian Demskymerging stuff...made need to clean up some stuff.....
2012-05-09 Subramanian GanapathyAdding STL stuff and operator news of snapshot to model...
2012-05-03 Brian Norrisstraighten out header includes, comment on Forward...
2012-05-02 Brian Norriscommon: add ASSERT()
2012-04-27 Brian Norriscommon: add simple DBG_ENABLED() macros
2012-04-24 Brian Norriscommon: introduce userMalloc() and userFree()
2012-04-24 Brian Norrisunify style for returning pointers
2012-04-05 Brian Norrismalloc: add myMalloc() and myFree()
2012-04-05 Brian Norriscommon: rename "CONFIG" to "COMMON"
2012-03-10 Brian Norriscommon.h: move common code (non-user) to header