projects
/
c11tester.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
add uncrustify option
2019-06-06
bdemsky
add uncrustify option
commit
|
commitdiff
|
tree
2019-06-06
bdemsky
refactor choices into own class
commit
|
commitdiff
|
tree
2019-06-05
bdemsky
make some changes with hacks
commit
|
commitdiff
|
tree
2019-06-05
bdemsky
More fuzzing changes
commit
|
commitdiff
|
tree
2019-06-04
bdemsky
remove another field
commit
|
commitdiff
|
tree
2019-06-04
bdemsky
Revert "delete plugins"
commit
|
commitdiff
|
tree
2019-06-04
bdemsky
Revert "remove plugins"
commit
|
commitdiff
|
tree
2019-06-04
bdemsky
towards fuzzing only
commit
|
commitdiff
|
tree
2019-06-04
bdemsky
remove old release sequences
commit
|
commitdiff
|
tree
2019-06-04
bdemsky
Remove promises
commit
|
commitdiff
|
tree
2018-10-16
bdemsky
Remove SC Analysis
commit
|
commitdiff
|
tree
2017-10-13
bdemsky
Fix snapshot code
commit
|
commitdiff
|
tree
2016-11-24
bdemsky
Work around changes in newer versions of glibc
commit
|
commitdiff
|
tree
2016-02-24
bdemsky
bug in fence support fixed
commit
|
commitdiff
|
tree
2015-12-17
bdemsky
Increase size of bootstrap bytes as some Linux distributions...
commit
|
commitdiff
|
tree
2015-09-02
bdemsky
Add SCFence analysis
commit
|
commitdiff
|
tree
2015-06-22
bdemsky
bug fix for atomic adds/subtracts on pointers
commit
|
commitdiff
|
tree
2015-04-09
bdemsky
move thread stack to thread allocator
commit
|
commitdiff
|
tree
2014-07-18
bdemsky
SC Reads can read from things mo'd before the last...
commit
|
commitdiff
|
tree
2014-05-06
bdemsky
Bug fixes from running Coverity
commit
|
commitdiff
|
tree
2014-05-06
bdemsky
fix signed/unsigned warning
commit
|
commitdiff
|
tree
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-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-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-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
next