projects
/
model-checker.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅ next
nodestack: improve bounds-checking assertion
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
2012-07-31
Brian Demsky
Add basic reads from support
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
2012-06-06
Brian Demsky
more comments
commit
|
commitdiff
|
tree
2012-06-06
Brian Demsky
more doc changes
commit
|
commitdiff
|
tree
2012-06-06
Brian Demsky
more documentation
commit
|
commitdiff
|
tree
2012-06-06
Brian Demsky
1) Add more comments.
commit
|
commitdiff
|
tree
2012-06-06
Brian Demsky
more documentation
commit
|
commitdiff
|
tree
2012-06-06
Brian Demsky
more docs
commit
|
commitdiff
|
tree
2012-06-06
Brian Demsky
add support for docs
commit
|
commitdiff
|
tree
2012-06-04
Brian Demsky
Changes needed to run on OS X... Example runs on my...
commit
|
commitdiff
|
tree
2012-06-04
Brian Demsky
hack some stuff towards running on mac... unrelated...
commit
|
commitdiff
|
tree
2012-05-30
Brian Demsky
check in message
commit
|
commitdiff
|
tree
2012-05-30
Brian Demsky
fix bug...this is another evil one...
commit
|
commitdiff
|
tree
2012-05-24
Brian Demsky
wow, this is a nasty bug...
commit
|
commitdiff
|
tree
2012-05-24
Brian Demsky
fix one segfault bug...something is still strange,...
commit
|
commitdiff
|
tree
2012-05-24
Brian Demsky
factor page alignment into function call...place near...
commit
|
commitdiff
|
tree
2012-05-24
Brian Demsky
fix page alignment issue...
commit
|
commitdiff
|
tree
2012-05-21
Brian Demsky
remove lines from other files
commit
|
commitdiff
|
tree
2012-05-21
Brian Demsky
Found new way to fix emacs issue.. There are directory...
commit
|
commitdiff
|
tree
2012-05-21
Brian Demsky
fix various problems with my 64-bit clean hack
commit
|
commitdiff
|
tree
2012-05-21
Brian Demsky
fix code to be 64 bit clean
commit
|
commitdiff
|
tree
2012-05-21
Brian Demsky
switch back to norris style spacing in changed files
commit
|
commitdiff
|
tree
2012-05-19
Brian Demsky
remove unused #define
commit
|
commitdiff
|
tree
2012-05-19
Brian Demsky
my changes
commit
|
commitdiff
|
tree
2012-05-19
Brian Demsky
let us set the size of the heap in a sane way
commit
|
commitdiff
|
tree
2012-05-19
Brian Demsky
setup main wrapper and then call into norris code
commit
|
commitdiff
|
tree
2012-05-19
Brian Demsky
get rid of redundant mallocs
commit
|
commitdiff
|
tree
2012-05-18
Brian Demsky
transfer stuff
commit
|
commitdiff
|
tree
2012-05-18
Brian Demsky
makefile
commit
|
commitdiff
|
tree
2012-05-18
Brian Demsky
At least everything compiles now... Subramanian's...
commit
|
commitdiff
|
tree
2012-05-18
Brian Demsky
merging stuff...made need to clean up some stuff.....
commit
|
commitdiff
|
tree
2012-05-15
Brian Demsky
fix this stuff...
commit
|
commitdiff
|
tree
2012-05-15
Brian Demsky
don't check in useless files
commit
|
commitdiff
|
tree