projects
/
model-checker.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
malloc: modify compiler warning workarounds
2013-08-14
Brian Norris
malloc: modify compiler warning workarounds
commit
|
commitdiff
|
tree
2013-08-14
Brian Norris
impatomic: silence more clang warnings
commit
|
commitdiff
|
tree
2013-08-14
Brian Norris
test: silence some unused-value warnings
commit
|
commitdiff
|
tree
2013-08-14
Brian Norris
README.md: have to include our headers
commit
|
commitdiff
|
tree
2013-08-14
Brian Norris
README.md: reverse store/load
commit
|
commitdiff
|
tree
2013-08-14
Brian Norris
README.md: add supported API section
commit
|
commitdiff
|
tree
2013-08-14
Brian Norris
README.md: add End of Execution Summary section
commit
|
commitdiff
|
tree
2013-08-14
Brian Norris
README.md: reporting multiple data races for the same...
commit
|
commitdiff
|
tree
2013-08-14
Brian Norris
model: only print 'Total nodes' for verbose printing
commit
|
commitdiff
|
tree
2013-08-14
Brian Norris
README.md: reformat
commit
|
commitdiff
|
tree
2013-08-14
Brian Norris
README.md: add linux locks example
commit
|
commitdiff
|
tree
2013-08-14
Brian Norris
README.md: update title
commit
|
commitdiff
|
tree
2013-08-14
Brian Norris
README.md: point non-git users to gitweb
commit
|
commitdiff
|
tree
2013-08-13
Brian Norris
README.md: push URLs down to See Also section
commit
|
commitdiff
|
tree
2013-08-13
Brian Norris
README.md: add extra blank lines
commit
|
commitdiff
|
tree
2013-08-13
Brian Norris
README.md: update much of the README
commit
|
commitdiff
|
tree
2013-08-13
Brian Norris
main: suggest thrd_yield() for -y fairness
commit
|
commitdiff
|
tree
2013-08-13
Brian Norris
run.sh: set Mac OSX DYLD_LIBRARY_PATH
commit
|
commitdiff
|
tree
2013-08-13
Brian Norris
delete README symlink
commit
|
commitdiff
|
tree
2013-08-13
Brian Norris
LICENSE: add newline at end of file
commit
|
commitdiff
|
tree
2013-07-17
Brian Norris
test: insanesync: consolidate lines
commit
|
commitdiff
|
tree
2013-07-17
Brian Norris
test: insanesync: remove unnecessary casting
commit
|
commitdiff
|
tree
2013-07-17
Brian Norris
test: insanesync: convert to C++
commit
|
commitdiff
|
tree
2013-07-16
Brian Norris
test: addr-satcycle: add new address-based sat. cycle...
commit
|
commitdiff
|
tree
2013-07-10
Brian Norris
run.sh: don't silently ignore a non-executable file...
commit
|
commitdiff
|
tree
2013-07-10
Brian Norris
test: mo-satcycle: add new MO satisfaction cycle example
commit
|
commitdiff
|
tree
2013-07-10
Brian Norris
test: uninit: typo
commit
|
commitdiff
|
tree
2013-06-06
Brian Norris
execution: remove redundant condition, reword doc for...
commit
|
commitdiff
|
tree
2013-06-06
Brian Norris
execution: document additional mo_may_allow() optimization
commit
|
commitdiff
|
tree
2013-06-06
Brian Norris
execution: document promises list; it is assumed to...
commit
|
commitdiff
|
tree
2013-06-05
Brian Norris
model: remove redundant code (is_enabled)
commit
|
commitdiff
|
tree
2013-06-05
Brian Norris
docs: improve Doxygen documentation
commit
|
commitdiff
|
tree
2013-06-05
Brian Norris
README: use markdown format for direct URL link
commit
|
commitdiff
|
tree
2013-06-04
Brian Norris
README: more formatting, correct statement about bench.sh
commit
|
commitdiff
|
tree
2013-06-04
Brian Norris
README: a few more formatting issues
commit
|
commitdiff
|
tree
2013-06-04
Brian Norris
Merge branch 'markdown'
commit
|
commitdiff
|
tree
2013-06-04
Brian Norris
README: add more `code` formatting
commit
|
commitdiff
|
tree
2013-06-02
Brian Norris
.gitignore: fixup VIM swapfile ignore
commit
|
commitdiff
|
tree
2013-06-02
Brian Norris
README: convert to Markdown format
commit
|
commitdiff
|
tree
2013-06-02
Brian Norris
Markdown: add Markdown tool
commit
|
commitdiff
|
tree
2013-06-01
Brian Norris
README: add bit on MODEL_ASSERT() macro
commit
|
commitdiff
|
tree
2013-06-01
Brian Norris
README: extra "from"
commit
|
commitdiff
|
tree
2013-06-01
Brian Norris
README: updated help text
commit
|
commitdiff
|
tree
2013-06-01
Brian Norris
model: cosmetic output improvements
commit
|
commitdiff
|
tree
2013-05-31
Brian Norris
params: add multi-level verbosity
commit
|
commitdiff
|
tree
2013-05-31
Brian Norris
README: add LICENSE note
commit
|
commitdiff
|
tree
2013-05-31
Brian Norris
README: improve sections, provide better intro
commit
|
commitdiff
|
tree
2013-05-29
Brian Norris
Merge remote-tracking branch 'origin/master'
commit
|
commitdiff
|
tree
2013-05-29
Brian Norris
README: add a few sections
commit
|
commitdiff
|
tree
2013-05-29
Brian Norris
execution: reformat execution traces
commit
|
commitdiff
|
tree
2013-05-29
Brian Norris
README: update help text
commit
|
commitdiff
|
tree
2013-05-29
Brian Norris
main: 'plug ins' -> 'plugins'
commit
|
commitdiff
|
tree
2013-05-29
Brian Norris
tests: Makefile: add dependency information
commit
|
commitdiff
|
tree
2013-05-29
Brian Norris
Makefile: remove more deferred variables
commit
|
commitdiff
|
tree
2013-05-29
Brian Norris
tests: Makefile: eliminate (some) recursive make
commit
|
commitdiff
|
tree
2013-05-08
Brian Norris
execution: bugfix - resolved promises should propagate...
commit
|
commitdiff
|
tree
2013-05-08
Brian Norris
execution: refactor common CV propagation into its...
commit
|
commitdiff
|
tree
2013-05-03
Brian Norris
Merge demsky's SC analysis fixup
commit
|
commitdiff
|
tree
2013-05-03
Brian Demsky
scanalysis: don't rely on greedy search
commit
|
commitdiff
|
tree
2013-04-26
Brian Norris
scanalysis: fixup spacing
commit
|
commitdiff
|
tree
2013-04-26
Brian Norris
test: sctest: fix warnings
commit
|
commitdiff
|
tree
2013-04-24
Brian Norris
action: improve "unintialized load" bug print
commit
|
commitdiff
|
tree
2013-04-24
Brian Norris
action: add get_{type,mo}_str() accessors
commit
|
commitdiff
|
tree
2013-04-23
Brian Norris
Merge remote-tracking branch 'private/master'
commit
|
commitdiff
|
tree
2013-04-23
Brian Norris
README: update text
commit
|
commitdiff
|
tree
2013-04-19
Brian Norris
snapshot-interface: bugfix - terminate string from...
commit
|
commitdiff
|
tree
2013-04-19
Brian Norris
snapshot: debugging - show the snapshot regions that...
commit
|
commitdiff
|
tree
2013-04-19
Brian Norris
snapshot-interface: don't snapshot libmodel.so
commit
|
commitdiff
|
tree
2013-04-19
Brian Norris
snapshot: use perror()
commit
|
commitdiff
|
tree
2013-04-19
Brian Norris
main: support long options, improve help message
commit
|
commitdiff
|
tree
2013-04-19
Brian Norris
execution: improve documentation
commit
|
commitdiff
|
tree
2013-04-19
Brian Norris
execution: improve yield-blocking structure
commit
|
commitdiff
|
tree
2013-04-19
Brian Norris
TMP: improve debugging, remove print_trace()
commit
|
commitdiff
|
tree
2013-04-18
Brian Norris
datarace: bugfix - use proper multiple-inclusion guard
commit
|
commitdiff
|
tree
2013-04-18
Brian Norris
stacktrace: remove usage of FILE in stacktrace
commit
|
commitdiff
|
tree
2013-04-17
Brian Norris
datarace: bugfix - don't implicitly allocate global...
commit
|
commitdiff
|
tree
2013-04-17
Brian Norris
datarace: don't export unrealized race vector
commit
|
commitdiff
|
tree
2013-04-17
Brian Norris
execution: bugfix - no action "conflicts" with itself
commit
|
commitdiff
|
tree
2013-04-17
Brian Norris
execution: bugfix - backtrack seq-cst fences properly
commit
|
commitdiff
|
tree
2013-04-17
Brian Norris
execution: correct comment on check_current_action()
commit
|
commitdiff
|
tree
2013-04-16
Brian Norris
nodestack: localize the model-checker parameters
commit
|
commitdiff
|
tree
2013-04-16
Brian Norris
model: privatize ModelChecker::get_num_threads()
commit
|
commitdiff
|
tree
2013-04-16
Brian Norris
nodestack: register ModelExecution class w/in NodeStack
commit
|
commitdiff
|
tree
2013-04-16
Brian Norris
promise: add max_available_thread_idx() interface
commit
|
commitdiff
|
tree
2013-04-16
Brian Norris
clockvector: don't use global get_num_threads()
commit
|
commitdiff
|
tree
2013-04-16
Brian Norris
model: remove leftover junk
commit
|
commitdiff
|
tree
2013-04-16
Brian Norris
execution: embed obj_map directly in class
commit
|
commitdiff
|
tree
2013-04-16
Brian Norris
hashtable: update documentation
commit
|
commitdiff
|
tree
2013-04-16
Brian Norris
hashtable: enforce, document non-zero keys
commit
|
commitdiff
|
tree
2013-04-16
Brian Norris
execution: convert HashTable to SnapVector
commit
|
commitdiff
|
tree
2013-04-16
Brian Norris
action: bugfix - use non-zero fence "location"
commit
|
commitdiff
|
tree
2013-04-16
Brian Norris
execution: embed action_list as full member
commit
|
commitdiff
|
tree
2013-04-16
Brian Norris
execution: add const
commit
|
commitdiff
|
tree
2013-04-16
Brian Norris
execution: embed more data structures directly in class
commit
|
commitdiff
|
tree
2013-04-16
Brian Norris
execution: embed snapshotted data structures in class
commit
|
commitdiff
|
tree
2013-04-16
Brian Norris
execution: make structure snapshotting
commit
|
commitdiff
|
tree
2013-04-16
Brian Norris
execution: move execution number back to ModelChecker...
commit
|
commitdiff
|
tree
2013-04-16
Brian Norris
clean out includes, etc.
commit
|
commitdiff
|
tree
2013-04-16
Brian Norris
model: embed the trace_analyses in the class
commit
|
commitdiff
|
tree
2013-04-16
Brian Norris
action: add <stdlib>
commit
|
commitdiff
|
tree
next