projects / model-checker.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add support for datarace detection...
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
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
C++11 memory model checker