rename pthead.h to mypthread.h
[c11tester.git] / action.h
2019-06-17 weiyurename pthead.h to mypthread.h
2019-06-14 weiyuadd source line number as a parameter to ModelAction
2019-06-14 weiyurename mypthread.h to pthread.h
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-05 bdemskymake some changes with hacks
2019-06-05 bdemskyMore fuzzing changes
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-05-28 weiyuadd NOOP to action type
2019-05-28 weiyuchange the namespace of mutex from std to cdsc
2019-02-15 weiyuclean up unnecessary member functions
2019-02-15 weiyumove pthread_map and mutex_map inside of execution.h
2019-01-22 weiyupthread join seems to be working
2019-01-16 weiyutry to add support for pthread_create/pthread_join
2019-01-08 weiyuchange cds checker to accomdate llvm pass
2015-09-02 bdemskyAdd SCFence analysis
2014-01-25 bdemskyAnnotation Support
2013-04-24 Brian Norrisaction: add get_{type,mo}_str() accessors
2013-04-16 Brian Norrisaction: bugfix - use non-zero fence "location"
2013-04-11 Brian Norrisimprove documentation + Doxygen formatting
2013-04-11 Brian Norrisaction: refactor, move VALUE_TRY{SUCCESS,FAILED} out...
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-01 Brian Norrisaction: add get_write_value()
2013-03-01 Brian Norrisaction: add ModelAction::get_reads_from_value()
2013-02-28 Brian Norrisun-'const' some Promises
2013-02-20 Brian Norrismodel/action: move action_list_t to model.h
2013-02-12 Brian NorrisMerge branch 'fences'
2013-02-06 Brian Norrismodel: template-ize 'r_modification_order'
2013-02-06 Brian Norrisaction: store Promise in ModelAction
2013-01-24 Brian Norrisaction: record future value
2013-01-02 Brian Norrisaction: add get_thread_operand() method
2012-12-08 Brian Norrisspacing
2012-12-07 Brian Norrisaction: add is_atomic_var()
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-11-19 Brian Norrisaction: add is_relaxed() function
2012-10-12 Brian Demskycommit untested condvar code
2012-10-12 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-10-11 Brian Demskycompiles with condition variables file added...
2012-10-11 Brian Norrisaction: improve printing
2012-10-10 Brian NorrisMerge remote-tracking branch 'origin/master'
2012-10-10 Brian Demskyfix some of the bugs related to barrier example...
2012-10-09 Brian Demskybe much more careful about sending values backwards...
2012-10-08 Brian Demskybe even more aggressive about sleep sets...
2012-10-08 Brian Norrisutilize SnapshotAlloc STL allocator
2012-10-08 Brian Demskymerge massive speedup with release sequence support...
2012-10-08 Brian NorrisMerge branch 'norris'
2012-10-08 Brian Norrisaction: add Thread parameter to constructor
2012-10-07 Brian Norrisaction: add MODEL_FIXUP_RELSEQ action_type
2012-10-05 Brian Demsky1) more comments
2012-10-04 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-10-04 Brian Norrisaction: return synchronization status for ModelAction...
2012-10-03 Brian Norrisaction: remove clockvector flag from print() method
2012-10-03 Brian NorrisMerge remote-tracking branch 'origin/master'
2012-10-03 Brian Norrismodeltypes: move small typedefs to own header
2012-10-03 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-10-03 Brian Norrisassign sequence numbers after initial processing
2012-10-03 Brian Norrisaction: don't print clock vector when it is invalid
2012-10-01 Brian Norrisaction: synchronize_with - return status for out-of...
2012-09-21 Brian NorrisMerge branch 'norris'
2012-09-21 Brian Demskycomments
2012-09-20 Brian Demskybug fixes for lock support...think it works now...
2012-09-19 Brian Demskymerge stuff
2012-09-19 Brian Demskysupport for locks... untested, but doesn't break quick...
2012-09-19 Brian Demskyfix
2012-09-18 Brian Demskymore changes towards locks
2012-09-18 Brian DemskyMerge branch 'master' into mutex
2012-09-18 Brian Demskystart towards adding support for mutexes
2012-09-14 Brian NorrisMerge branch 'norris'
2012-09-14 Brian Demskytabbing
2012-09-14 Brian Demsky(1) add actions for the fence
2012-09-07 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-09-06 Brian NorrisMerge branch 'norris'
2012-09-06 Brian Norrisaction: add THREAD_FINISH action
2012-08-24 Brian Norrisaction, clockvector: add 'has_synchronized_with()'...
2012-08-24 Brian Norrisaction: make synchronize_with() public
2012-08-16 Brian NorrisMerge branch 'norris'
2012-08-16 Brian Norrisaction: rework/rename 'synchronized()' to 'synchronize_...
2012-08-02 Brian Demskychanges
2012-08-02 Brian Norrisaction: fix ATOMIC_RMW comments
2012-08-02 Brian Demskytowards making rmw work...
2012-08-02 Brian Norrisaction: add stub ATOMIC_RMWR and ATOMIC_RMWC
2012-08-02 Brian Norrisaction: switch from "libatomic" to C++-spec "memory_ord...
2012-08-02 Brian Norrispull in most of atomic header file
2012-08-02 Brian Demskysmall changes (things still work) towards support RMW
next