projects / c11tester.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model: add support for modification orders
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 DemskyAt least everything compiles now... Subramanian's...
commit | commitdiff | tree
2012-05-18 Brian Demskymerging stuff...made need to clean up some stuff.....
commit | commitdiff | tree
2012-05-15 Brian Demskyfix this stuff...
 commit | commitdiff | tree
2012-05-15 Brian Demskydon't check in useless files
 commit | commitdiff | tree
C11 Tester Tool Public Repository