projects
/
model-checker.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
model: drop public get_current_node() interface
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
2012-10-04
Brian Demsky
fix low hanging fruit when profiling...
commit
|
commitdiff
|
tree
2012-10-03
Brian Demsky
Merge branch 'master' of /home/git/model-checker
commit
|
commitdiff
|
tree
2012-10-03
Brian Demsky
a number of fixes to add missing mo_graph edges to...
commit
|
commitdiff
|
tree
2012-10-03
Brian Demsky
extra file committed accidentally
commit
|
commitdiff
|
tree
2012-10-03
Brian Demsky
missing change
commit
|
commitdiff
|
tree
2012-10-03
Brian Demsky
mspace_malloc will call into mmap if it runs out of...
commit
|
commitdiff
|
tree
2012-10-03
Brian Demsky
error
commit
|
commitdiff
|
tree
2012-10-03
Brian Demsky
random memory leak fixes and memory access fixes
commit
|
commitdiff
|
tree
2012-10-03
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
|
tree
2012-10-03
Brian Demsky
a bug fix
commit
|
commitdiff
|
tree
2012-10-02
Brian Demsky
small hack to optimize our common case for snapshotting...
commit
|
commitdiff
|
tree
2012-10-02
Brian Demsky
fix bug.... not quite perfect for linux locks, but...
commit
|
commitdiff
|
tree
2012-10-02
Brian Demsky
start support for drawing execution diagrams
commit
|
commitdiff
|
tree
2012-10-02
Brian Demsky
Fixed bug breaking our consolidation of future values...
commit
|
commitdiff
|
tree
2012-10-02
Brian Demsky
Two change:
commit
|
commitdiff
|
tree
2012-10-01
Brian Demsky
another bug fix
commit
|
commitdiff
|
tree
2012-10-01
Brian Demsky
bug fix...recompute promises of RMW actions at divergence...
commit
|
commitdiff
|
tree
2012-09-29
Brian Demsky
missing commit of mo_graph changes
commit
|
commitdiff
|
tree
2012-09-28
Brian Demsky
fix bug from moving read_from check_recency...check_recency...
commit
|
commitdiff
|
tree
next