fix mutex_trylock bug
[c11tester.git] / common.h
2019-07-27 weiyuMerge branch 'new_fuzzer' into branch-weiyu
2019-07-24 rootMake everything do stores + add more buffer for printing
2019-07-08 weiyumerge and resolve conflict
2019-07-03 rootFork handler mitigations
2019-07-02 bdemskymemoize hb in writes
2019-07-01 weiyufix git conflict
2019-06-30 Brian DemskyDon't call printf
2019-06-26 Brian DemskyGet gdax to not crash
2019-06-26 rootMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-21 rootchange exit we call so we don't call into client code
2019-06-19 rootmerge
2019-06-14 weiyuMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-12 bdemskyfix tabbing comment issue
2019-06-11 bdemskyfix tabbing
2016-11-24 bdemskyWork around changes in newer versions of glibc
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://
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://
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