Change the implementation of sleep and remove NOOP
[c11tester.git] / action.cc
2019-10-18 weiyuChange the implementation of sleep and remove NOOP
2019-09-06 weiyuModify the implementation of wait and timed wait operation
2019-09-05 weiyuWhen an atomic read action cannot read from a desired...
2019-08-20 weiyuMerge branch 'master' into branch-weiyu
2019-08-12 weiyurevert commit
2019-08-12 weiyufix a bug about get_reads_from_value
2019-08-01 weiyumerge
2019-08-01 rootadd sleep support
2019-07-31 weiyumerge
2019-07-29 rootedits
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-22 rootfix conflict
2019-07-19 bdemskyAdd support for converting normal writes into ModelActi...
2019-07-08 weiyumerge and resolve conflict
2019-07-03 rootget rid of nodestack
2019-07-02 bdemskymemoize hb in writes
2019-06-26 Brian DemskyGet gdax to not crash
2019-06-24 weiyufix a bug for ATOMIC_RMWCAS
2019-06-19 Brian Demskyrun tabbing pass
2019-06-19 Brian Demskyfixup merge a bit
2019-06-19 Brian DemskyMerge branch 'branch-weiyu' into new_fuzzer
2019-06-19 rootmerge
2019-06-17 weiyuimplement usleep and sleep system calls as no operation...
2019-06-14 weiyuadd source line number as a parameter to ModelAction
2019-06-14 weiyuMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-12 bdemskyfix tabbing comment issue
2019-06-12 bdemskyreorder fields to save space
2019-06-11 bdemskyfix tabbing
2019-06-11 bdemskyFix RMW bug
2019-06-04 bdemskyremove another field
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-05-28 weiyuchange the namespace of mutex from std to cdsc
2019-02-15 weiyumove pthread_map and mutex_map inside of execution.h
2019-01-22 weiyupthread join seems to be working
2019-01-22 weiyupthread_create is working now
2019-01-08 weiyuchange cds checker to accomdate llvm pass
2016-02-24 bdemskybug in fence support fixed
2015-09-02 bdemskyAdd SCFence analysis
2014-01-25 bdemskyAnnotation Support
2013-05-29 Brian NorrisMerge remote-tracking branch 'origin/master'
2013-05-29 Brian Norrisexecution: reformat execution traces
2013-04-24 Brian Norrisaction: improve "unintialized load" bug print
2013-04-24 Brian Norrisaction: add get_{type,mo}_str() accessors
2013-04-16 Brian Norrisaction: add <stdlib>
2013-04-16 Brian Norrismodel: remove public check_promises() interface
2013-04-16 Brian Norrispromise: add Promise::get_index function
2013-04-16 Brian Norrisaction: we don't need special cases for lock/join anymore
2013-04-11 Brian Norrisimprove documentation + Doxygen formatting
2013-04-11 Brian Norrisaction: refactor, move VALUE_TRY{SUCCESS,FAILED} out...
2013-04-05 Brian Norrisaction: correct RF capitalization
2013-04-04 Brian Norrisaction: include reads-from-promise in HASH calculations
2013-04-02 Brian Norrisaction: add ModelAction::is_thread_join() helper
2013-03-08 Brian Norrisstl - remove stale <vector> and <list> #include's
2013-03-06 Brian NorrisMerge remote 'yield' work
2013-03-06 Brian Demskyadd yield support
2013-03-03 Brian Norrisaction: add get_mutex()
2013-03-03 Brian Norrisaction: add get_return_value()
2013-03-02 Brian Norrischeck_recency: implement loops as function ModelAction...
2013-03-02 Brian Norrisaction: bugfix - reads-from value should be VALUE_NONE...
2013-03-01 Brian Norrisaction: add get_write_value()
2013-03-01 Brian Norrisaction: add ModelAction::get_reads_from_value()
2013-03-01 Brian Norrisaction, model: add ASSERT(), not NULL checks
2013-02-28 Brian Norrisaction: print promise number, not just ?
2013-02-28 Brian Norrisun-'const' some Promises
2013-02-22 Brian Norrisaction: backtrack/sleep-sets for seq-cst fences
2013-02-14 Brian Norristhreads/model: allocate Thread from w/in ModelChecker
2013-02-12 Brian NorrisMerge branch 'fences'
2013-02-12 Brian Norrisaction: bugfix - initialize member
2013-02-06 Brian Norrisaction: fixup printing for RMW/RMWR
2013-02-06 Brian Norrisaction: store Promise in ModelAction
2013-02-02 Brian Norrisaction: fix incorrect comment
2013-01-10 Brian Norrisaction: remove incorrect fence backtracking
2013-01-02 Brian Norrisaction: add get_thread_operand() method
2012-12-19 Brian Norrisaction: fixup style
2012-12-12 Brian Norrisaction: refactor ATOMIC_READ printing
2012-12-08 Brian Norrisspacing
2012-12-07 Brian Norrisaction: add is_atomic_var()
2012-12-07 Brian Norrismodel/action: bugfix - UNINIT actions do not have a...
2012-12-07 Brian Norrisaction: move ModelAction::get_node to action.cc
2012-12-07 Brian Norrisaction: add ATOMIC_UNINIT type
2012-12-04 Brian Norrisaction: add is_thread_start()
2012-12-04 Brian Norrismodel/action: move complicated read_from logic into...
2012-12-04 Brian Norrisaction: record last fence release from the current...
2012-12-04 Brian Norrisaction/model: backtrack for seq-cst and release/acquire...
2012-12-03 Brian Norrisaction: allow fence ModelActions to have location ...
2012-11-19 Brian Norrisaction: add is_relaxed() function
2012-11-16 Brian Norrisprintf -> model_print
2012-11-03 Brian NorrisMerge remote-tracking branch 'origin/master' into pldi13
2012-11-03 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-11-03 Brian Demskyprevious synchronization was weird...
2012-10-12 Brian Norrisfixup 'int' vs. 'thread_id_t' usage
2012-10-12 Brian Demskyforgot to add two files...
2012-10-12 Brian Demskycommit untested condvar code
2012-10-11 Brian Norrisaction: improve printing
2012-10-10 Brian Norrisaction: add NULL dereference assertion
2012-10-10 Brian NorrisMerge remote-tracking branch 'origin/master'
next