remove STL vector
[c11tester.git] / model.cc
2019-07-30 rootremove STL vector
2019-07-30 bdemskymore fixes
2019-07-29 bdemskyedits
2019-07-29 rootMerge branch 'branch-weiyu' of /home/git/random-fuzzer...
2019-07-27 rootLock model check when we terminate proxy thread
2019-07-27 bdemskyNew TLS strategy...
2019-07-25 rootExperimental TLS support.
2019-07-22 rootremove some datarace code
2019-07-22 Brian Demskyfix merge issue
2019-07-22 rootfix conflict
2019-07-19 rootMore code towards support non-atomic stores
2019-07-16 weiyuallow the fuzzer to continue if only a few data races...
2019-07-11 weiyuMerge branch 'new_fuzzer' into branch-weiyu
2019-07-11 rootGet data race detector working... Commented out functi...
2019-07-08 weiyumerge and resolve conflict
2019-07-03 bdemskyOptimize SC lookup
2019-07-03 rootget rid of nodestack
2019-07-03 rootFork handler mitigations
2019-07-02 bdemskymemoize hb in writes
2019-07-01 weiyufix git conflict
2019-06-29 bdemskymove check
2019-06-28 roottowards not calling system malloc
2019-06-27 rootbug fixes
2019-06-27 bdemskyrevamp scheduler so we can start threads early
2019-06-26 Brian DemskyGet gdax to not crash
2019-06-26 bdemskyRedo params
2019-06-26 bdemskymore bug fixes
2019-06-26 rootMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-26 rootchanges
2019-06-26 bdemskyMore changes
2019-06-25 weiyuadd a new class 'ModelHistory'
2019-06-21 bdemskyfix tabbing
2019-06-19 Brian Demskyrun tabbing pass
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
2019-06-05 bdemskyMore fuzzing changes
2019-06-04 bdemskyremove another field
2019-06-04 bdemskyRevert "remove plugins"
2019-06-04 bdemskytowards fuzzing only
2019-06-04 bdemskyremove old release sequences
2019-06-04 bdemskyRemove promises
2019-06-01 Brian Demskypartial conversion to fuzzer
2019-02-15 weiyumove pthread_map and mutex_map inside of execution.h
2019-01-24 weiyuadd support for pthread_mutex
2019-01-22 weiyupthread join seems to be working
2019-01-22 weiyupthread_create is working now
2019-01-18 weiyuadd support for pthread_create (in progress)
2019-01-16 weiyutry to add support for pthread_create/pthread_join
2019-01-08 weiyuchange cds checker to accomdate llvm pass
2018-11-09 weiyuimprove randomization
2018-10-26 weiyuremove plugins
2015-09-02 bdemskyAdd SCFence analysis
2014-05-06 bdemskyBug fixes from running Coverity
2014-01-25 bdemskySupport for -x option
2013-08-14 Brian Norrismodel: only print 'Total nodes' for verbose printing
2013-06-05 Brian Norrismodel: remove redundant code (is_enabled)
2013-06-01 Brian Norrismodel: cosmetic output improvements
2013-05-31 Brian Norrisparams: add multi-level verbosity
2013-05-06 Brian Demskydocument and extend trace analysis interface
2013-05-06 Brian Demskycleanup plugin interface a little more.
2013-04-17 Brian DemskyBug: ModelExecution had bogus model_params reference.
2013-04-16 Brian Norrismodel: privatize ModelChecker::get_num_threads()
2013-04-16 Brian Norrismodel: remove leftover junk
2013-04-16 Brian Norrisexecution: move execution number back to ModelChecker...
2013-04-16 Brian Norrisclean out includes, etc.
2013-04-16 Brian Norrismodel: embed the trace_analyses in the class
2013-04-16 Brian NorrisMerge cleanup branch
2013-04-16 Brian Norrismodel / threads: remove global get_next_id() interface
2013-04-16 Brian NorrisBROKEN: restructure much of ModelChecker as ModelExecut...
2013-04-16 Brian Norrismodel: drop public get_current_node() interface
2013-04-16 Brian Norrismodel: remove public check_promises() interface
2013-04-16 Brian Norrismodel: add synchronize() function
2013-04-16 Brian NorrisMerge cleanup code from Brian N.
2013-04-16 Brian Norristraceanalysis: rename to remove '_'
2013-04-16 Brian Norrisbugmessage: move struct to header file
2013-04-15 Brian Norrismodel: add too_many_steps()
2013-04-15 Brian Norrismodel: fixup whitespace
2013-04-13 Brian Demskytowards supporting scanalysis...
2013-04-13 Brian Demskyadd some support for traceanalysis plugins
2013-04-11 Brian Norrisimprove documentation + Doxygen formatting
2013-04-05 Brian Norrismodel: remove DEBUG action print
2013-04-05 Brian Norrismodel: deadlock: print the culprit thread, when known
2013-04-05 Brian Norrismodel: add variable arguments for bug messages
2013-04-05 Brian Norrismodel: proactively build/prune is_enabled() set
2013-04-05 Brian Norrismodel: pull thread control logic out of take_step(...
2013-04-04 Brian Norriscommon: make model_print() use OS file descriptor,...
2013-04-04 Brian Norrismodel: note the DPOR addendum
2013-04-04 Brian Norrismodel: use get_thread() helper
2013-04-03 Brian Norristhreads: remove wait_list
2013-04-03 Brian Norrismodel: use get_mutex() and get_thread_operand() helpers
2013-04-03 Brian Norrismodel: kill lock_waiters_map
2013-04-03 Brian Norrismodel: merge duplicated code for WAIT and UNLOCK
2013-04-03 Brian Norrismodel: get_mutex() for locating the lock map
2013-04-02 Brian Norrisaction: add ModelAction::is_thread_join() helper
2013-03-28 Brian Norrisnodestack: move "behaviors" increment all into Node...
2013-03-27 Brian Norristhreads: move circular wait check into Threads::is_wait...
2013-03-22 Brian Demskyfix mistake in promises may allow code... need to...
2013-03-22 Brian NorrisMerge branch 'master' of ssh://demsky.eecs.uci.edu...
next