projects / c11tester.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fix bug...can't mo_check_promises until we're done resolving promises for a write...
2012-10-04 Brian Demskyfix bug...can't mo_check_promises until we're done...
commit | commitdiff | tree
2012-10-04 Brian Demskylocal commit... bug that prunes too many executions
 commit | commitdiff | tree
2012-10-04 Brian DemskyMerge branch 'master' of /home/git/model-checker
 commit | commitdiff | tree
2012-10-04 Brian Demskyfix low hanging fruit when profiling...
 commit | commitdiff | tree
2012-10-03 Brian DemskyMerge branch 'master' of /home/git/model-checker
 commit | commitdiff | tree
2012-10-03 Brian Demskya number of fixes to add missing mo_graph edges to...
commit | commitdiff | tree
2012-10-03 Brian Demskyextra file committed accidentally
 commit | commitdiff | tree
2012-10-03 Brian Demskymissing change
 commit | commitdiff | tree
2012-10-03 Brian Demskymspace_malloc will call into mmap if it runs out of...
commit | commitdiff | tree
2012-10-03 Brian Demskyerror
 commit | commitdiff | tree
2012-10-03 Brian Demskyrandom memory leak fixes and memory access fixes
 commit | commitdiff | tree
2012-10-03 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
commit | commitdiff | tree
2012-10-03 Brian Demskya bug fix
 commit | commitdiff | tree
2012-10-02 Brian Demskysmall hack to optimize our common case for snapshotting...
commit | commitdiff | tree
2012-10-02 Brian Demskyfix bug.... not quite perfect for linux locks, but...
commit | commitdiff | tree
2012-10-02 Brian Demskystart support for drawing execution diagrams
 commit | commitdiff | tree
2012-10-02 Brian DemskyFixed bug breaking our consolidation of future values...
 commit | commitdiff | tree
2012-10-02 Brian DemskyTwo change:
 commit | commitdiff | tree
2012-10-01 Brian Demskyanother bug fix
 commit | commitdiff | tree
2012-10-01 Brian Demskybug fix...recompute promises of RMW actions at divergence...
commit | commitdiff | tree
2012-09-29 Brian Demskymissing commit of mo_graph changes
 commit | commitdiff | tree
2012-09-28 Brian Demskyfix bug from moving read_from check_recency...check_recency...
commit | commitdiff | tree
2012-09-25 Brian Demskyadd comments
 commit | commitdiff | tree
2012-09-24 Brian Demskyfairness changes...
 commit | commitdiff | tree
2012-09-21 Brian Demskycomments
 commit | commitdiff | tree
2012-09-20 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
commit | commitdiff | tree
2012-09-20 Brian Demskymore documentation
 commit | commitdiff | tree
2012-09-20 Brian Demskydocumentation
 commit | commitdiff | tree
2012-09-20 Brian Demskybug fixes for lock support...think it works now...
 commit | commitdiff | tree
2012-09-20 Brian Demskyfix merge
 commit | commitdiff | tree
2012-09-20 Brian Demskychanges
 commit | commitdiff | tree
2012-09-20 Brian Demskypush changes
 commit | commitdiff | tree
2012-09-19 Brian Demskymerge stuff
 commit | commitdiff | tree
2012-09-19 Brian Demskymore mutex changes
 commit | commitdiff | tree
2012-09-19 Brian Demskysupport for locks... untested, but doesn't break quick...
commit | commitdiff | tree
2012-09-19 Brian Demskymore bugs
 commit | commitdiff | tree
2012-09-19 Brian Demskyfix merge bug
 commit | commitdiff | tree
2012-09-19 Brian Demskyfix
 commit | commitdiff | tree
2012-09-19 Brian Demskymy schedule changes
 commit | commitdiff | tree
2012-09-19 Brian Demskymerge in master
 commit | commitdiff | tree
2012-09-19 Brian Demskyfix bug
 commit | commitdiff | tree
2012-09-19 Brian Demskyichange
 commit | commitdiff | tree
2012-09-18 Brian Demskychanges
 commit | commitdiff | tree
2012-09-18 Brian Demskymore changes towards locks
 commit | commitdiff | tree
2012-09-18 Brian DemskyMerge branch 'master' into mutex
 commit | commitdiff | tree
2012-09-18 Brian Demskyadd mutex files
 commit | commitdiff | tree
2012-09-18 Brian Demskyadd mutex files
 commit | commitdiff | tree
2012-09-18 Brian Demskystart towards adding support for mutexes
 commit | commitdiff | tree
2012-09-14 Brian Demskytabbing
 commit | commitdiff | tree
2012-09-14 Brian Demsky(1) add actions for the fence
 commit | commitdiff | tree
2012-09-14 Brian Demskyadd support for dumping cyclegraphs as dot files.....
commit | commitdiff | tree
2012-09-13 Brian Demskylots of debugging here... finally working with my rmw...
commit | commitdiff | tree
2012-09-13 Brian Demskycommit new test case
 commit | commitdiff | tree
2012-09-13 Brian Demskyfix for horrible bug... turns out that we could generate...
commit | commitdiff | tree
2012-09-13 Brian Demskymissing changes
 commit | commitdiff | tree
2012-09-13 Brian Demskyright fix for avoid rmw cycles... bad assumption in...
commit | commitdiff | tree
2012-09-13 Brian Demskyanother bug fix...
 commit | commitdiff | tree
2012-09-13 Brian Demskyseparate out rmw actions
 commit | commitdiff | tree
2012-09-12 Brian Demsky(1) structure code a little better
 commit | commitdiff | tree
2012-09-12 Brian Demskydeal with looping due to bogus future value via promise...
commit | commitdiff | tree
2012-09-12 Brian Demskyfun issues...
 commit | commitdiff | tree
2012-09-07 Brian Demskychanges
 commit | commitdiff | tree
2012-09-07 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
commit | commitdiff | tree
2012-09-07 Brian Demskychanges
 commit | commitdiff | tree
2012-09-06 Brian Demskyworking towards making datarace detection work
 commit | commitdiff | tree
2012-09-05 Brian Demskybug in race detector
 commit | commitdiff | tree
2012-09-05 Brian Demskyanother example
 commit | commitdiff | tree
2012-08-04 Brian Demskyadd a todo flag to a comment so it won't get lost....
commit | commitdiff | tree
2012-07-17 Brian DemskyMake stack popping explicit.
 commit | commitdiff | tree
2012-07-17 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
commit | commitdiff | tree
2012-07-17 Brian Demskyremove dead code... loop entrance condition is i<backtrack...
commit | commitdiff | tree
2012-07-16 Brian Demskyno need to store into the object field... this will...
commit | commitdiff | tree
2012-07-16 Brian Demskyreally should be using a type that is big enough for...
commit | commitdiff | tree
2012-07-13 Brian Demskythe initialized logic appears to be wrong... release...
commit | commitdiff | tree
2012-07-11 Brian Demskybug
 commit | commitdiff | tree
2012-07-11 Brian Demskydocumentation
 commit | commitdiff | tree
2012-07-10 Brian Demskyfix bug
 commit | commitdiff | tree
2012-07-10 Brian Demskyhook up the race detector...
 commit | commitdiff | tree
2012-07-07 Brian Demskychanges
 commit | commitdiff | tree
2012-07-06 Brian Demskyadd forgetten file
 commit | commitdiff | tree
2012-07-06 Brian Demskyadd support for datarace detection...
 commit | commitdiff | tree
2012-07-03 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
commit | commitdiff | tree
2012-06-18 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
commit | commitdiff | tree
2012-06-18 Brian Demskybuilds
 commit | commitdiff | tree
2012-06-17 Brian Demskyadd hashtable
 commit | commitdiff | tree
2012-06-15 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
commit | commitdiff | tree
2012-06-15 Brian Demskysubramanian lied when he said he fixed these...
 commit | commitdiff | tree
2012-06-06 Brian Demskymore comments
 commit | commitdiff | tree
2012-06-06 Brian Demskymore doc changes
 commit | commitdiff | tree
2012-06-06 Brian Demskymore documentation
 commit | commitdiff | tree
2012-06-06 Brian Demsky1) Add more comments.
 commit | commitdiff | tree
2012-06-06 Brian Demskymore documentation
 commit | commitdiff | tree
2012-06-06 Brian Demskymore docs
 commit | commitdiff | tree
2012-06-06 Brian Demskyadd support for docs
 commit | commitdiff | tree
2012-06-04 Brian DemskyChanges needed to run on OS X... Example runs on my...
commit | commitdiff | tree
2012-06-04 Brian Demskyhack some stuff towards running on mac... unrelated...
commit | commitdiff | tree
2012-05-24 Brian Demskywow, this is a nasty bug...
 commit | commitdiff | tree
2012-05-24 Brian Demskyfix one segfault bug...something is still strange,...
commit | commitdiff | tree
2012-05-24 Brian Demskyfactor page alignment into function call...place near...
commit | commitdiff | tree
2012-05-24 Brian Demskyfix page alignment issue...
 commit | commitdiff | tree
next
C11 Tester Tool Public Repository