projects / c11tester.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Weight-based random walk
[c11tester.git] / common.h
2019-07-27 weiyuMerge branch 'new_fuzzer' into branch-weiyu blob | commitdiff | raw
2019-07-24 rootMake everything do stores + add more buffer for printing blob | commitdiff | raw
2019-07-08 weiyumerge and resolve conflict blob | commitdiff | raw | diff to current
2019-07-03 rootFork handler mitigations blob | commitdiff | raw | diff to current
2019-07-02 bdemskymemoize hb in writes blob | commitdiff | raw | diff to current
2019-07-01 weiyufix git conflict blob | commitdiff | raw | diff to current
2019-06-30 Brian DemskyDon't call printf blob | commitdiff | raw | diff to current
2019-06-26 Brian DemskyGet gdax to not crash blob | commitdiff | raw | diff to current
2019-06-26 rootMerge branch 'new_fuzzer' of /home/git/random-fuzzer... blob | commitdiff | raw | diff to current
2019-06-21 rootchange exit we call so we don't call into client code blob | commitdiff | raw | diff to current
2019-06-19 rootmerge blob | commitdiff | raw | diff to current
2019-06-14 weiyuMerge branch 'new_fuzzer' of /home/git/random-fuzzer... blob | commitdiff | raw | diff to current
2019-06-12 bdemskyfix tabbing comment issue blob | commitdiff | raw | diff to current
2019-06-11 bdemskyfix tabbing blob | commitdiff | raw | diff to current
2016-11-24 bdemskyWork around changes in newer versions of glibc blob | commitdiff | raw | diff to current
2013-04-19 Brian NorrisTMP: improve debugging, remove print_trace() blob | commitdiff | raw | diff to current
2013-04-16 Brian Norriscommon: drop model_print_summary() blob | commitdiff | raw | diff to current
2013-04-04 Brian Norriscommon: make model_print() use OS file descriptor,... blob | commitdiff | raw | diff to current
2012-12-15 Brian Norrisclean up some DEBUG() messages blob | commitdiff | raw | diff to current
2012-11-17 Brian Norrisoutput redirection blob | commitdiff | raw | diff to current
2012-11-16 Brian Norrisprintf -> model_print blob | commitdiff | raw | diff to current
2012-11-15 Brian DemskyMerge branch 'master' of /home/git/model-checker blob | commitdiff | raw | diff to current
2012-11-14 Brian Norriscommon/config: allow enable/disable ASSERT() easily blob | commitdiff | raw | diff to current
2012-11-04 Brian NorrisMerge branch 'master' into pldi13 blob | commitdiff | raw | diff to current
2012-11-03 Brian NorrisMerge remote-tracking branch 'origin/master' into pldi13 blob | commitdiff | raw | diff to current
2012-11-03 Brian NorrisMerge remote-tracking branch 'origin/master' into pldi13 blob | commitdiff | raw | diff to current
2012-11-03 Brian NorrisMerge remote-tracking branch 'origin/master' into pldi13 blob | commitdiff | raw | diff to current
2012-11-02 Brian Norriscommon/config: disable ASSERT() by default blob | commitdiff | raw | diff to current
2012-10-03 Brian DemskyMerge branch 'master' of /home/git/model-checker blob | commitdiff | raw | diff to current
2012-10-03 Brian Norriscommon: remove excess semicolon blob | commitdiff | raw | diff to current
2012-10-02 Brian DemskyTwo change: blob | commitdiff | raw | diff to current
2012-09-19 Brian Demskyfix blob | commitdiff | raw | diff to current
2012-09-19 Brian Demskymerge in master blob | commitdiff | raw | diff to current
2012-09-18 Brian NorrisMerge branch 'norris' blob | commitdiff | raw | diff to current
2012-09-18 Brian Norriscommon: print tracing info for ASSERT() failures blob | commitdiff | raw | diff to current
2012-09-13 Brian Norriscommon: add print_trace() for backtracing blob | commitdiff | raw | diff to current
2012-08-11 Brian Norriscommon: add error_msg() function blob | commitdiff | raw | diff to current
2012-08-02 Brian Demskymove more configurables and add documentation blob | commitdiff | raw | diff to current
2012-06-21 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu... blob | commitdiff | raw | diff to current
2012-06-06 Brian Demsky1) Add more comments. blob | commitdiff | raw | diff to current
2012-05-31 Brian Norrisuse EXIT_SUCCESS and EXIT_FAILURE blob | commitdiff | raw | diff to current
2012-05-30 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu... blob | commitdiff | raw | diff to current
2012-05-26 Brian NorrisMakefile: add 'make debug' blob | commitdiff | raw | diff to current
2012-05-26 Brian Norriscommon: remove unneeded macros/includes blob | commitdiff | raw | diff to current
2012-05-21 Brian NorrisMerge commit: branch 'work' blob | commitdiff | raw | diff to current
2012-05-21 Brian Norriscommon: disable debugging blob | commitdiff | raw | diff to current
2012-05-19 Brian Demskyget rid of redundant mallocs blob | commitdiff | raw | diff to current
2012-05-18 Brian Demskymerging stuff...made need to clean up some stuff..... blob | commitdiff | raw | diff to current
2012-05-09 Subramanian GanapathyAdding STL stuff and operator news of snapshot to model... blob | commitdiff | raw | diff to current
2012-05-03 Brian Norrisstraighten out header includes, comment on Forward... blob | commitdiff | raw | diff to current
2012-05-02 Brian Norriscommon: add ASSERT() blob | commitdiff | raw | diff to current
2012-04-27 Brian Norriscommon: add simple DBG_ENABLED() macros blob | commitdiff | raw | diff to current
2012-04-24 Brian Norriscommon: introduce userMalloc() and userFree() blob | commitdiff | raw | diff to current
2012-04-24 Brian Norrisunify style for returning pointers blob | commitdiff | raw | diff to current
2012-04-05 Brian Norrismalloc: add myMalloc() and myFree() blob | commitdiff | raw | diff to current
2012-04-05 Brian Norriscommon: rename "CONFIG" to "COMMON" blob | commitdiff | raw | diff to current
2012-03-10 Brian Norriscommon.h: move common code (non-user) to header blob | commitdiff | raw | diff to current
C11 Tester Tool Public Repository