projects
/
model-checker.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
model-checker.git
2013-08-14
Brian Norris
README.md: add more fairness notes
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Brian Norris
Makefile: add README.pdf target
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Brian Norris
README.md: remove <pre></pre> tags
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Brian Norris
threads: kill clang warnings about struct/class Thread
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Brian Norris
malloc: modify compiler warning workarounds
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Brian Norris
impatomic: silence more clang warnings
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Brian Norris
test: silence some unused-value warnings
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Brian Norris
README.md: have to include our headers
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Brian Norris
README.md: reverse store/load
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Brian Norris
README.md: add supported API section
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Brian Norris
README.md: add End of Execution Summary section
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Brian Norris
README.md: reporting multiple data races for the same...
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Brian Norris
model: only print 'Total nodes' for verbose printing
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Brian Norris
README.md: reformat
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Brian Norris
README.md: add linux locks example
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Brian Norris
README.md: update title
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Brian Norris
README.md: point non-git users to gitweb
commit
|
commitdiff
|
tree
|
snapshot
2013-08-13
Brian Norris
README.md: push URLs down to See Also section
commit
|
commitdiff
|
tree
|
snapshot
2013-08-13
Brian Norris
README.md: add extra blank lines
commit
|
commitdiff
|
tree
|
snapshot
2013-08-13
Brian Norris
README.md: update much of the README
commit
|
commitdiff
|
tree
|
snapshot
2013-08-13
Brian Norris
main: suggest thrd_yield() for -y fairness
commit
|
commitdiff
|
tree
|
snapshot
2013-08-13
Brian Norris
run.sh: set Mac OSX DYLD_LIBRARY_PATH
commit
|
commitdiff
|
tree
|
snapshot
2013-08-13
Brian Norris
delete README symlink
commit
|
commitdiff
|
tree
|
snapshot
2013-08-13
Brian Norris
LICENSE: add newline at end of file
commit
|
commitdiff
|
tree
|
snapshot
2013-07-17
Brian Norris
test: insanesync: consolidate lines
oopsla2013-final
commit
|
commitdiff
|
tree
|
snapshot
2013-07-17
Brian Norris
test: insanesync: remove unnecessary casting
commit
|
commitdiff
|
tree
|
snapshot
2013-07-17
Brian Norris
test: insanesync: convert to C++
commit
|
commitdiff
|
tree
|
snapshot
2013-07-16
Brian Norris
test: addr-satcycle: add new address-based sat. cycle...
commit
|
commitdiff
|
tree
|
snapshot
2013-07-10
Brian Norris
run.sh: don't silently ignore a non-executable file...
commit
|
commitdiff
|
tree
|
snapshot
2013-07-10
Brian Norris
test: mo-satcycle: add new MO satisfaction cycle example
commit
|
commitdiff
|
tree
|
snapshot
2013-07-10
Brian Norris
test: uninit: typo
commit
|
commitdiff
|
tree
|
snapshot
2013-06-06
Brian Norris
execution: remove redundant condition, reword doc for...
commit
|
commitdiff
|
tree
|
snapshot
2013-06-06
Brian Norris
execution: document additional mo_may_allow() optimization
commit
|
commitdiff
|
tree
|
snapshot
2013-06-06
Brian Norris
execution: document promises list; it is assumed to...
commit
|
commitdiff
|
tree
|
snapshot
2013-06-05
Brian Norris
model: remove redundant code (is_enabled)
commit
|
commitdiff
|
tree
|
snapshot
2013-06-05
Brian Norris
docs: improve Doxygen documentation
commit
|
commitdiff
|
tree
|
snapshot
2013-06-05
Brian Norris
README: use markdown format for direct URL link
commit
|
commitdiff
|
tree
|
snapshot
2013-06-04
Brian Norris
README: more formatting, correct statement about bench.sh
commit
|
commitdiff
|
tree
|
snapshot
2013-06-04
Brian Norris
README: a few more formatting issues
commit
|
commitdiff
|
tree
|
snapshot
2013-06-04
Brian Norris
Merge branch 'markdown'
commit
|
commitdiff
|
tree
|
snapshot
2013-06-04
Brian Norris
README: add more `code` formatting
commit
|
commitdiff
|
tree
|
snapshot
2013-06-03
Brian Demsky
Add example from java showing legit satisfaction cycle
commit
|
commitdiff
|
tree
|
snapshot
2013-06-02
Brian Norris
.gitignore: fixup VIM swapfile ignore
commit
|
commitdiff
|
tree
|
snapshot
2013-06-02
Brian Norris
README: convert to Markdown format
commit
|
commitdiff
|
tree
|
snapshot
2013-06-02
Brian Norris
Markdown: add Markdown tool
commit
|
commitdiff
|
tree
|
snapshot
2013-06-01
Brian Norris
README: add bit on MODEL_ASSERT() macro
oopsla2013
commit
|
commitdiff
|
tree
|
snapshot
2013-06-01
Brian Norris
README: extra "from"
commit
|
commitdiff
|
tree
|
snapshot
2013-06-01
Brian Norris
README: updated help text
commit
|
commitdiff
|
tree
|
snapshot
2013-06-01
Brian Norris
model: cosmetic output improvements
commit
|
commitdiff
|
tree
|
snapshot
2013-05-31
Brian Norris
params: add multi-level verbosity
commit
|
commitdiff
|
tree
|
snapshot
2013-05-31
Brian Norris
README: add LICENSE note
commit
|
commitdiff
|
tree
|
snapshot
2013-05-31
Brian Norris
README: improve sections, provide better intro
commit
|
commitdiff
|
tree
|
snapshot
2013-05-29
Brian Norris
Merge remote-tracking branch 'origin/master'
commit
|
commitdiff
|
tree
|
snapshot
2013-05-29
Brian Norris
README: add a few sections
commit
|
commitdiff
|
tree
|
snapshot
2013-05-29
Brian Norris
execution: reformat execution traces
commit
|
commitdiff
|
tree
|
snapshot
2013-05-29
Brian Norris
README: update help text
commit
|
commitdiff
|
tree
|
snapshot
2013-05-29
Brian Norris
main: 'plug ins' -> 'plugins'
commit
|
commitdiff
|
tree
|
snapshot
2013-05-29
Brian Norris
tests: Makefile: add dependency information
commit
|
commitdiff
|
tree
|
snapshot
2013-05-29
Brian Norris
Makefile: remove more deferred variables
commit
|
commitdiff
|
tree
|
snapshot
2013-05-29
Brian Norris
tests: Makefile: eliminate (some) recursive make
commit
|
commitdiff
|
tree
|
snapshot
2013-05-08
Brian Norris
execution: bugfix - resolved promises should propagate...
commit
|
commitdiff
|
tree
|
snapshot
2013-05-08
Brian Norris
execution: refactor common CV propagation into its...
commit
|
commitdiff
|
tree
|
snapshot
2013-05-06
Brian Demsky
typos
commit
|
commitdiff
|
tree
|
snapshot
2013-05-06
Brian Demsky
print some stats in SC Analysis
commit
|
commitdiff
|
tree
|
snapshot
2013-05-06
Brian Demsky
document and extend trace analysis interface
commit
|
commitdiff
|
tree
|
snapshot
2013-05-06
Brian Demsky
cleanup plugin interface a little more.
commit
|
commitdiff
|
tree
|
snapshot
2013-05-06
Brian Demsky
add support for analysis with options
commit
|
commitdiff
|
tree
|
snapshot
2013-05-06
Brian Demsky
add traceanalysis support
commit
|
commitdiff
|
tree
|
snapshot
2013-05-03
Brian Norris
Merge demsky's SC analysis fixup
commit
|
commitdiff
|
tree
|
snapshot
2013-05-03
Brian Demsky
scanalysis: don't rely on greedy search
commit
|
commitdiff
|
tree
|
snapshot
2013-04-26
Brian Norris
scanalysis: fixup spacing
commit
|
commitdiff
|
tree
|
snapshot
2013-04-26
Brian Norris
test: sctest: fix warnings
commit
|
commitdiff
|
tree
|
snapshot
2013-04-26
Brian Demsky
Fix bug that prevents graph generation from compiling.
commit
|
commitdiff
|
tree
|
snapshot
2013-04-24
Brian Norris
action: improve "unintialized load" bug print
commit
|
commitdiff
|
tree
|
snapshot
2013-04-24
Brian Norris
action: add get_{type,mo}_str() accessors
commit
|
commitdiff
|
tree
|
snapshot
2013-04-23
Brian Norris
Merge remote-tracking branch 'private/master'
commit
|
commitdiff
|
tree
|
snapshot
2013-04-23
Brian Norris
README: update text
commit
|
commitdiff
|
tree
|
snapshot
2013-04-23
Brian Demsky
bug...will sometimes print SC traces in a bad order
commit
|
commitdiff
|
tree
|
snapshot
2013-04-22
Brian Demsky
cleanup printing
commit
|
commitdiff
|
tree
|
snapshot
2013-04-22
Brian Demsky
Rework how we present non-SC traces...previous presenta...
commit
|
commitdiff
|
tree
|
snapshot
2013-04-19
Brian Norris
snapshot-interface: bugfix - terminate string from...
commit
|
commitdiff
|
tree
|
snapshot
2013-04-19
Brian Norris
snapshot: debugging - show the snapshot regions that...
commit
|
commitdiff
|
tree
|
snapshot
2013-04-19
Brian Norris
snapshot-interface: don't snapshot libmodel.so
commit
|
commitdiff
|
tree
|
snapshot
2013-04-19
Brian Norris
snapshot: use perror()
commit
|
commitdiff
|
tree
|
snapshot
2013-04-19
Brian Norris
main: support long options, improve help message
commit
|
commitdiff
|
tree
|
snapshot
2013-04-19
Brian Norris
execution: improve documentation
commit
|
commitdiff
|
tree
|
snapshot
2013-04-19
Brian Norris
execution: improve yield-blocking structure
commit
|
commitdiff
|
tree
|
snapshot
2013-04-19
Brian Norris
TMP: improve debugging, remove print_trace()
commit
|
commitdiff
|
tree
|
snapshot
2013-04-19
Brian Demsky
Remove special cases for printing SC executions.
commit
|
commitdiff
|
tree
|
snapshot
2013-04-18
Brian Demsky
Add yield block support. The idea is to not generate...
commit
|
commitdiff
|
tree
|
snapshot
2013-04-18
Brian Norris
datarace: bugfix - use proper multiple-inclusion guard
commit
|
commitdiff
|
tree
|
snapshot
2013-04-18
Brian Norris
stacktrace: remove usage of FILE in stacktrace
commit
|
commitdiff
|
tree
|
snapshot
2013-04-17
Brian Demsky
Bug: ModelExecution had bogus model_params reference.
commit
|
commitdiff
|
tree
|
snapshot
2013-04-17
Brian Norris
datarace: bugfix - don't implicitly allocate global...
commit
|
commitdiff
|
tree
|
snapshot
2013-04-17
Brian Norris
datarace: don't export unrealized race vector
commit
|
commitdiff
|
tree
|
snapshot
2013-04-17
Brian Norris
execution: bugfix - no action "conflicts" with itself
commit
|
commitdiff
|
tree
|
snapshot
2013-04-17
Brian Norris
execution: bugfix - backtrack seq-cst fences properly
commit
|
commitdiff
|
tree
|
snapshot
2013-04-17
Brian Norris
execution: correct comment on check_current_action()
commit
|
commitdiff
|
tree
|
snapshot
2013-04-16
Brian Norris
nodestack: localize the model-checker parameters
commit
|
commitdiff
|
tree
|
snapshot
2013-04-16
Brian Norris
model: privatize ModelChecker::get_num_threads()
commit
|
commitdiff
|
tree
|
snapshot
next