projects
/
model-checker.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Merge remote-tracking branch 'origin/master'
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-12
Brian Demsky
model: cleaning up some code
commit
|
commitdiff
|
tree
2012-09-11
Brian Demsky
model: fix the maxreads support
commit
|
commitdiff
|
tree
2012-09-11
Brian Demsky
model: some bug fixes to the model checker
commit
|
commitdiff
|
tree
2012-09-11
Brian Demsky
linuxrwlocks: two bug fixes; guess the model checker...
commit
|
commitdiff
|
tree
2012-09-11
Brian Demsky
model: bug fixes to new code
commit
|
commitdiff
|
tree
2012-09-11
Brian Demsky
cyclegraph: support rolling back changes
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-08-02
Brian Demsky
bug fix
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
forgot about events that happen after an unresolved...
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
change test case to match nice one from spec... it...
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
bugs...
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
add some comments
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
standardize names a little
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
okay...known bugs for my trivial test are out of send...
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
finish promise support
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
more changes towards keeping track of promises resolved...
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
changes
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
some changes towards reading from future writes
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
move more configurables and add documentation
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
more hashtable fixes
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
fix some allocation/free bugs when we put non objects...
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
fix my todo comments so they appear in documentation
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
switch everything over to our own hashtable
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
hashtable: make more flexible
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
Add documentation
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
rmw example works
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
towards making rmw work...
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
remove libatomic
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
don't forget this file
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
split these defs out of other stuff
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
switch rest over to model checker... might work now
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
fix missing atomic...
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
rewrite macros
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
import header file from specification
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
Add RMW support to core.
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
small changes (things still work) towards support RMW
commit
|
commitdiff
|
tree
2012-08-02
Brian Demsky
trying to get fork based snapshotting to work
commit
|
commitdiff
|
tree
2012-07-31
Brian Demsky
toss a place for useful information
commit
|
commitdiff
|
tree
2012-07-31
Brian Demsky
print less stuff
commit
|
commitdiff
|
tree
2012-07-31
Brian Demsky
model: add support for modification orders
commit
|
commitdiff
|
tree
next