projects
/
c11tester.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Revamp obj_map for just what it is used for
2014-04-16
bdemsky
bug fix with missing coherence condition for promises
commit
|
commitdiff
|
tree
2014-01-26
bdemsky
Bug fix for broken treatment of promises + coherence...
commit
|
commitdiff
|
tree
2014-01-25
bdemsky
Support for -x option
commit
|
commitdiff
|
tree
2014-01-25
bdemsky
Annotation Support
commit
|
commitdiff
|
tree
2013-06-03
Brian Demsky
Add example from java showing legit satisfaction cycle
commit
|
commitdiff
|
tree
2013-05-06
Brian Demsky
typos
commit
|
commitdiff
|
tree
2013-05-06
Brian Demsky
print some stats in SC Analysis
commit
|
commitdiff
|
tree
2013-05-06
Brian Demsky
document and extend trace analysis interface
commit
|
commitdiff
|
tree
2013-05-06
Brian Demsky
cleanup plugin interface a little more.
commit
|
commitdiff
|
tree
2013-05-06
Brian Demsky
add support for analysis with options
commit
|
commitdiff
|
tree
2013-05-06
Brian Demsky
add traceanalysis support
commit
|
commitdiff
|
tree
2013-05-03
Brian Demsky
scanalysis: don't rely on greedy search
commit
|
commitdiff
|
tree
2013-04-26
Brian Demsky
Fix bug that prevents graph generation from compiling.
commit
|
commitdiff
|
tree
2013-04-23
Brian Demsky
bug...will sometimes print SC traces in a bad order
commit
|
commitdiff
|
tree
2013-04-22
Brian Demsky
cleanup printing
commit
|
commitdiff
|
tree
2013-04-22
Brian Demsky
Rework how we present non-SC traces...previous presentation...
commit
|
commitdiff
|
tree
2013-04-19
Brian Demsky
Remove special cases for printing SC executions.
commit
|
commitdiff
|
tree
2013-04-18
Brian Demsky
Add yield block support. The idea is to not generate...
commit
|
commitdiff
|
tree
2013-04-17
Brian Demsky
Bug: ModelExecution had bogus model_params reference.
commit
|
commitdiff
|
tree
2013-04-15
Brian Demsky
fix weird duplicated code
commit
|
commitdiff
|
tree
2013-04-14
Brian Demsky
clean up printing a little for cycle cases...
commit
|
commitdiff
|
tree
2013-04-13
Brian Demsky
more implementation of scanalysis...
commit
|
commitdiff
|
tree
2013-04-13
Brian Demsky
more implementation of scanalysis...
commit
|
commitdiff
|
tree
2013-04-13
Brian Demsky
towards supporting scanalysis...
commit
|
commitdiff
|
tree
2013-04-13
Brian Demsky
add some support for traceanalysis plugins
commit
|
commitdiff
|
tree
2013-04-13
Brian Demsky
add some support for traceanalysis plugins
commit
|
commitdiff
|
tree
2013-03-22
Brian Demsky
correct comment typo
commit
|
commitdiff
|
tree
2013-03-22
Brian Demsky
check in insane test case...
commit
|
commitdiff
|
tree
2013-03-22
Brian Demsky
fix mistake in promises may allow code... need to...
commit
|
commitdiff
|
tree
2013-03-21
Brian Demsky
add test case...
commit
|
commitdiff
|
tree
2013-03-19
Brian Demsky
add our names
commit
|
commitdiff
|
tree
2013-03-19
Brian Demsky
add copyright message
commit
|
commitdiff
|
tree
2013-03-18
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
|
tree
2013-03-18
Brian Demsky
update git repository with license... GPL v2
commit
|
commitdiff
|
tree
2013-03-14
Brian Demsky
fix memory leak
commit
|
commitdiff
|
tree
2013-03-07
Brian Demsky
switch to snapshot/modelalloc versions of stl classes
commit
|
commitdiff
|
tree
2013-03-07
Brian Demsky
add new option for uninitialized writes...
commit
|
commitdiff
|
tree
2013-03-06
Brian Demsky
documentation update
commit
|
commitdiff
|
tree
2013-03-06
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
|
tree
2013-03-06
Brian Demsky
add destructor so the spsc-queue will compile on MAC
commit
|
commitdiff
|
tree
2013-03-06
Brian Demsky
add yield support
commit
|
commitdiff
|
tree
2013-03-05
Brian Demsky
little optimizations motivated by profiling...
commit
|
commitdiff
|
tree
2013-03-02
Brian Demsky
comments
commit
|
commitdiff
|
tree
2013-02-25
Brian Demsky
repush changes
commit
|
commitdiff
|
tree
2013-02-25
Brian Demsky
fix conflicts
commit
|
commitdiff
|
tree
2013-02-25
Brian Demsky
fix norris mentioned bug
commit
|
commitdiff
|
tree
2013-02-25
Brian Demsky
fix scheduling stuff to get nice round robin scheduler...
commit
|
commitdiff
|
tree
2013-01-23
Brian Demsky
fix bug in promise handling code...
commit
|
commitdiff
|
tree
2013-01-08
Brian Demsky
new test case
commit
|
commitdiff
|
tree
2012-11-15
Brian Demsky
make compile on linux...needed string.h
commit
|
commitdiff
|
tree
2012-11-15
Brian Demsky
Merge branch 'master' of /home/git/model-checker
commit
|
commitdiff
|
tree
2012-11-15
Brian Demsky
optimize hashtable so we don't always build new ones...
commit
|
commitdiff
|
tree
2012-11-15
Brian Demsky
remove hashtable functionality
commit
|
commitdiff
|
tree
2012-11-15
Brian Demsky
make hashtables only contain primitive types or pointers
commit
|
commitdiff
|
tree
2012-11-15
Brian Demsky
Merge branch 'master' of /home/git/model-checker
commit
|
commitdiff
|
tree
2012-11-15
Brian Demsky
avoid warning
commit
|
commitdiff
|
tree
2012-11-15
Brian Demsky
merge
commit
|
commitdiff
|
tree
2012-11-15
Brian Demsky
optimization...don't calloc the datarace tables every...
commit
|
commitdiff
|
tree
2012-11-03
Brian Demsky
annoying bug... Optimization was originally intended...
commit
|
commitdiff
|
tree
2012-11-03
Brian Demsky
clean up check code
commit
|
commitdiff
|
tree
2012-11-03
Brian Demsky
optimization - a given write can resolve at most one...
commit
|
commitdiff
|
tree
2012-11-03
Brian Demsky
various fixes. linux rw locks should work again with...
commit
|
commitdiff
|
tree
2012-11-03
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
|
tree
2012-11-03
Brian Demsky
fix two bugs in model.cc...mainly don't print bogus...
commit
|
commitdiff
|
tree
2012-11-03
Brian Demsky
this is the bad line...
commit
|
commitdiff
|
tree
2012-11-03
Brian Demsky
previous synchronization was weird...
commit
|
commitdiff
|
tree
2012-11-03
Brian Demsky
fix bugs with promise check...
commit
|
commitdiff
|
tree
2012-11-03
Brian Demsky
changes to fix at least a bug
commit
|
commitdiff
|
tree
2012-11-02
Brian Demsky
fix norris bugs
commit
|
commitdiff
|
tree
2012-11-01
Brian Demsky
found the bug
commit
|
commitdiff
|
tree
2012-11-01
Brian Demsky
realloc doesn't guarantee zeroing...
commit
|
commitdiff
|
tree
2012-11-01
Brian Demsky
bug
commit
|
commitdiff
|
tree
2012-11-01
Brian Demsky
fix new bug
commit
|
commitdiff
|
tree
2012-10-26
Brian Demsky
changes to allow running programs with racing initialization...
commit
|
commitdiff
|
tree
2012-10-25
Brian Demsky
check in test
commit
|
commitdiff
|
tree
2012-10-25
Brian Demsky
add test from nitpick paper...
commit
|
commitdiff
|
tree
2012-10-25
Brian Demsky
embarrassing bug...fixed...
commit
|
commitdiff
|
tree
2012-10-12
Brian Demsky
add two test cases
commit
|
commitdiff
|
tree
2012-10-12
Brian Demsky
forgot to add two files...
commit
|
commitdiff
|
tree
2012-10-12
Brian Demsky
commit untested condvar code
commit
|
commitdiff
|
tree
2012-10-12
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
|
tree
2012-10-11
Brian Demsky
compiles with condition variables file added...
commit
|
commitdiff
|
tree
2012-10-10
Brian Demsky
make scheduler choose fair schedules when threads with...
commit
|
commitdiff
|
tree
2012-10-10
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
|
tree
2012-10-10
Brian Demsky
make linux_rw locks work again
commit
|
commitdiff
|
tree
2012-10-10
Brian Demsky
fix some of the bugs related to barrier example...
commit
|
commitdiff
|
tree
2012-10-09
Brian Demsky
did a little more looking at infeasible executions...
commit
|
commitdiff
|
tree
2012-10-09
Brian Demsky
mistake
commit
|
commitdiff
|
tree
2012-10-09
Brian Demsky
be much more careful about sending values backwards...
commit
|
commitdiff
|
tree
2012-10-08
Brian Demsky
be even more aggressive about sleep sets...
commit
|
commitdiff
|
tree
2012-10-08
Brian Demsky
merge massive speedup with release sequence support...
commit
|
commitdiff
|
tree
2012-10-08
Brian Demsky
add support for sleep sets...
commit
|
commitdiff
|
tree
2012-10-06
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
|
tree
2012-10-06
Brian Demsky
create enumeration for enabled information...switch...
commit
|
commitdiff
|
tree
2012-10-05
Brian Demsky
1) more comments
commit
|
commitdiff
|
tree
2012-10-05
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
|
tree
2012-10-05
Brian Demsky
changes
commit
|
commitdiff
|
tree
2012-10-04
Brian Demsky
fix bug...can't mo_check_promises until we're done...
commit
|
commitdiff
|
tree
2012-10-04
Brian Demsky
local commit... bug that prunes too many executions
commit
|
commitdiff
|
tree
2012-10-04
Brian Demsky
Merge branch 'master' of /home/git/model-checker
commit
|
commitdiff
|
tree
next