projects / c11tester.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fix missing atomic...
2012-08-02 Brian Demskyfix missing atomic...
 commit | commitdiff | tree
2012-08-02 Brian Demskyrewrite macros
 commit | commitdiff | tree
2012-08-02 Brian Demskyimport header file from specification
 commit | commitdiff | tree
2012-08-02 Brian DemskyAdd RMW support to core.
 commit | commitdiff | tree
2012-08-02 Brian Demskysmall changes (things still work) towards support RMW
 commit | commitdiff | tree
2012-08-02 Brian Demskytrying to get fork based snapshotting to work
 commit | commitdiff | tree
2012-07-31 Brian Demskytoss a place for useful information
 commit | commitdiff | tree
2012-07-31 Brian Demskyprint less stuff
 commit | commitdiff | tree
2012-07-31 Brian Demskymodel: add support for modification orders
 commit | commitdiff | tree
2012-07-31 Brian DemskyAdd basic reads from support
 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-30 Brian Demskycheck in message
 commit | commitdiff | tree
2012-05-30 Brian Demskyfix bug...this is another evil one...
 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
2012-05-21 Brian Demskyremove lines from other files
 commit | commitdiff | tree
2012-05-21 Brian DemskyFound new way to fix emacs issue.. There are directory...
commit | commitdiff | tree
2012-05-21 Brian Demskyfix various problems with my 64-bit clean hack
 commit | commitdiff | tree
2012-05-21 Brian Demskyfix code to be 64 bit clean
 commit | commitdiff | tree
2012-05-21 Brian Demskyswitch back to norris style spacing in changed files
 commit | commitdiff | tree
2012-05-19 Brian Demskyremove unused #define
 commit | commitdiff | tree
2012-05-19 Brian Demskymy changes
 commit | commitdiff | tree
2012-05-19 Brian Demskylet us set the size of the heap in a sane way
 commit | commitdiff | tree
2012-05-19 Brian Demskysetup main wrapper and then call into norris code
 commit | commitdiff | tree
2012-05-19 Brian Demskyget rid of redundant mallocs
 commit | commitdiff | tree
2012-05-18 Brian Demskytransfer stuff
 commit | commitdiff | tree
2012-05-18 Brian Demskymakefile
 commit | commitdiff | tree
2012-05-18 Brian Demskymerging stuff...made need to clean up some stuff.....
commit | commitdiff | tree
C11 Tester Tool Public Repository