projects
/
cdsspec-compiler.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
make linux_rw locks work again
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
2012-09-25
Brian Demsky
add comments
commit
|
commitdiff
|
tree
2012-09-24
Brian Demsky
fairness changes...
commit
|
commitdiff
|
tree
2012-09-21
Brian Demsky
comments
commit
|
commitdiff
|
tree
2012-09-20
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
|
tree
2012-09-20
Brian Demsky
more documentation
commit
|
commitdiff
|
tree
2012-09-20
Brian Demsky
documentation
commit
|
commitdiff
|
tree
2012-09-20
Brian Demsky
bug fixes for lock support...think it works now...
commit
|
commitdiff
|
tree
2012-09-20
Brian Demsky
fix merge
commit
|
commitdiff
|
tree
2012-09-20
Brian Demsky
changes
commit
|
commitdiff
|
tree
2012-09-20
Brian Demsky
push changes
commit
|
commitdiff
|
tree
2012-09-19
Brian Demsky
merge stuff
commit
|
commitdiff
|
tree
2012-09-19
Brian Demsky
more mutex changes
commit
|
commitdiff
|
tree
2012-09-19
Brian Demsky
support for locks... untested, but doesn't break quick...
commit
|
commitdiff
|
tree
2012-09-19
Brian Demsky
more bugs
commit
|
commitdiff
|
tree
2012-09-19
Brian Demsky
fix merge bug
commit
|
commitdiff
|
tree
2012-09-19
Brian Demsky
fix
commit
|
commitdiff
|
tree
2012-09-19
Brian Demsky
my schedule changes
commit
|
commitdiff
|
tree
2012-09-19
Brian Demsky
merge in master
commit
|
commitdiff
|
tree
2012-09-19
Brian Demsky
fix bug
commit
|
commitdiff
|
tree
2012-09-19
Brian Demsky
ichange
commit
|
commitdiff
|
tree
2012-09-18
Brian Demsky
changes
commit
|
commitdiff
|
tree
2012-09-18
Brian Demsky
more changes towards locks
commit
|
commitdiff
|
tree
2012-09-18
Brian Demsky
Merge branch 'master' into mutex
commit
|
commitdiff
|
tree
2012-09-18
Brian Demsky
add mutex files
commit
|
commitdiff
|
tree
2012-09-18
Brian Demsky
add mutex files
commit
|
commitdiff
|
tree
2012-09-18
Brian Demsky
start towards adding support for mutexes
commit
|
commitdiff
|
tree
2012-09-14
Brian Demsky
tabbing
commit
|
commitdiff
|
tree
2012-09-14
Brian Demsky
(1) add actions for the fence
commit
|
commitdiff
|
tree
2012-09-14
Brian Demsky
add support for dumping cyclegraphs as dot files.....
commit
|
commitdiff
|
tree
2012-09-13
Brian Demsky
lots of debugging here... finally working with my rmw...
commit
|
commitdiff
|
tree
2012-09-13
Brian Demsky
commit new test case
commit
|
commitdiff
|
tree
2012-09-13
Brian Demsky
fix for horrible bug... turns out that we could generate...
commit
|
commitdiff
|
tree
2012-09-13
Brian Demsky
missing changes
commit
|
commitdiff
|
tree
2012-09-13
Brian Demsky
right fix for avoid rmw cycles... bad assumption in...
commit
|
commitdiff
|
tree
2012-09-13
Brian Demsky
another bug fix...
commit
|
commitdiff
|
tree
2012-09-13
Brian Demsky
separate out rmw actions
commit
|
commitdiff
|
tree
2012-09-12
Brian Demsky
(1) structure code a little better
commit
|
commitdiff
|
tree
2012-09-12
Brian Demsky
deal with looping due to bogus future value via promise...
commit
|
commitdiff
|
tree
2012-09-12
Brian Demsky
fun issues...
commit
|
commitdiff
|
tree
2012-09-07
Brian Demsky
changes
commit
|
commitdiff
|
tree
2012-09-07
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
|
tree
2012-09-07
Brian Demsky
changes
commit
|
commitdiff
|
tree
2012-09-06
Brian Demsky
working towards making datarace detection work
commit
|
commitdiff
|
tree
2012-09-05
Brian Demsky
bug in race detector
commit
|
commitdiff
|
tree
2012-09-05
Brian Demsky
another example
commit
|
commitdiff
|
tree
2012-08-04
Brian Demsky
add a todo flag to a comment so it won't get lost....
commit
|
commitdiff
|
tree
2012-07-17
Brian Demsky
Make stack popping explicit.
commit
|
commitdiff
|
tree
2012-07-17
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
|
tree
2012-07-17
Brian Demsky
remove dead code... loop entrance condition is i<backtrack...
commit
|
commitdiff
|
tree
2012-07-16
Brian Demsky
no need to store into the object field... this will...
commit
|
commitdiff
|
tree
2012-07-16
Brian Demsky
really should be using a type that is big enough for...
commit
|
commitdiff
|
tree
2012-07-13
Brian Demsky
the initialized logic appears to be wrong... release...
commit
|
commitdiff
|
tree
2012-07-11
Brian Demsky
bug
commit
|
commitdiff
|
tree
2012-07-11
Brian Demsky
documentation
commit
|
commitdiff
|
tree
2012-07-10
Brian Demsky
fix bug
commit
|
commitdiff
|
tree
2012-07-10
Brian Demsky
hook up the race detector...
commit
|
commitdiff
|
tree
2012-07-07
Brian Demsky
changes
commit
|
commitdiff
|
tree
2012-07-06
Brian Demsky
add forgetten file
commit
|
commitdiff
|
tree
2012-07-06
Brian Demsky
add support for datarace detection...
commit
|
commitdiff
|
tree
2012-07-03
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
|
tree
2012-06-18
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
|
tree
2012-06-18
Brian Demsky
builds
commit
|
commitdiff
|
tree
2012-06-17
Brian Demsky
add hashtable
commit
|
commitdiff
|
tree
2012-06-15
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
|
tree
2012-06-15
Brian Demsky
subramanian lied when he said he fixed these...
commit
|
commitdiff
|
tree
next