projects / c11tester.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
test: mo-satcycle: add new MO satisfaction cycle example
2013-07-10 Brian Norristest: mo-satcycle: add new MO satisfaction cycle example
 commit | commitdiff | tree
2013-07-10 Brian Norristest: uninit: typo
 commit | commitdiff | tree
2013-06-06 Brian Norrisexecution: remove redundant condition, reword doc for...
commit | commitdiff | tree
2013-06-06 Brian Norrisexecution: document additional mo_may_allow() optimization
 commit | commitdiff | tree
2013-06-06 Brian Norrisexecution: document promises list; it is assumed to...
commit | commitdiff | tree
2013-06-05 Brian Norrismodel: remove redundant code (is_enabled)
 commit | commitdiff | tree
2013-06-05 Brian Norrisdocs: improve Doxygen documentation
 commit | commitdiff | tree
2013-06-05 Brian NorrisREADME: use markdown format for direct URL link
 commit | commitdiff | tree
2013-06-04 Brian NorrisREADME: more formatting, correct statement about bench.sh
 commit | commitdiff | tree
2013-06-04 Brian NorrisREADME: a few more formatting issues
 commit | commitdiff | tree
2013-06-04 Brian NorrisMerge branch 'markdown'
 commit | commitdiff | tree
2013-06-04 Brian NorrisREADME: add more `code` formatting
 commit | commitdiff | tree
2013-06-02 Brian Norris.gitignore: fixup VIM swapfile ignore
 commit | commitdiff | tree
2013-06-02 Brian NorrisREADME: convert to Markdown format
 commit | commitdiff | tree
2013-06-02 Brian NorrisMarkdown: add Markdown tool
 commit | commitdiff | tree
2013-06-01 Brian NorrisREADME: add bit on MODEL_ASSERT() macro
 commit | commitdiff | tree
2013-06-01 Brian NorrisREADME: extra "from"
 commit | commitdiff | tree
2013-06-01 Brian NorrisREADME: updated help text
 commit | commitdiff | tree
2013-06-01 Brian Norrismodel: cosmetic output improvements
 commit | commitdiff | tree
2013-05-31 Brian Norrisparams: add multi-level verbosity
 commit | commitdiff | tree
2013-05-31 Brian NorrisREADME: add LICENSE note
 commit | commitdiff | tree
2013-05-31 Brian NorrisREADME: improve sections, provide better intro
 commit | commitdiff | tree
2013-05-29 Brian NorrisMerge remote-tracking branch 'origin/master'
 commit | commitdiff | tree
2013-05-29 Brian NorrisREADME: add a few sections
 commit | commitdiff | tree
2013-05-29 Brian Norrisexecution: reformat execution traces
 commit | commitdiff | tree
2013-05-29 Brian NorrisREADME: update help text
 commit | commitdiff | tree
2013-05-29 Brian Norrismain: 'plug ins' -> 'plugins'
 commit | commitdiff | tree
2013-05-29 Brian Norristests: Makefile: add dependency information
 commit | commitdiff | tree
2013-05-29 Brian NorrisMakefile: remove more deferred variables
 commit | commitdiff | tree
2013-05-29 Brian Norristests: Makefile: eliminate (some) recursive make
 commit | commitdiff | tree
2013-05-08 Brian Norrisexecution: bugfix - resolved promises should propagate...
commit | commitdiff | tree
2013-05-08 Brian Norrisexecution: refactor common CV propagation into its...
commit | commitdiff | tree
2013-05-03 Brian NorrisMerge demsky's SC analysis fixup
 commit | commitdiff | tree
2013-04-26 Brian Norrisscanalysis: fixup spacing
 commit | commitdiff | tree
2013-04-26 Brian Norristest: sctest: fix warnings
 commit | commitdiff | tree
2013-04-24 Brian Norrisaction: improve "unintialized load" bug print
 commit | commitdiff | tree
2013-04-24 Brian Norrisaction: add get_{type,mo}_str() accessors
 commit | commitdiff | tree
2013-04-23 Brian NorrisMerge remote-tracking branch 'private/master'
 commit | commitdiff | tree
2013-04-23 Brian NorrisREADME: update text
 commit | commitdiff | tree
2013-04-19 Brian Norrissnapshot-interface: bugfix - terminate string from...
commit | commitdiff | tree
2013-04-19 Brian Norrissnapshot: debugging - show the snapshot regions that...
commit | commitdiff | tree
2013-04-19 Brian Norrissnapshot-interface: don't snapshot libmodel.so
 commit | commitdiff | tree
2013-04-19 Brian Norrissnapshot: use perror()
 commit | commitdiff | tree
2013-04-19 Brian Norrismain: support long options, improve help message
 commit | commitdiff | tree
2013-04-19 Brian Norrisexecution: improve documentation
 commit | commitdiff | tree
2013-04-19 Brian Norrisexecution: improve yield-blocking structure
 commit | commitdiff | tree
2013-04-19 Brian NorrisTMP: improve debugging, remove print_trace()
 commit | commitdiff | tree
2013-04-18 Brian Norrisdatarace: bugfix - use proper multiple-inclusion guard
 commit | commitdiff | tree
2013-04-18 Brian Norrisstacktrace: remove usage of FILE in stacktrace
 commit | commitdiff | tree
2013-04-17 Brian Norrisdatarace: bugfix - don't implicitly allocate global...
commit | commitdiff | tree
2013-04-17 Brian Norrisdatarace: don't export unrealized race vector
 commit | commitdiff | tree
2013-04-17 Brian Norrisexecution: bugfix - no action "conflicts" with itself
 commit | commitdiff | tree
2013-04-17 Brian Norrisexecution: bugfix - backtrack seq-cst fences properly
 commit | commitdiff | tree
2013-04-17 Brian Norrisexecution: correct comment on check_current_action()
 commit | commitdiff | tree
2013-04-16 Brian Norrisnodestack: localize the model-checker parameters
 commit | commitdiff | tree
2013-04-16 Brian Norrismodel: privatize ModelChecker::get_num_threads()
 commit | commitdiff | tree
2013-04-16 Brian Norrisnodestack: register ModelExecution class w/in NodeStack
 commit | commitdiff | tree
2013-04-16 Brian Norrispromise: add max_available_thread_idx() interface
 commit | commitdiff | tree
2013-04-16 Brian Norrisclockvector: don't use global get_num_threads()
 commit | commitdiff | tree
2013-04-16 Brian Norrismodel: remove leftover junk
 commit | commitdiff | tree
2013-04-16 Brian Norrisexecution: embed obj_map directly in class
 commit | commitdiff | tree
2013-04-16 Brian Norrishashtable: update documentation
 commit | commitdiff | tree
2013-04-16 Brian Norrishashtable: enforce, document non-zero keys
 commit | commitdiff | tree
2013-04-16 Brian Norrisexecution: convert HashTable to SnapVector
 commit | commitdiff | tree
2013-04-16 Brian Norrisaction: bugfix - use non-zero fence "location"
 commit | commitdiff | tree
2013-04-16 Brian Norrisexecution: embed action_list as full member
 commit | commitdiff | tree
2013-04-16 Brian Norrisexecution: add const
 commit | commitdiff | tree
2013-04-16 Brian Norrisexecution: embed more data structures directly in class
 commit | commitdiff | tree
2013-04-16 Brian Norrisexecution: embed snapshotted data structures in class
 commit | commitdiff | tree
2013-04-16 Brian Norrisexecution: make structure snapshotting
 commit | commitdiff | tree
2013-04-16 Brian Norrisexecution: move execution number back to ModelChecker...
commit | commitdiff | tree
2013-04-16 Brian Norrisclean out includes, etc.
 commit | commitdiff | tree
2013-04-16 Brian Norrismodel: embed the trace_analyses in the class
 commit | commitdiff | tree
2013-04-16 Brian Norrisaction: add <stdlib>
 commit | commitdiff | tree
2013-04-16 Brian Norrisscanalysis: allocate structures as true members of...
commit | commitdiff | tree
2013-04-16 Brian Norrisscanalysis: fixup spacing
 commit | commitdiff | tree
2013-04-16 Brian NorrisMerge cleanup branch
 commit | commitdiff | tree
2013-04-16 Brian Norrisschedule: drop the ModelChecker::check_promises_thread_disab...
commit | commitdiff | tree
2013-04-16 Brian Norrismodel / threads: remove global get_next_id() interface
 commit | commitdiff | tree
2013-04-16 Brian Norrispromise: get reference to ModelExecution
 commit | commitdiff | tree
2013-04-16 Brian Norrisscanalysis: use ModelExecution interfaces
 commit | commitdiff | tree
2013-04-16 Brian Norrisscanalysis: install ModelExecution object in the analysis
 commit | commitdiff | tree
2013-04-16 Brian Norrisexecution: add 'const'
 commit | commitdiff | tree
2013-04-16 Brian Norrismodel: cleanup a few more interfaces
 commit | commitdiff | tree
2013-04-16 Brian Norrismodel: add get_execution() interface
 commit | commitdiff | tree
2013-04-16 Brian NorrisBROKEN: restructure much of ModelChecker as ModelExecution...
commit | commitdiff | tree
2013-04-16 Brian Norrisdatarace: simplify raceCheck{Read,Write}() function...
commit | commitdiff | tree
2013-04-16 Brian Norrisdatarace: make globals static
 commit | commitdiff | tree
2013-04-16 Brian Norrismodel: drop public get_current_node() interface
 commit | commitdiff | tree
2013-04-16 Brian Norrismodel: remove public check_promises() interface
 commit | commitdiff | tree
2013-04-16 Brian Norrismodel: add synchronize() function
 commit | commitdiff | tree
2013-04-16 Brian Norriscommon: drop model_print_summary()
 commit | commitdiff | tree
2013-04-16 Brian Norrispromise: add Promise::get_index function
 commit | commitdiff | tree
2013-04-16 Brian Norrisaction: we don't need special cases for lock/join anymore
 commit | commitdiff | tree
2013-04-16 Brian Norrismove license to LICENSE file
 commit | commitdiff | tree
2013-04-16 Brian NorrisMerge cleanup code from Brian N.
 commit | commitdiff | tree
2013-04-16 Brian Norristraceanalysis: rename to remove '_'
 commit | commitdiff | tree
2013-04-16 Brian Norrisbugmessage: move struct to header file
 commit | commitdiff | tree
2013-04-15 Brian Norrisparams: move model_params to header file
 commit | commitdiff | tree
2013-04-15 Brian Norrismodel: add too_many_steps()
 commit | commitdiff | tree
next
C11 Tester Tool Public Repository