projects / c11tester.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
okay...known bugs for my trivial test are out of send future values backwards
2012-08-02 Brian Demskyokay...known bugs for my trivial test are out of send...
commit | commitdiff | tree
2012-08-02 Brian Demskyfinish promise support
 commit | commitdiff | tree
2012-08-02 Brian Demskymore changes towards keeping track of promises resolved...
commit | commitdiff | tree
2012-08-02 Brian Demskychanges
 commit | commitdiff | tree
2012-08-02 Brian Demskysome changes towards reading from future writes
 commit | commitdiff | tree
2012-08-02 Brian Demskymove more configurables and add documentation
 commit | commitdiff | tree
2012-08-02 Brian Demskymore hashtable fixes
 commit | commitdiff | tree
2012-08-02 Brian Demskyfix some allocation/free bugs when we put non objects...
commit | commitdiff | tree
2012-08-02 Brian Demskyfix my todo comments so they appear in documentation
 commit | commitdiff | tree
2012-08-02 Brian Demskyswitch everything over to our own hashtable
 commit | commitdiff | tree
2012-08-02 Brian Demskyhashtable: make more flexible
 commit | commitdiff | tree
2012-08-02 Brian DemskyAdd documentation
 commit | commitdiff | tree
2012-08-02 Brian Demskyrmw example works
 commit | commitdiff | tree
2012-08-02 Brian Demskytowards making rmw work...
 commit | commitdiff | tree
2012-08-02 Brian Demskyremove libatomic
 commit | commitdiff | tree
2012-08-02 Brian Demskydon't forget this file
 commit | commitdiff | tree
2012-08-02 Brian Demskysplit these defs out of other stuff
 commit | commitdiff | tree
2012-08-02 Brian Demskyswitch rest over to model checker... might work now
 commit | commitdiff | tree
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 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