projects / c11tester.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
c11tester.git
2013-07-10 Brian Norristest: mo-satcycle: add new MO satisfaction cycle example commit | commitdiff | tree | snapshot
2013-07-10 Brian Norristest: uninit: typo commit | commitdiff | tree | snapshot
2013-06-06 Brian Norrisexecution: remove redundant condition, reword doc for... commit | commitdiff | tree | snapshot
2013-06-06 Brian Norrisexecution: document additional mo_may_allow() optimization commit | commitdiff | tree | snapshot
2013-06-06 Brian Norrisexecution: document promises list; it is assumed to... commit | commitdiff | tree | snapshot
2013-06-05 Brian Norrismodel: remove redundant code (is_enabled) commit | commitdiff | tree | snapshot
2013-06-05 Brian Norrisdocs: improve Doxygen documentation commit | commitdiff | tree | snapshot
2013-06-05 Brian NorrisREADME: use markdown format for direct URL link commit | commitdiff | tree | snapshot
2013-06-04 Brian NorrisREADME: more formatting, correct statement about bench.sh commit | commitdiff | tree | snapshot
2013-06-04 Brian NorrisREADME: a few more formatting issues commit | commitdiff | tree | snapshot
2013-06-04 Brian NorrisMerge branch 'markdown' commit | commitdiff | tree | snapshot
2013-06-04 Brian NorrisREADME: add more `code` formatting commit | commitdiff | tree | snapshot
2013-06-03 Brian DemskyAdd 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 NorrisREADME: convert to Markdown format commit | commitdiff | tree | snapshot
2013-06-02 Brian NorrisMarkdown: add Markdown tool commit | commitdiff | tree | snapshot
2013-06-01 Brian NorrisREADME: add bit on MODEL_ASSERT() macro commit | commitdiff | tree | snapshot
2013-06-01 Brian NorrisREADME: extra "from" commit | commitdiff | tree | snapshot
2013-06-01 Brian NorrisREADME: updated help text commit | commitdiff | tree | snapshot
2013-06-01 Brian Norrismodel: cosmetic output improvements commit | commitdiff | tree | snapshot
2013-05-31 Brian Norrisparams: add multi-level verbosity commit | commitdiff | tree | snapshot
2013-05-31 Brian NorrisREADME: add LICENSE note commit | commitdiff | tree | snapshot
2013-05-31 Brian NorrisREADME: improve sections, provide better intro commit | commitdiff | tree | snapshot
2013-05-29 Brian NorrisMerge remote-tracking branch 'origin/master' commit | commitdiff | tree | snapshot
2013-05-29 Brian NorrisREADME: add a few sections commit | commitdiff | tree | snapshot
2013-05-29 Brian Norrisexecution: reformat execution traces commit | commitdiff | tree | snapshot
2013-05-29 Brian NorrisREADME: update help text commit | commitdiff | tree | snapshot
2013-05-29 Brian Norrismain: 'plug ins' -> 'plugins' commit | commitdiff | tree | snapshot
2013-05-29 Brian Norristests: Makefile: add dependency information commit | commitdiff | tree | snapshot
2013-05-29 Brian NorrisMakefile: remove more deferred variables commit | commitdiff | tree | snapshot
2013-05-29 Brian Norristests: Makefile: eliminate (some) recursive make commit | commitdiff | tree | snapshot
2013-05-08 Brian Norrisexecution: bugfix - resolved promises should propagate... commit | commitdiff | tree | snapshot
2013-05-08 Brian Norrisexecution: refactor common CV propagation into its... commit | commitdiff | tree | snapshot
2013-05-06 Brian Demskytypos commit | commitdiff | tree | snapshot
2013-05-06 Brian Demskyprint some stats in SC Analysis commit | commitdiff | tree | snapshot
2013-05-06 Brian Demskydocument and extend trace analysis interface commit | commitdiff | tree | snapshot
2013-05-06 Brian Demskycleanup plugin interface a little more. commit | commitdiff | tree | snapshot
2013-05-06 Brian Demskyadd support for analysis with options commit | commitdiff | tree | snapshot
2013-05-06 Brian Demskyadd traceanalysis support commit | commitdiff | tree | snapshot
2013-05-03 Brian NorrisMerge demsky's SC analysis fixup commit | commitdiff | tree | snapshot
2013-05-03 Brian Demskyscanalysis: don't rely on greedy search commit | commitdiff | tree | snapshot
2013-04-26 Brian Norrisscanalysis: fixup spacing commit | commitdiff | tree | snapshot
2013-04-26 Brian Norristest: sctest: fix warnings commit | commitdiff | tree | snapshot
2013-04-26 Brian DemskyFix bug that prevents graph generation from compiling. commit | commitdiff | tree | snapshot
2013-04-24 Brian Norrisaction: improve "unintialized load" bug print commit | commitdiff | tree | snapshot
2013-04-24 Brian Norrisaction: add get_{type,mo}_str() accessors commit | commitdiff | tree | snapshot
2013-04-23 Brian NorrisMerge remote-tracking branch 'private/master' commit | commitdiff | tree | snapshot
2013-04-23 Brian NorrisREADME: update text commit | commitdiff | tree | snapshot
2013-04-23 Brian Demskybug...will sometimes print SC traces in a bad order commit | commitdiff | tree | snapshot
2013-04-22 Brian Demskycleanup printing commit | commitdiff | tree | snapshot
2013-04-22 Brian DemskyRework how we present non-SC traces...previous presenta... commit | commitdiff | tree | snapshot
2013-04-19 Brian Norrissnapshot-interface: bugfix - terminate string from... commit | commitdiff | tree | snapshot
2013-04-19 Brian Norrissnapshot: debugging - show the snapshot regions that... commit | commitdiff | tree | snapshot
2013-04-19 Brian Norrissnapshot-interface: don't snapshot libmodel.so commit | commitdiff | tree | snapshot
2013-04-19 Brian Norrissnapshot: use perror() commit | commitdiff | tree | snapshot
2013-04-19 Brian Norrismain: support long options, improve help message commit | commitdiff | tree | snapshot
2013-04-19 Brian Norrisexecution: improve documentation commit | commitdiff | tree | snapshot
2013-04-19 Brian Norrisexecution: improve yield-blocking structure commit | commitdiff | tree | snapshot
2013-04-19 Brian NorrisTMP: improve debugging, remove print_trace() commit | commitdiff | tree | snapshot
2013-04-19 Brian DemskyRemove special cases for printing SC executions. commit | commitdiff | tree | snapshot
2013-04-18 Brian DemskyAdd yield block support. The idea is to not generate... commit | commitdiff | tree | snapshot
2013-04-18 Brian Norrisdatarace: bugfix - use proper multiple-inclusion guard commit | commitdiff | tree | snapshot
2013-04-18 Brian Norrisstacktrace: remove usage of FILE in stacktrace commit | commitdiff | tree | snapshot
2013-04-17 Brian DemskyBug: ModelExecution had bogus model_params reference. commit | commitdiff | tree | snapshot
2013-04-17 Brian Norrisdatarace: bugfix - don't implicitly allocate global... commit | commitdiff | tree | snapshot
2013-04-17 Brian Norrisdatarace: don't export unrealized race vector commit | commitdiff | tree | snapshot
2013-04-17 Brian Norrisexecution: bugfix - no action "conflicts" with itself commit | commitdiff | tree | snapshot
2013-04-17 Brian Norrisexecution: bugfix - backtrack seq-cst fences properly commit | commitdiff | tree | snapshot
2013-04-17 Brian Norrisexecution: correct comment on check_current_action() commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisnodestack: localize the model-checker parameters commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrismodel: privatize ModelChecker::get_num_threads() commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisnodestack: register ModelExecution class w/in NodeStack commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrispromise: add max_available_thread_idx() interface commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisclockvector: don't use global get_num_threads() commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrismodel: remove leftover junk commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisexecution: embed obj_map directly in class commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrishashtable: update documentation commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrishashtable: enforce, document non-zero keys commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisexecution: convert HashTable to SnapVector commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisaction: bugfix - use non-zero fence "location" commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisexecution: embed action_list as full member commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisexecution: add const commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisexecution: embed more data structures directly in class commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisexecution: embed snapshotted data structures in class commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisexecution: make structure snapshotting commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisexecution: move execution number back to ModelChecker... commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisclean out includes, etc. commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrismodel: embed the trace_analyses in the class commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisaction: add <stdlib> commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisscanalysis: allocate structures as true members of... commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisscanalysis: fixup spacing commit | commitdiff | tree | snapshot
2013-04-16 Brian NorrisMerge cleanup branch commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisschedule: drop the ModelChecker::check_promises_thread_... commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrismodel / threads: remove global get_next_id() interface commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrispromise: get reference to ModelExecution commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisscanalysis: use ModelExecution interfaces commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisscanalysis: install ModelExecution object in the analysis commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisexecution: add 'const' commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrismodel: cleanup a few more interfaces commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrismodel: add get_execution() interface commit | commitdiff | tree | snapshot
next
C11 Tester Tool Public Repository